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
- Compiler for Tiger language from "Modern Compiler Implementation in ML"☆17Updated 3 months ago
- Algebraic structures in OCaml.☆21Updated this week
- A ML-like pure functional language that can be used as a template for creating your own language☆27Updated last year
- The Caml Light implementation of the Caml language☆61Updated last year
- Compiler for a subset of the ML (really OCaml) language. LLVM is used as a backend.☆30Updated 3 years ago
- A small library to output memory graph for ocaml values☆35Updated 4 months ago
- A toy language based on LLVM that implements the System Fω type-system☆103Updated last year
- Monad-based linear types in OCaml, with a few syntax extensions☆37Updated 5 years ago
- A simple parser combinator library for Ocaml☆29Updated 3 years ago
- The LLVM tutorial using OCaml☆61Updated 4 years ago
- OCaml bytecode library tools☆32Updated 2 years ago
- A pretty-printing combinator library for OCaml☆47Updated 3 months ago
- Final Year Project - A probabilisitic programming language in OCaml☆13Updated 4 years ago
- multi-shot continuations in OCaml☆46Updated 2 weeks ago
- Just In Time compiler for OCaml native toplevel☆55Updated 10 months ago
- Efficient binder representation in OCaml☆39Updated 4 months ago
- Dependency graphs for OCaml modules, libraries and packages☆34Updated 3 months ago
- A small imperative language that I'm writing while reading the Modern Compiler Implementation in ML by A. Appel.☆25Updated 2 years ago
- A benchmark suite for the OCaml compiler☆82Updated 2 months ago
- FunTAL: mixing a functional language with assembly.☆40Updated 7 years ago
- Standard ML compiler based on typed intermediate languages.☆46Updated 10 years ago
- Tools for record-and-replay debugging☆42Updated last year
- Testing and benchmarking tool for logic-related programs.☆25Updated last month
- A modular sat/smt solver with proof output.☆97Updated 10 months ago
- A Framework for building Batched Concurrent Services☆20Updated last month
- Higher kinded polymorphism in SML☆15Updated 4 years ago
- Runtime assertion checking based on Gospel specifications☆38Updated 3 weeks ago
- An MVC library for writing interactive webpages in OCaml☆35Updated 9 years ago
- Functional Priority Search Queues for OCaml☆53Updated 7 months ago