julesjacobs's repositories
levenshtein
A simple proof of concept levenshtein automaton in Python
ImmutableCollections
Immutable collections in C#
Language:JavaScriptGPL-3.0000
hedberg
Hedberg's theorem
Language:Coq000
icfp2017-papers
Link to preprints for ICFP'17 and colocated events
000
000
KATch
NetKAT equivalence checker
Language:HTML000
lancer-website
LANCER project website
Language:HTMLMIT000
Language:Coq000
pmatch
ML style pattern match compiler
Language:Scala000
protolog
A simple implementation of Prolog as an embedded DSL in Scala
Language:Scala000
strategoc
Mini Stratego compiler
Language:Java000
000