julesjacobs

levenshtein. A simple proof of concept levenshtein automaton in Python

ImmutableCollections. Immutable collections in C#

cgraphs. Deadlock freedom by type checking

KATch2. Rust

boa. Partition refinement

mox. HTML

julesjacobs.github.io. HTML

KATch. NetKAT equivalence checker

dlf-actris. Deadlock free separation logic for message passing

jkinds2. OCaml

Raamwerk. Toy Ruby continuation based framework

slice. TeX

miniactris. Coq

nbe. Scala

protolog. A simple implementation of Prolog as an embedded DSL in Scala

ser. Serializability checker.

Pairing-Heap. F#

anagram2. Shell