arbipher / llvm-ocaml-tutorial

Related projects ⓘ

Alternatives and complementary repositories for llvm-ocaml-tutorial

• andreypopp / type-systems
  Playing with type systems
  ☆46Updated 2 years ago
• ocaml-multicore / kcas
  Software Transactional Memory for OCaml
  ☆109Updated last week
• upenn-cis1xx / camelot
  A fully-modular OCaml style linter
  ☆44Updated last year
• ocaml-multicore / saturn
  Lock-free data structures for multicore OCaml
  ☆203Updated this week
• ocaml-gospel / gospel
  A tool-agnostic formal specification language for OCaml.
  ☆128Updated this week
• ahrefs / ocannl
  OCANNL: OCaml Compiles Algorithms for Neural Networks Learning
  ☆67Updated this week
• adamrk / llvm-ocaml-tutorial
  The LLVM tutorial using OCaml
  ☆61Updated 4 years ago
• 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
• ocaml-flambda / flambda-backend
  The Flambda backend project for OCaml
  ☆113Updated this week
• art-w / sherlodoc
  Fuzzy type search for OCaml documentation
  ☆72Updated 4 months ago
• robur-coop / miou
  A simple scheduler for OCaml 5
  ☆93Updated last month
• johnyob / grace
  A fancy diagnostics library that allows your compilers to exit with grace
  ☆70Updated 5 months ago
• ocaml-multicore / domainslib
  Parallel Programming over Domains
  ☆172Updated 8 months ago
• ocaml-community / cppo
  C-style preprocessor for OCaml
  ☆108Updated last week
• fpottier / pprint
  A pretty-printing combinator library for OCaml
  ☆47Updated 3 months ago
• yallop / ocaml-flap
  A deterministic parser with fused lexing
  ☆71Updated last year
• ocaml-multicore / ocaml5-tutorial
  A hands-on tutorial on the new parallelism features in OCaml 5
  ☆202Updated 8 months ago
• OCamlPro / wasocaml
  ☆54Updated 3 weeks ago
• Kakadu / zanuda
  OCaml linter
  ☆67Updated 3 weeks ago
• art-w / sherlocode
  Realtime grep for OCaml/Coq sources available on opam
  ☆78Updated 2 months ago
• craigfe / progress
  Progress bar library for OCaml
  ☆137Updated 4 months ago
• RedPRL / asai
  🩺 A library for compiler diagnostics
  ☆35Updated this week
• ocaml-gospel / ortac
  Runtime assertion checking based on Gospel specifications
  ☆38Updated last week
• NickBarnes / inside-ocaml
  Documentation of the OCaml implementation
  ☆53Updated last year
• 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
• charlesetc / feather
  A shell library for OCaml
  ☆77Updated 7 months ago
• noti0na1 / socc
  Simple C Compiler in OCaml
  ☆88Updated 6 years ago
• tarides / dune-release
  Streamlining the release of dune packages to opam
  ☆114Updated 3 months ago
• c-cube / moonpool
  Commodity thread pools and concurrency primitives for OCaml 5
  ☆54Updated last month
• ocaml-multicore / picos
  Interoperable effects based concurrency
  ☆94Updated this week