Alternatives and similar repositories for llvm-ocaml-tutorial

Users that are interested in llvm-ocaml-tutorial are comparing it to the libraries listed below

• ocaml-multicore / ocaml5-tutorial
  A hands-on tutorial on the new parallelism features in OCaml 5
  ☆206Updated last year
• ocaml-multicore / saturn
  Lock-free data structures for multicore OCaml
  ☆251Updated last month
• ocaml-multicore / kcas
  Software Transactional Memory for OCaml
  ☆125Updated last month
• noti0na1 / socc
  Simple C Compiler in OCaml
  ☆94Updated 7 years ago
• johnyob / grace
  A fancy diagnostics library that allows your compilers to exit with grace
  ☆76Updated 3 months ago
• upenn-cis1xx / camelot
  A fully-modular OCaml style linter
  ☆45Updated 5 months ago
• janestreet / parallel
  OxCaml Parallelism
  ☆30Updated last month
• adamrk / llvm-ocaml-tutorial
  The LLVM tutorial using OCaml
  ☆61Updated 5 years ago
• ocaml-gospel / gospel
  A tool-agnostic formal specification language for OCaml.
  ☆144Updated 3 weeks ago
• ocaml-multicore / domainslib
  Parallel Programming over Domains
  ☆177Updated 3 months ago
• andreypopp / type-systems
  Playing with type systems
  ☆51Updated 6 months ago
• charlesetc / feather
  A shell library for OCaml
  ☆86Updated last year
• brandonspark / mulligan
  A stepping debugger for Standard ML (SML)
  ☆26Updated last year
• craigfe / progress
  Progress bar library for OCaml
  ☆141Updated last month
• ocaml-community / cppo
  C-style preprocessor for OCaml
  ☆109Updated last week
• art-w / sherlodoc
  Fuzzy type search for OCaml documentation
  ☆83Updated last year
• art-w / sherlocode
  Realtime grep for OCaml/Coq sources available on opam
  ☆85Updated 10 months ago
• formalsec / smtml
  An SMT solver frontend for OCaml
  ☆42Updated last week
• 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
• RedPRL / asai
  🩺 A library for compiler diagnostics
  ☆46Updated 5 months ago
• rocq-prover / stdlib
  Stdlib for the Rocq Prover
  ☆24Updated this week
• mspertus / TAPL
  Modify implementations for Pierce' Types and Programming Languages to add a REPL, convert into dune projects, and provide preconfigured d…
  ☆56Updated 2 years ago
• janestreet / torch
  ☆123Updated last month
• kit-ty-kate / labrys
  A toy language based on LLVM that implements the System Fω type-system
  ☆110Updated last year
• fpottier / pprint
  A pretty-printing combinator library for OCaml
  ☆51Updated 11 months ago
• wlitwin / tigerml
  Modern Compiler Implementation in ML (OCaml)
  ☆7Updated 5 years ago
• ocaml / Zarith
  The Zarith library implements arithmetic and logical operations over arbitrary-precision integers and rational numbers. The implementatio…
  ☆244Updated 6 months ago
• robur-coop / miou
  A simple scheduler for OCaml 5
  ☆110Updated this week
• Kakadu / zanuda
  OCaml linter
  ☆77Updated last month
• ahrefs / ocannl
  OCANNL: OCaml Compiles Algorithms for Neural Networks Learning
  ☆85Updated this week