copy / lowcamlLinks
An experimental OCaml-to-C compiler for type-safe accesss to SIMD (unreleased)
☆18Updated 2 years ago
Alternatives and similar repositories for lowcaml
Users that are interested in lowcaml are comparing it to the libraries listed below
Sorting:
- A command line program to show a table of timezones☆13Updated 9 months ago
- Compile OCaml to standalone ANSI C file☆45Updated last month
- LablGL: an openGL interface for OCaml☆25Updated 2 years ago
- An OCaml extension for RISC-V☆16Updated 5 years ago
- [wip] Proof format and checker for first-order and higher-order theorem provers☆12Updated 2 years ago
- Raw bindings to platform APIs for OCaml☆16Updated last year
- Algebraic structures in OCaml.☆25Updated 2 months ago
- An implementation of Colin James' "Compiling Lambda Calculus"☆16Updated 3 years ago
- The OCaml-Canvas library provides a portable Canvas for OCaml☆60Updated last year
- A small but efficient, intuitive and responsive OCaml IDE right in your browser! Ships OCaml v5.1.1, interpreter by your browser (so it w…☆43Updated 10 months ago
- ☆14Updated 11 months ago
- Menhir polishing toolbox, for experienced druids☆37Updated this week
- Memthol is a visualizer for memory profiling data generated from OCaml programs.☆28Updated 3 years ago
- experiments on distributed unikernels☆16Updated last year
- The official LLVM OCaml binding but built using dune☆25Updated 11 months ago
- Visualization tool for your IO-uring workload☆17Updated last year
- Samples and solutions from Chris Okasaki's "Purely Functional Data Structures", written in OCaml.☆12Updated 4 years ago
- Resizable arrays with O(ᵏ√N) insertion and deletion (Tiered Vectors)☆32Updated 2 years ago
- (Extremely) simple standalone symbolic algebra library in OCaml. (Mirrored from original site.)☆12Updated 14 years ago
- LLIR cross-language post-link optimiser for OCaml and C☆18Updated 3 years ago
- Just In Time compiler for OCaml native toplevel☆60Updated 2 years ago
- Example URL shortener MirageOS unikernel using Chamelon.☆18Updated 3 years ago
- 🐫🎮 OCaml Game Engine☆44Updated 10 months ago
- An OCaml library providing a C parser and lexer☆42Updated last year
- A set of tools to work with Gameboy stuff☆13Updated 3 years ago
- GADT-based field accessors and utilities☆17Updated last week
- A parsing library that compiles grammars to combinators using elimination of left recursion☆27Updated last month
- TOML parsing, manipulation, and pretty-printing library for OCaml (fully 1.0.0-compliant)☆56Updated 2 weeks ago
- SSH chat server using trust on first use for user registration☆32Updated 8 months ago
- A type-safe, stack-based functional programming language☆16Updated 11 months ago