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
  ☆210Updated last year
• formalsec / smtml
  An SMT solver frontend for OCaml
  ☆47Updated this week
• ocaml-multicore / saturn
  Lock-free data structures for multicore OCaml
  ☆253Updated 4 months ago
• ocaml-multicore / kcas
  Software Transactional Memory for OCaml
  ☆130Updated 3 months ago
• janestreet / parallel
  OxCaml Parallelism
  ☆31Updated 3 months ago
• brandonspark / mulligan
  A stepping debugger for Standard ML (SML)
  ☆26Updated last year
• ahrefs / ocannl
  OCANNL: OCaml Compiles Algorithms for Neural Networks Learning
  ☆94Updated this week
• anhnguyen1618 / Tiger-ocaml-llvm-compiler
  A minimal compiler written in OCaml that compiles Tiger to LLVM IR then to assembly code
  ☆27Updated 3 years ago
• noti0na1 / socc
  Simple C Compiler in OCaml
  ☆94Updated 7 years ago
• mspertus / TAPL
  Modify implementations for Pierce' Types and Programming Languages to add a REPL, convert into dune projects, and provide preconfigured d…
  ☆58Updated 2 years ago
• ocaml-gospel / gospel
  A tool-agnostic formal specification language for OCaml.
  ☆146Updated last week
• adamrk / llvm-ocaml-tutorial
  The LLVM tutorial using OCaml
  ☆60Updated 5 years ago
• johnyob / grace
  A fancy diagnostics library that allows your compilers to exit with grace
  ☆80Updated 3 weeks ago
• yallop / ocaml-flap
  A deterministic parser with fused lexing
  ☆74Updated 2 years ago
• janestreet / torch
  ☆134Updated 3 weeks ago
• jfecher / algorithm-j
  A minimal implementation of Hindley-Milner's Algorithm J in OCaml
  ☆72Updated 3 years ago
• art-w / sherlodoc
  Fuzzy type search for OCaml documentation
  ☆85Updated last year
• kit-ty-kate / labrys
  A toy language based on LLVM that implements the System Fω type-system
  ☆113Updated 2 years ago
• art-w / sherlocode
  Realtime grep for OCaml/Coq sources available on opam
  ☆85Updated last year
• andreypopp / type-systems
  Playing with type systems
  ☆51Updated 8 months ago
• matijapretnar / millet
  A ML-like pure functional language that can be used as a template for creating your own language
  ☆28Updated 8 months ago
• ocaml-community / cppo
  C-style preprocessor for OCaml
  ☆111Updated last month
• fpottier / pprint
  A pretty-printing combinator library for OCaml
  ☆51Updated last year
• ocaml-gospel / ortac
  Runtime assertion checking based on Gospel specifications
  ☆48Updated this week
• upenn-cis1xx / camelot
  A fully-modular OCaml style linter
  ☆45Updated last week
• RedPRL / asai
  🩺 A library for compiler diagnostics
  ☆47Updated last month
• charlesetc / feather
  A shell library for OCaml
  ☆84Updated last year
• robur-coop / miou
  A simple scheduler for OCaml 5
  ☆123Updated last week
• rocq-prover / stdlib
  Stdlib for the Rocq Prover
  ☆25Updated last week
• tmcgilchrist / tiger
  Compiler for Tiger language from "Modern Compiler Implementation in ML"
  ☆16Updated last year