Pinned Loading

1. bcaml bcaml Public

   The bear's interpreter of caml language

   OCaml 3

2. decl_reader decl_reader Public

   This python script translates a declaration of c language into a readable format of english text.

   Python 1

3. tyarith tyarith Public

   the bigstep implementation of tyarith(a simply typed lambda calculus) written in prolog

   Prolog 1

4. wo4mei3.github.io wo4mei3.github.io Public

   HTML

5. bcc bcc Public

   bear's c compiler

   OCaml

6. mic-lang/mic mic-lang/mic Public

   A mic implementation

   LLVM 1