Popular repositories Loading

1. hscaml hscaml Public

   yet another toy OCaml interpreter in Haskell

   Haskell 13 1

2. min-caml-jvm min-caml-jvm Public

   A tiny OCaml compiler with JVM backend 🐫☕️

   Jasmin 10 1

3. graten graten Public

   "Gradual Tensor Shape Checking" (ESOP 23)

   Haskell 8

4. jasmin-example jasmin-example Public

   Collection of learning resources for Jasmin (JVM assembler)

   Jasmin 6

5. egison-trs egison-trs Public

   Knuth-Bendix completion in Egison (and Haskell). 技術書典7

   Haskell 6

6. seccampDB seccampDB Public

   concurrent transaction control system from scratch

   C++ 4