Popular repositories Loading

1. sel sel Public

   Sed Lisp -- a lisp interpreter in GNU sed

   sed 52

2. LC-interpreter LC-interpreter Public

   A compiler and runtime for normalizing the untyped λ-calculus

   C 31 2

3. prolog prolog Public

   A simple prolog implementation in Rust

   Rust 26 1

4. xtt xtt Public

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

   OCaml 26

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