Popular repositories Loading

1. levenshtein levenshtein Public

   A simple proof of concept levenshtein automaton in Python

   Python 107 12

2. ImmutableCollections ImmutableCollections Public

   Immutable collections in C#

   C# 53 55

3. cgraphs cgraphs Public

   Deadlock freedom by type checking

   Coq 19 2

4. boa boa Public

   Partition refinement

   Rust 13 1

5. julesjacobs.github.io julesjacobs.github.io Public

   HTML 4 1

6. Raamwerk Raamwerk Public

   Toy Ruby continuation based framework

   Ruby 3 1