Popular repositories Loading

1. dc-machine dc-machine Public

   a call-by-value abstract machine for lambda-calculus + control, shift, control0, shift0, and prompt.

   OCaml 9

2. Gauche-process-notation Gauche-process-notation Public

   Scheme 6

3. coq-to-lisp coq-to-lisp Public

   Coq to Emacs Lisp / Common Lisp Extraction

   Common Lisp 4

4. paradoc paradoc Public

   A Scribble to HTML/LaTeX converter.

   Scheme 4

5. ocaml-r5rsds ocaml-r5rsds Public

   An OCaml implementation of R5RS denotational semantics.

   OCaml 3

6. optics.ml optics.ml Public

   an experimental optic library for OCaml

   OCaml 3