Timothy-G-Griffin / cc_cl_cam_ac_uk
OCaml code for Compiler Construction course at University of Cambridge
☆41Updated 3 years ago
Related projects ⓘ
Alternatives and complementary repositories for cc_cl_cam_ac_uk
- The LLVM tutorial using OCaml☆61Updated 4 years ago
- Algebraic structures in OCaml.☆21Updated this week
- Runtime assertion checking based on Gospel specifications☆38Updated last week
- A statically-typed programming language based on "F-ing modules"☆80Updated 4 years ago
- A ML-like pure functional language that can be used as a template for creating your own language☆28Updated last week
- A toy language based on LLVM that implements the System Fω type-system☆103Updated last year
- A simple parser combinator library for Ocaml☆29Updated 3 years ago
- Tools for record-and-replay debugging☆42Updated last year
- The Caml Light implementation of the Caml language☆61Updated last year
- A pretty-printing combinator library for OCaml☆47Updated 3 months ago
- Efficient binder representation in OCaml☆39Updated 4 months ago
- Experimental functional language☆18Updated 2 years ago
- The SML/NJ project hosts the entire source code of the Standard ML of New Jersey system.☆29Updated 5 years ago
- A small library to output memory graph for ocaml values☆35Updated 4 months ago
- OCaml bytecode library tools☆32Updated 2 years ago
- multi-shot continuations in OCaml☆46Updated 3 weeks ago
- Compiler for a subset of the ML (really OCaml) language. LLVM is used as a backend.☆30Updated 3 years ago
- Monad-based linear types in OCaml, with a few syntax extensions☆37Updated 5 years ago
- Path tracer live coded in stream☆19Updated 4 years ago
- A corpus of automatically graded exercises to learn functional programming in OCaml.☆31Updated 3 months ago
- Experimental model checker for testing concurrent algorithms☆32Updated 4 months ago
- 🦠 Reusable components based on algebraic effects☆47Updated last month
- A Deductive Verification Tool for OCaml Programs☆60Updated 4 months ago
- Choice operator in OCaml, providing a backtracking monad☆24Updated 2 years ago
- ☆27Updated 6 months ago
- Binding to Cairo, a 2D Vector Graphics Library.☆54Updated last week
- LL(1) parser generator verified in Coq☆44Updated 4 years ago
- Standard ML compiler based on typed intermediate languages.☆46Updated 10 years ago
- The Stream and Genlex libraries for use with Camlp4 and Camlp5☆15Updated 2 years ago