anhnguyen1618 / Tiger-ocaml-llvm-compiler
A minimal compiler written in OCaml that compiles Tiger to LLVM IR then to assembly code
☆27Updated 2 years ago
Related projects ⓘ
Alternatives and complementary repositories for Tiger-ocaml-llvm-compiler
- A pretty-printing combinator library for OCaml☆47Updated 3 months ago
- The LLVM tutorial using OCaml☆61Updated 4 years ago
- Playing with type systems☆46Updated 2 years ago
- Software Transactional Memory for OCaml☆109Updated 2 weeks ago
- Compiler for Tiger language from "Modern Compiler Implementation in ML"☆17Updated 3 months ago
- The LLVM tutorial using OCaml☆25Updated last year
- Generation of S-expression conversion functions from type definitions☆88Updated this week
- A toy language based on LLVM that implements the System Fω type-system☆103Updated last year
- Library of Raft consensus algorithm implemented in OCaml☆28Updated last year
- Tools for record-and-replay debugging☆42Updated last year
- A compiler from a small functional language to C. Especially features algebraic effects and handlers with multishot continuations, and a …☆87Updated 5 years ago
- Compiler for a subset of the ML (really OCaml) language. LLVM is used as a backend.☆30Updated 3 years ago
- A benchmark suite for the OCaml compiler☆82Updated 2 months ago
- Experimental model checker for testing concurrent algorithms☆32Updated 4 months ago
- an implementation of Observational Type Theory (OTT) and more☆26Updated 2 years ago
- C-style preprocessor for OCaml☆108Updated last week
- 🦠 Reusable components based on algebraic effects☆47Updated last month
- A tool-agnostic formal specification language for OCaml.☆128Updated this week
- OCaml plus Jane Street extensions☆73Updated 4 months ago
- Companion Coq development for Xavier Leroy's 2021 lectures on program logics☆40Updated 3 years ago
- A minimal implementation of Hindley-Milner's Algorithm J in OCaml☆55Updated 2 years ago
- The Flambda backend project for OCaml☆113Updated this week
- Didactic implementation of the type checker described in "Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism" writ…☆22Updated 3 years ago
- A ML-like pure functional language that can be used as a template for creating your own language☆28Updated last week
- A statically-typed programming language based on "F-ing modules"☆80Updated 4 years ago
- Streaming client for OCaml's Memprof☆64Updated 2 months ago
- Lox language implemented in OCaml☆14Updated 4 years ago
- Reparse is a monadic, recursive descent based, comprehensive parser construction library for ocaml.☆53Updated 3 years ago
- Monad-based linear types in OCaml, with a few syntax extensions☆37Updated 5 years ago
- A deterministic parser with fused lexing☆71Updated last year