copy / lowcamlLinks
An experimental OCaml-to-C compiler for type-safe accesss to SIMD (unreleased)
☆18Updated last year
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 7 months ago
- An implementation of Colin James' "Compiling Lambda Calculus"☆16Updated 3 years ago
- LablGL: an openGL interface for OCaml☆24Updated last year
- Compile OCaml to standalone ANSI C file☆44Updated this week
- Raw bindings to platform APIs for OCaml☆16Updated last year
- Algebraic structures in OCaml.☆25Updated last week
- 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
- A type-safe, stack-based functional programming language☆16Updated 9 months ago
- The OCaml-Canvas library provides a portable Canvas for OCaml☆60Updated last year
- Menhir polishing toolbox, for experienced druids☆36Updated last month
- A safer FFI interface for OCaml☆11Updated last year
- ☆14Updated 10 months ago
- 🐫🎮 OCaml Game Engine☆45Updated 8 months ago
- GADT-based field accessors and utilities☆17Updated last week
- TOML parsing, manipulation, and pretty-printing library for OCaml (fully 1.0.0-compliant)☆55Updated 6 months ago
- Resizable arrays with O(ᵏ√N) insertion and deletion (Tiered Vectors)☆32Updated 2 years ago
- Extism OCaml Host SDK - easily run WebAssembly modules / plugins from OCaml applications☆18Updated 11 months ago
- The official LLVM OCaml binding but built using dune☆25Updated 9 months ago
- Memthol is a visualizer for memory profiling data generated from OCaml programs.☆28Updated 3 years ago
- Just In Time compiler for OCaml native toplevel☆59Updated last year
- Convert Markdown and YAML Data to OCaml Modules☆17Updated 2 years ago
- Example URL shortener MirageOS unikernel using Chamelon.☆18Updated 3 years ago
- OCaml code for Compiler Construction course at University of Cambridge☆43Updated 4 years ago
- ☆16Updated 2 years ago
- Library for color and formatting in the terminal☆21Updated 3 years ago
- LLIR cross-language post-link optimiser for OCaml and C☆18Updated 3 years ago
- Didactic implementation of the type checker described in "Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism" writ…☆22Updated 4 years ago
- A scheduler independent blocking mechanism☆19Updated last year
- OCaml implementation of a NES Legend of Zelda-style browser-based game☆26Updated 4 years ago