arbipher / llvm-ocaml-tutorial
The LLVM tutorial using OCaml
☆29Updated last year
Alternatives and similar repositories for llvm-ocaml-tutorial:
Users that are interested in llvm-ocaml-tutorial are comparing it to the libraries listed below
- A minimal compiler written in OCaml that compiles Tiger to LLVM IR then to assembly code☆27Updated 2 years ago
- OCANNL: OCaml Compiles Algorithms for Neural Networks Learning☆78Updated last week
- Playing with type systems☆48Updated 2 months ago
- A pretty-printing combinator library for OCaml☆49Updated 7 months ago
- Algebraic structures in OCaml.☆24Updated 3 weeks ago
- A fancy diagnostics library that allows your compilers to exit with grace☆71Updated 9 months ago
- Software Transactional Memory for OCaml☆117Updated 2 months ago
- A simple scheduler for OCaml 5☆100Updated last month
- A fully-modular OCaml style linter☆45Updated 3 weeks ago
- Library of Raft consensus algorithm implemented in OCaml☆30Updated last year
- A toy language based on LLVM that implements the System Fω type-system☆107Updated last year
- Simple C Compiler in OCaml☆92Updated 6 years ago
- Lock-free data structures for multicore OCaml☆238Updated 2 months ago
- The LLVM tutorial using OCaml☆61Updated 4 years ago
- Dependency graphs for OCaml modules, libraries and packages☆37Updated 7 months ago
- The Flambda backend project for OCaml☆128Updated this week
- NES emulator in OCaml☆37Updated last year
- Realtime grep for OCaml/Coq sources available on opam☆81Updated 6 months ago
- Documentation of the OCaml implementation☆54Updated last year
- 🩺 A library for compiler diagnostics☆38Updated last month
- A stepping debugger for Standard ML (SML)☆24Updated last year
- A hands-on tutorial on the new parallelism features in OCaml 5☆205Updated last year
- Fuzzy type search for OCaml documentation☆80Updated 7 months ago
- Tools for record-and-replay debugging☆43Updated 2 years ago
- Runtime assertion checking based on Gospel specifications☆45Updated last week
- OCaml hacking ideas, small and large.☆19Updated 11 months ago
- Monitor Eio programs☆78Updated last year
- multi-shot continuations in OCaml☆48Updated last month
- ☆58Updated 4 months ago
- Parallel Programming over Domains☆173Updated last year