Popular repositories Loading

1. spegel spegel Public

   Spegel - Reflect the web through AI

   Python 308 11

2. coco-gemini coco-gemini Public

   Benchmark Gemini on Coco

   Python 10

3. Kandidat Kandidat Public

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

   Haskell 7

4. Solverine Solverine Public

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

   Haskell 7

5. PureEqSat PureEqSat Public

   Equality Saturation for a small pure language

   Haskell 4 2

6. hajvm hajvm Public

   A partially implemented java virtual machine written in haskell.

   Haskell 2