Popular repositories Loading

1. Kandidat Kandidat Public

   Bachelor project, using partial evaluation to optimize programs during runtime in a lazy functional language.

   Haskell 7

2. Solverine Solverine Public

   Theorem prover using sequent calculus, generates pretty proof trees in latex

   Haskell 6

3. PureEqSat PureEqSat Public

   Equality Saturation for a small pure language

   Haskell 4 2

4. hajvm hajvm Public

   A partially implemented java virtual machine written in haskell.

   Haskell 2

5. mecab.js mecab.js Public

   Node.js bindings for mecab (japanese word boundaries)

   C++ 2 1

6. ur ur Public

   Resolve undefined references automagically

   Haskell 1