julesjacobs's repositories

levenshtein

A simple proof of concept levenshtein automaton in Python

Language:PythonLicense:MITStargazers:107Issues:4Issues:1

ImmutableCollections

Immutable collections in C#

Language:C#License:MITStargazers:53Issues:5Issues:2

cgraphs

Deadlock freedom by type checking

Language:CoqLicense:NOASSERTIONStargazers:18Issues:5Issues:2

boa

Partition refinement

Language:RustStargazers:13Issues:3Issues:0
Language:HTMLLicense:NOASSERTIONStargazers:4Issues:0Issues:0

Raamwerk

Toy Ruby continuation based framework

Language:RubyStargazers:3Issues:0Issues:0
Language:ShellStargazers:1Issues:0Issues:0
Language:ScalaStargazers:1Issues:0Issues:0
Language:F#Stargazers:1Issues:0Issues:0
Language:JavaScriptLicense:GPL-3.0Stargazers:0Issues:0Issues:0

hedberg

Hedberg's theorem

Language:CoqStargazers:0Issues:0Issues:0

icfp2017-papers

Link to preprints for ICFP'17 and colocated events

Stargazers:0Issues:0Issues:0
Stargazers:0Issues:0Issues:0

KATch

NetKAT equivalence checker

Language:HTMLStargazers:0Issues:0Issues:0

lancer-website

LANCER project website

Language:HTMLLicense:MITStargazers:0Issues:0Issues:0
Language:CoqStargazers:0Issues:0Issues:0

pmatch

ML style pattern match compiler

Language:ScalaStargazers:0Issues:0Issues:0

protolog

A simple implementation of Prolog as an embedded DSL in Scala

Language:ScalaStargazers:0Issues:0Issues:0

strategoc

Mini Stratego compiler

Language:JavaStargazers:0Issues:0Issues:0
Stargazers:0Issues:0Issues:0