The LLVM tutorial using OCaml
☆62Apr 9, 2020Updated 6 years ago
Alternatives and similar repositories for llvm-ocaml-tutorial
Users that are interested in llvm-ocaml-tutorial are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Numerical Optimisation Library☆17Jul 9, 2023Updated 3 years ago
- The core parallel and shared memory library used by Hack, Flow, and Pyre☆41Feb 27, 2021Updated 5 years ago
- An example project to demonstrate https://github.com/rvantonder/hack-parallel☆13May 18, 2020Updated 6 years ago
- OCaml LLVM bindings tutorial☆22Apr 16, 2017Updated 9 years ago
- scikit-learn for OCaml☆36Dec 9, 2020Updated 5 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Path tracer live coded in stream☆22Aug 23, 2020Updated 6 years ago
- preprocessor for easier stub generation with ocaml-ctypes☆57Nov 18, 2022Updated 3 years ago
- print nested boxes, lists, arrays, tables in several formats☆81May 14, 2025Updated last year
- A simple photo gallery webapp☆15Jun 1, 2021Updated 5 years ago
- A simple state-machine framework for OCaml based on QCheck☆66Sep 24, 2021Updated 4 years ago
- A modular sat/smt solver with proof output.☆105Aug 18, 2026Updated 2 weeks ago
- An ocaml progress bar library similar to https://tqdm.github.io☆19Dec 13, 2019Updated 6 years ago
- Implementation of a matrix server in OCaml for MirageOS☆51Jul 5, 2023Updated 3 years ago
- Yet another type combinator library☆56Mar 10, 2022Updated 4 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Caribou leverages Notty to generate simple terminal user interfaces.☆17Oct 14, 2023Updated 2 years ago
- OCaml Ctypes stubs generation notes☆22May 1, 2019Updated 7 years ago
- ppx extension for string interpolation☆34Jul 10, 2026Updated last month
- PPX rewriter that enables string interpolation in OCaml☆43Jun 30, 2025Updated last year
- Nanopass for OCaml☆147Dec 21, 2017Updated 8 years ago
- An OCaml toplevel (REPL) upgrade☆90Aug 13, 2026Updated 2 weeks ago
- An OCaml modular and generalised parser combinator library.☆22Aug 15, 2021Updated 5 years ago
- Experimental functional language☆16Dec 24, 2025Updated 8 months ago
- Bisector tree implementation in OCaml☆25Apr 17, 2024Updated 2 years ago
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- Syntactic evaluation of STLC (incl. proof of normalization a la Software Foundations)☆13Nov 19, 2017Updated 8 years ago
- Generate a webpage with mathematical formulae, OCaml output and graphics from markdown☆16Aug 28, 2022Updated 4 years ago
- Minimal HTTP server written in direct style, with a small request router, compression, SSE, websockets.☆85Jun 18, 2026Updated 2 months ago
- Lox language implemented in OCaml☆13Oct 6, 2020Updated 5 years ago
- Execute code blocks inside your documentation☆290Jul 22, 2026Updated last month
- Declarative music for OCaml (unreleased)☆27Aug 13, 2026Updated 2 weeks ago
- An OCaml implementation of the DPLL algorithm for solving SAT instances. Uses nothing beyond the OCaml List library.☆20Sep 5, 2014Updated 11 years ago
- A small library for convenient printf debugging and function tracing☆27Sep 25, 2022Updated 3 years ago
- Command Line Interface for Dream applications.☆22Apr 9, 2022Updated 4 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- The official LLVM OCaml binding but built using dune☆25Feb 8, 2025Updated last year
- A console client for mpd written in OCaml☆12Jan 5, 2019Updated 7 years ago
- Archived. Curve25519 support has been integrated into mirage-crypto-ec (via fiat-crypto). Hacl bindings are available from the hacl-star …☆21Apr 23, 2021Updated 5 years ago
- A benchmark suite for the OCaml compiler☆88Aug 27, 2024Updated 2 years ago
- ☆21May 9, 2017Updated 9 years ago
- ☆21Mar 6, 2019Updated 7 years ago
- Data visualization and plotting for OCaml☆19Nov 28, 2017Updated 8 years ago