Popular repositories Loading

1. MRScpOptSize MRScpOptSize Public

   F# 2

2. martin-lof martin-lof Public

   Forked from michaelt/martin-lof

   papers of Per Martin Löf

   TeX 1

3. staged-mrsc-agda staged-mrsc-agda Public

   Forked from sergei-romanenko/staged-mrsc-agda

   Staged multi-result supercompilation (a model in Agda)

   Agda

4. sc-mini sc-mini Public

   Forked from ilya-klyuchnikov/sc-mini

   SC Mini is a "minimal" positive supercompiler

   Haskell

5. SimpleTreeExprTests SimpleTreeExprTests Public

   Finite Test Sets for a Class of Simple Programs on Binary Trees

   Coq

6. j-bob j-bob Public

   Forked from the-little-prover/j-bob

   Scheme