Popular repositories Loading

1. hlvm hlvm Public

   High-Level Virtual Machine for statically-typed functional languages.

   OCaml 48 4

2. ntplib ntplib Public

   An irregularly-updated clone of Charles-Francois Natali's NTP client library for Python.

   Python 18 3

3. handbook-of-practical-logic-and-automated-reasoning handbook-of-practical-logic-and-automated-reasoning Public

   Code from John Harrison's "Handbook of Practical Logic and Automated Reasoning"

   15 1

4. intuitionistic intuitionistic Public

   Intuitionistic Programming Language

   OCaml 11 1

5. scmutils scmutils Public

   Scheme Classical Mechanics utilities from Gerald Jay Sussman, as found at http://groups.csail.mit.edu/mac/users/gjs/6946/ and mit-scheme distribution removed.

   Scheme 7 4

6. dml dml Public

   Dependent ML

   OCaml 3