julesjacobs

Pinned Repositories

anagram2
Language:Shell10
boa
Partition refinement
Language:Rust13 3 01
cgraphs
Deadlock freedom by type checking
Language:Coq19 5 21
ImmutableCollections
Immutable collections in C#
Language:C#53 5 255
julesjacobs.github.io
Language:HTML41
KATch
NetKAT equivalence checker
Language:HTML10
levenshtein
A simple proof of concept levenshtein automaton in Python
Language:Python107 4 112
nbe
Language:Scala10
Pairing-Heap
Language:F#10
Raamwerk
Toy Ruby continuation based framework
Language:Ruby31

julesjacobs's Repositories

julesjacobs/levenshtein
A simple proof of concept levenshtein automaton in Python
Language:Python107 4 112
julesjacobs/ImmutableCollections
Immutable collections in C#
Language:C#53 5 255
julesjacobs/cgraphs
Deadlock freedom by type checking
Language:Coq19 5 21
julesjacobs/boa
Partition refinement
Language:Rust13 3 01
julesjacobs/julesjacobs.github.io
Language:HTML41
julesjacobs/Raamwerk
Toy Ruby continuation based framework
Language:Ruby31
julesjacobs/anagram2
Language:Shell10
julesjacobs/KATch
NetKAT equivalence checker
Language:HTML10
julesjacobs/nbe
Language:Scala10
julesjacobs/Pairing-Heap
Language:F#10
julesjacobs/faf.webapp
Language:JavaScript
julesjacobs/hedberg
Hedberg's theorem
Language:Coq
julesjacobs/icfp2017-papers
Link to preprints for ICFP'17 and colocated events
julesjacobs/iris-project
julesjacobs/lancer-website
LANCER project website
Language:HTML
julesjacobs/miniactris
Language:Coq
julesjacobs/pmatch
ML style pattern match compiler
Language:Scala
julesjacobs/protolog
A simple implementation of Prolog as an embedded DSL in Scala
Language:Scala
julesjacobs/strategoc
Mini Stratego compiler
Language:Java
julesjacobs/Tomography