Popular repositories Loading

1. DynamicTopologicalSort DynamicTopologicalSort Public

   C++ code accompanying the paper "A Dynamic Topological Sort Algorithm for Directed Acyclic Graphs".

   C++ 18 4

2. FeatherweightRust FeatherweightRust Public

   Provides a reference implementation of FeatherweightRust in Java.

   Java 15 3

3. jkit jkit Public

   Java Compiler Kit (JKit)

   Java 12 4

4. StronglyConnectedComponents StronglyConnectedComponents Public

   An example implementation of my algorithm for finding Strongly Connected Components.

   Java 12

5. jx86 jx86 Public

   Java Library for Generating x86 Code

   Java 11 4

6. LeanEVM LeanEVM Public

   A toy implementation of the EVM in Lean4.

   Lean 10 1