Popular repositories Loading

1. SmallScheme SmallScheme Public

   Interpreter of subset of scheme. Using Java and AspectJ

   Java 1

2. Toybox Toybox Public

   Some toy programs

   1

3. coq_debug coq_debug Public

   Coq with concrete (not abstract) data types for debugging

   OCaml 1

4. wercker-ocaml wercker-ocaml Public

   wercker box with OCaml

   1

5. ocamlglobal ocamlglobal Public

   This is ocamlglobal, GNU global tags wrappaer for OCaml. The original one is not available on OCaml 3.12.1 (because of modified specifications of camlp4), so I adhocly modify it.

   Shell

6. rule_consistency rule_consistency Public

   OCaml