Popular repositories Loading

1. two-level two-level Public

   Two-Level Type Theory

   Lean 27 1

2. unmix unmix Public

   A simple program specializer (based on partial evaluation) for a subset of Scheme. It includes a binding time analyzer, a residual program generator and an arity raiser.

   Racket 12 1

3. trace-monoids trace-monoids Public

   Trace monoids in Cubical Agda

   Agda 8

4. contracts contracts Public

   Forked from HIPERFIT/contracts

   Symbolic financial contract EDSL

   Coq 7 1

5. futhark-extract futhark-extract Public

   Extracting Futhark code from the Coq proof assistant

   Coq 6 1

6. stratego-sll stratego-sll Public

   An interpreter and minimal supercompiler for simple lazy language (first-order functional language) written in Stratego transformation language (Spoofax language workbench).

   Java 4