Popular repositories Loading

1. sel sel Public

   Sed Lisp -- a lisp interpreter in GNU sed

   sed 55

2. LC-interpreter LC-interpreter Public

   A compiler and runtime for normalizing the untyped λ-calculus

   C 32 2

3. xtt xtt Public

   A simple implementation of XTT, "A cubical language for Bishop sets"

   OCaml 27

4. prolog prolog Public

   A simple prolog implementation in Rust

   Rust 26 1

5. android-ndk-rs android-ndk-rs Public

   Rust bindings to the Android NDK

   Rust 24 2

6. simple-lambda-prolog simple-lambda-prolog Public

   A simple λProlog interpreter

   OCaml 20 1