radeusgd/QuotedPatternMatchingProof radeusgd/QuotedPatternMatchingProof

  • Stars
    star
    3
  • Rank 3,963,521 (Top 79 %)
  • Language
    TeX
  • Created almost 5 years ago
  • Updated over 4 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
radeusgd/QuotedPatternMatchingProof
github

radeusgd

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

A mechanized proof of soundness of calculus defined in A Theory of Quoted Code Patterns which is a formalization of pattern matching on code available in Scala 3 as part of its new macro system.

More Repositories

1

mmotest

HTML5/JS + Node.JS simple multiplayer game server and client with elements of rpg, procedural etc. experimentation
JavaScript
6
star
2

2dJSdualcontour

2D Dual Contouring in JS
JavaScript
5
star
3

TrachOnline

Web implementation of Trach Game
C++
3
star
4

PyLisp

Simple LISP interpreter
Python
3
star
5

tappyninja

A simple game similar to Fruit Ninja in libGDX, most of it done in 1 day.
Java
3
star
6

quartz

Quartz Language
Haskell
2
star
7

pDOT-GADT

Formal foundations for GADTs in Scala
Scala
1
star
8

siodockers

Putting https://github.com/sio2project/sioworkers in the cloud
Shell
1
star
9

WebHistoryGraph

A Chrome extension to track your research history in a graph.
JavaScript
1
star
10

Snake3d

3d snake game in libGDX
Java
1
star
11

Archivum

Database frontend for storing and processing structured data within a single table.
Scala
1
star