anhnguyen1618 / Tiger-ocaml-llvm-compiler

Related projects ⓘ

Alternatives and complementary repositories for Tiger-ocaml-llvm-compiler

• adamrk / llvm-ocaml-tutorial
  The LLVM tutorial using OCaml
  ☆61Updated 4 years ago
• andreypopp / type-systems
  Playing with type systems
  ☆46Updated 2 years ago
• ocaml-multicore / kcas
  Software Transactional Memory for OCaml
  ☆109Updated this week
• fpottier / pprint
  A pretty-printing combinator library for OCaml
  ☆47Updated 3 months ago
• tmcgilchrist / tiger
  Compiler for Tiger language from "Modern Compiler Implementation in ML"
  ☆17Updated 3 months ago
• ocaml-bench / sandmark
  A benchmark suite for the OCaml compiler
  ☆82Updated 2 months ago
• ocaml-community / cppo
  C-style preprocessor for OCaml
  ☆108Updated last month
• kit-ty-kate / labrys
  A toy language based on LLVM that implements the System Fω type-system
  ☆103Updated last year
• janestreet / ppx_sexp_conv
  Generation of S-expression conversion functions from type definitions
  ☆88Updated last month
• cmaes / miniml
  Compiler for a subset of the ML (really OCaml) language. LLVM is used as a backend.
  ☆30Updated 3 years ago
• ludwigpacifici / saumon
  Lox language implemented in OCaml
  ☆14Updated 4 years ago
• arbipher / llvm-ocaml-tutorial
  The LLVM tutorial using OCaml
  ☆25Updated last year
• dariusf / ppx_debug
  Tools for record-and-replay debugging
  ☆42Updated last year
• Ekdohibs / joujou
  A compiler from a small functional language to C. Especially features algebraic effects and handlers with multishot continuations, and a …
  ☆87Updated 5 years ago
• jfecher / algorithm-j
  A minimal implementation of Hindley-Milner's Algorithm J in OCaml
  ☆55Updated 2 years ago
• komamitsu / oraft
  Library of Raft consensus algorithm implemented in OCaml
  ☆28Updated last year
• jmid / qcstm
  A simple state-machine framework for OCaml based on QCheck
  ☆65Updated 3 years ago
• modular-macros / ocaml-macros
  OCaml with macros
  ☆53Updated this week
• samarthkishor / crafting-interpreters
  An tree-walking interpreter for a subset of the Lox programming language from "Crafting Interpreters" written in OCaml
  ☆13Updated 4 years ago
• ocaml-multicore / domainslib
  Parallel Programming over Domains
  ☆171Updated 8 months ago
• ocaml-flambda / flambda-backend
  The Flambda backend project for OCaml
  ☆112Updated this week
• ocaml-multicore / dscheck
  Experimental model checker for testing concurrent algorithms
  ☆32Updated 4 months ago
• ahrefs / ocannl
  OCANNL: OCaml Compiles Algorithms for Neural Networks Learning
  ☆67Updated this week
• ocaml-multicore / saturn
  Lock-free data structures for multicore OCaml
  ☆202Updated this week
• sabine / ocaml-to-wasm-overview
  ☆101Updated 2 years ago
• ocaml-multicore / ocaml-uring
  Bindings to io_uring for OCaml
  ☆61Updated 5 months ago
• ocaml-ppx / ppx
  The future of ppx https://discuss.ocaml.org/t/the-future-of-ppx/
  ☆53Updated 4 years ago
• SimonJF / cmm_of_wasm
  A compiler from WebAssembly to native code, via the OCaml backend.
  ☆92Updated 6 years ago
• mirage / ocaml-rpc
  Light library to deal with RPCs in OCaml
  ☆96Updated last month
• robur-coop / miou
  A simple scheduler for OCaml 5
  ☆93Updated 3 weeks ago