Popular repositories Loading

1. ministgwasm ministgwasm Public

   A compiler from mini-STG to Wasm (**far from complete**)

   Haskell 14

2. require require Public

   A language for inputs with a failure probability.

   Haskell 3

3. opt-prolog opt-prolog Public

   test some opt strategies in porlog

   Prolog 1

4. dive-into-ghc dive-into-ghc Public

   Some notes on the source code of the Glorious Haskell Compiler

   TeX 1 1

5. jos-labs jos-labs Public

   Course labs of MIT 6.828 JOS

   C 1

6. soot-demo soot-demo Public

   Java 1