copy / lowcaml
An experimental OCaml-to-C compiler for type-safe accesss to SIMD (unreleased)
☆16Updated last year
Alternatives and similar repositories for lowcaml:
Users that are interested in lowcaml are comparing it to the libraries listed below
- A type-safe, stack-based functional programming language☆15Updated 2 years ago
- Menhir polishing toolbox, for experienced druids☆30Updated last week
- Visualization tool for your IO-uring workload☆14Updated 5 months ago
- A comparison of Js_of_ocaml libraries for building reactive UIs☆11Updated 2 years ago
- A Framework for building Batched Concurrent Services☆21Updated 3 months ago
- An implementation of Colin James' "Compiling Lambda Calculus"☆16Updated 2 years ago
- A parsing library that compiles grammars to combinators using elimination of left recursion☆22Updated 11 months ago
- Experimental parallel and concurrent OCaml☆14Updated 2 years ago
- TOML parsing, manipulation, and pretty-printing library for OCaml (fully 1.0.0-compliant)☆50Updated 9 months ago
- Final Year Project - A probabilisitic programming language in OCaml☆13Updated 4 years ago
- An OCaml extension for RISC-V☆16Updated 4 years ago
- [wip] Proof format and checker for first-order and higher-order theorem provers☆12Updated last year
- The Stream and Genlex libraries for use with Camlp4 and Camlp5☆15Updated 2 weeks ago
- Didactic implementation of the type checker described in "Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism" writ…☆22Updated 3 years ago
- A project which aim to help engineers to make proves easily☆13Updated 2 years ago
- The official LLVM OCaml binding but built using dune☆25Updated 7 months ago
- 🩺 A library for compiler diagnostics☆38Updated last month
- LablGL: an openGL interface for OCaml☆23Updated last year
- String searching with errors, using the Wu-Manber algorithm☆23Updated 2 weeks ago
- macOS bindings to the FSEvents API☆18Updated 6 months ago
- Samples and solutions from Chris Okasaki's "Purely Functional Data Structures", written in OCaml.☆12Updated 3 years ago
- ☆25Updated 2 years ago
- OCaml implementation of the KDL Document Language☆12Updated last week
- Composable concurrency primitives with OCaml effects handlers (unreleased)☆43Updated 3 months ago
- A little and very high level library to perform basic operations on audio files in the OCaml language☆15Updated last week
- experiments on distributed unikernels☆16Updated last month
- Algebraic structures in OCaml.☆24Updated 2 weeks ago
- A high-performance server for Irmin☆23Updated 2 years ago
- add/remove for AVL, red-black, 2-3, 2-3-4 trees using GADTs☆16Updated last year
- Runtime assertion checking based on Gospel specifications☆44Updated 2 weeks ago