arbipher / llvm-ocaml-tutorial
The LLVM tutorial using OCaml
☆27Updated 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 fully-modular OCaml style linter☆45Updated this week
- OCANNL: OCaml Compiles Algorithms for Neural Networks Learning☆75Updated this week
- Software Transactional Memory for OCaml☆114Updated 3 weeks ago
- A simple scheduler for OCaml 5☆98Updated this week
- Playing with type systems☆48Updated last month
- A fancy diagnostics library that allows your compilers to exit with grace☆70Updated 7 months ago
- A pretty-printing combinator library for OCaml☆49Updated 5 months ago
- The LLVM tutorial using OCaml☆61Updated 4 years ago
- Realtime grep for OCaml/Coq sources available on opam☆80Updated 4 months ago
- Lock-free data structures for multicore OCaml☆234Updated 3 weeks ago
- pyre-ast is an OCaml library to parse Python files. The library features its full-fidelity to the official Python spec, as well as its a…☆40Updated 6 months ago
- A frontend for multiple SMT solvers in OCaml☆30Updated last week
- This repository contains examples to help on understanding what are and how to write PPXs in OCaml.☆40Updated last month
- The best way for developers to write software in OCaml☆61Updated last year
- The Flambda backend project for OCaml☆123Updated this week
- Fuzzy type search for OCaml documentation☆73Updated 6 months ago
- OCaml linter☆73Updated 3 weeks ago
- Documentation of the OCaml implementation☆54Updated last year
- Dependency graphs for OCaml modules, libraries and packages☆37Updated 6 months ago
- A deterministic parser with fused lexing☆72Updated last year
- ☆57Updated 3 months ago
- A collection of programming languages and type systems.☆33Updated 5 months ago
- Runtime assertion checking based on Gospel specifications☆44Updated last week
- Parallel Programming over Domains☆172Updated 10 months ago
- Monitor Eio programs☆77Updated 11 months ago
- A minimal implementation of Hindley-Milner's Algorithm J in OCaml☆60Updated 3 years ago
- OCaml hacking ideas, small and large.☆19Updated 9 months ago
- A hands-on tutorial on the new parallelism features in OCaml 5☆204Updated 10 months ago
- OCaml syntax extension for quoting code☆26Updated 2 years ago
- Compiler for a subset of the ML (really OCaml) language. LLVM is used as a backend.☆31Updated 3 years ago