arbipher / llvm-ocaml-tutorial

Related projects: ⓘ

• ocaml-multicore / kcas
  Software Transactional Memory for OCaml
  ☆107Updated this 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
• ocaml-multicore / saturn
  Lock-free data structures for multicore OCaml
  ☆197Updated last week
• adamrk / llvm-ocaml-tutorial
  The LLVM tutorial using OCaml
  ☆61Updated 4 years ago
• andreypopp / type-systems
  Playing with type systems
  ☆43Updated 2 years ago
• robur-coop / miou
  A simple scheduler for OCaml 5
  ☆91Updated last week
• ocaml-flambda / flambda-backend
  The Flambda backend project for OCaml
  ☆103Updated this week
• johnyob / grace
  A fancy diagnostics library that allows your compilers to exit with grace
  ☆72Updated 3 months ago
• ahrefs / ocannl
  OCANNL: OCaml Compiles Algorithms for Neural Networks Learning
  ☆62Updated this week
• OCamlPro / wasocaml
  ☆50Updated 9 months ago
• ocaml-multicore / picos
  Interoperable effects based concurrency
  ☆81Updated this week
• craigfe / progress
  Progress bar library for OCaml
  ☆135Updated 2 months ago
• art-w / sherlodoc
  Fuzzy type search for OCaml documentation
  ☆70Updated 2 months ago
• ocaml-gospel / gospel
  A tool-agnostic formal specification language for OCaml.
  ☆126Updated last month
• ocaml-multicore / domainslib
  Parallel Programming over Domains
  ☆173Updated 6 months ago
• noti0na1 / socc
  Simple C Compiler in OCaml
  ☆89Updated 6 years ago
• tarides / ocaml-platform-installer
  The best way for developers to write software in OCaml
  ☆61Updated last year
• kit-ty-kate / labrys
  A toy language based on LLVM that implements the System Fω type-system
  ☆102Updated last year
• ocaml-multicore / ocaml5-tutorial
  A hands-on tutorial on the new parallelism features in OCaml 5
  ☆198Updated 6 months ago
• NickBarnes / inside-ocaml
  Documentation of the OCaml implementation
  ☆53Updated last year
• sabine / ocaml-to-wasm-overview
  ☆102Updated 2 years ago
• ocaml-multicore / meio
  Monitor Eio programs
  ☆78Updated 6 months ago
• art-w / sherlocode
  Realtime grep for OCaml/Coq sources available on opam
  ☆78Updated 2 weeks ago
• tmcgilchrist / tiger
  Compiler for Tiger language from "Modern Compiler Implementation in ML"
  ☆17Updated last month
• Kakadu / zanuda
  OCaml linter
  ☆64Updated last month
• ocaml-gospel / ortac
  Runtime assertion checking based on Gospel specifications
  ☆37Updated 2 weeks ago
• ocaml-multicore / awesome-multicore-ocaml
  A collection of libraries, experiments and ideas relating to OCaml 5 (multicore + effects)
  ☆147Updated last year
• OCamlPro / owi
  WebAssembly Swissknife & cross-language bugfinder
  ☆124Updated 2 weeks ago
• ocaml-community / cppo
  C-style preprocessor for OCaml
  ☆106Updated this week
• Firobe / nes-ml
  NES emulator in OCaml
  ☆37Updated last year
• shwestrick / smlfmt
  A custom parser/auto-formatter for Standard ML
  ☆67Updated 9 months ago