Beast code in Giters

julesjacobs's repositories

levenshtein

A simple proof of concept levenshtein automaton in Python

Language:PythonMIT107 4 1

ImmutableCollections

Immutable collections in C#

Language:C#MIT53 5 2

cgraphs

Deadlock freedom by type checking

Language:CoqNOASSERTION19 5 2

boa

Partition refinement

Language:Rust13 30

julesjacobs.github.io

Language:HTMLNOASSERTION400

Raamwerk

Toy Ruby continuation based framework

Language:Ruby300

anagram2

Language:Shell100

KATch

NetKAT equivalence checker

Language:HTML100

nbe

Language:Scala100

Pairing-Heap

Language:F#100

faf.webapp

Language:JavaScriptGPL-3.0000

hedberg

Hedberg's theorem

Language:Coq000

icfp2017-papers

Link to preprints for ICFP'17 and colocated events

000

iris-project

000

lancer-website

LANCER project website

Language:HTMLMIT000

miniactris

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

Tomography

000