An OCaml bytecode to LLVM compiler
☆43Mar 2, 2018Updated 8 years ago
Alternatives and similar repositories for CamllVM
Users that are interested in CamllVM are comparing it to the libraries listed below
Sorting:
- This is a forked version of OCaml, aimed to be compiled to WASM.☆12Aug 23, 2021Updated 4 years ago
- A compiler and mutation testing framework for the programming language Pascal-86☆20Sep 12, 2014Updated 11 years ago
- Scheme code snippets from the book "The Seasoned Schemer", by Daniel P. Friedman and Matthias Felleisen.☆13Jun 27, 2012Updated 13 years ago
- 📖 Reason Developer Network☆20Mar 24, 2017Updated 8 years ago
- Stub code generator for OCaml/C interface☆36Feb 28, 2026Updated 3 weeks ago
- Topology library for Coq☆12Dec 24, 2015Updated 10 years ago
- Expands [%here] into its location☆14Jan 15, 2026Updated 2 months ago
- OCaml bytecode to C compiler☆103Sep 30, 2020Updated 5 years ago
- Continuous Integration for MirageOS using DataKit's git workflow☆20Oct 19, 2020Updated 5 years ago
- simple yet expressive high-level scripting language (formerly known as tisp) [MIRROR]☆27Feb 21, 2026Updated last month
- Run Unikraft ELF Loader app on Linux executables☆15Oct 19, 2023Updated 2 years ago
- CyanogenMod for Samsung Galaxy S Plus (GT-I9001)☆23Aug 30, 2015Updated 10 years ago
- A C++ implementation of quadtree☆17Jun 16, 2016Updated 9 years ago
- Quick and dirty test apps to understand how the built-in downsampling to screen resolution works on the iPhone 6 Plus.☆44Dec 19, 2014Updated 11 years ago
- A simple raytracer written in C++☆13Dec 17, 2018Updated 7 years ago
- Simple template for midsize OCaml project☆130Jan 23, 2025Updated last year
- A formalisation of Pure Type Systems☆10Dec 7, 2019Updated 6 years ago
- A simple Paxos implementation in C++☆11May 29, 2013Updated 12 years ago
- Gemini PDA Linux kernel v3.18 (for Debian/SailfishOS) - branch 'native' is built for debian package☆12Nov 24, 2023Updated 2 years ago
- Provide a reference implementation for the TTM programming language.☆10Oct 5, 2014Updated 11 years ago
- OCamlOScope 2 : OCaml API search☆43Oct 12, 2017Updated 8 years ago
- A parser and AST for Lustre☆12Oct 30, 2024Updated last year
- Detect the running environment and context of the current script☆22Mar 30, 2021Updated 4 years ago
- Nice parsers in OCaml without the boilerplate☆127May 6, 2024Updated last year
- RISC-V port of the OCaml system☆44Sep 17, 2020Updated 5 years ago
- Parsifal : an OCaml-based parsing engine☆65Jan 12, 2021Updated 5 years ago
- PEG packrat parser with direct and indirect left recursion support☆12Jun 30, 2021Updated 4 years ago
- A small event system for games☆15Feb 29, 2020Updated 6 years ago
- ☆13Jan 27, 2016Updated 10 years ago
- Code for my blog☆11Feb 26, 2017Updated 9 years ago
- Python 3.5+ bindings for OCaml☆59Mar 29, 2024Updated last year
- A toy language based on LLVM that implements the System Fω type-system☆114Aug 14, 2023Updated 2 years ago
- OCaml implementation of MySQL/MariaDB protocol with the Bitstring library☆14Apr 12, 2022Updated 3 years ago
- LALR1 C++ parser generator from BNF grammar (just copy-n-paste BNF grammar from RFC and you'll get a parser)☆15Feb 26, 2014Updated 12 years ago
- Functional programming with C++11, inspired by Haskell.☆21Jun 1, 2012Updated 13 years ago
- Cross platform run loop abstraction.☆15Aug 12, 2021Updated 4 years ago
- CERE: Codelet Extractor and REplayer☆40Sep 27, 2023Updated 2 years ago
- A node api client for rooftop cms☆11Oct 24, 2016Updated 9 years ago
- cranelift compatible c api's☆19Jul 30, 2024Updated last year