An OCaml bytecode to LLVM compiler
☆43Mar 2, 2018Updated 7 years ago
Alternatives and similar repositories for CamllVM
Users that are interested in CamllVM are comparing it to the libraries listed below
Sorting:
- A compiler and mutation testing framework for the programming language Pascal-86☆20Sep 12, 2014Updated 11 years ago
- This is a forked version of OCaml, aimed to be compiled to WASM.☆12Aug 23, 2021Updated 4 years ago
- cranelift compatible c api's☆19Jul 30, 2024Updated last year
- Continuous Integration for MirageOS using DataKit's git workflow☆20Oct 19, 2020Updated 5 years ago
- A C99 compliant compiler☆20May 9, 2021Updated 4 years ago
- Yet another type combinator library☆55Mar 10, 2022Updated 3 years ago
- Minimalistic logic programming framework☆22Feb 9, 2020Updated 6 years ago
- Official format for time series data captured from 3D Engines.☆12May 14, 2023Updated 2 years ago
- Access large data sets in true "real time" fashion. Millisecond queries and live updates.☆29Apr 4, 2025Updated 10 months ago
- Oversimplified version of Simple-sub: without recursive types, without nested let polymorphism, and with approximated type-variable-to-ty…☆27Jun 18, 2022Updated 3 years ago
- Experimental implementation of a meta-hybrid JIT compiler mixing trace- and method-based compilation strategies.☆33May 2, 2025Updated 10 months ago
- A from-scratch neural network and transformers library, with speeds rivaling PyTorch☆10Mar 16, 2025Updated 11 months ago
- A Java version of the automatic program repair described by RSRepair and GenProg.☆11Jan 6, 2016Updated 10 years ago
- A SCADA system that uses prime for intrusion tolerance. Using PVBrowser as an HMI☆10May 27, 2015Updated 10 years ago
- Official AYON<->Kitsu intetgration (WIP)☆12Jan 27, 2026Updated last month
- Implementation of the Idemix attribute based credential scheme used in IRMA☆11Dec 11, 2024Updated last year
- LLVM Version Manager☆11Apr 21, 2017Updated 8 years ago
- Mirror only see https://gitlab.rtems.org/rtems/docs/rtems-docs/☆10Feb 21, 2026Updated last week
- Fast, efficient, private cloud store☆10Apr 6, 2017Updated 8 years ago
- Decentralized kv storage engine,support decentralized P2P networking, data synchronization and consistency between nodes.☆14Jan 4, 2026Updated last month
- A general probabilistic graphical models framework for Rust☆10May 16, 2018Updated 7 years ago
- Efficient binder representation in OCaml☆43Jul 5, 2024Updated last year
- ☆10Sep 10, 2023Updated 2 years ago
- Sandbox that demonstrates derivation of camera Log to Linear conversions, and an ACES IDT and ODT for Z-Log 2.☆10Nov 14, 2021Updated 4 years ago
- Tools for reading OpenStreetMap (OSM) data and gradually turning it into routable networks.☆13Jul 2, 2015Updated 10 years ago
- This is a translation of source code from SICP into SML/NJ.☆13Jun 2, 2010Updated 15 years ago
- Code library for .NET that supports common astronomical calculations and algorithms.☆10Sep 29, 2024Updated last year
- Codebase for the paper "MLstruct: Principal Type Inference in a Boolean Algebra of Structural Types"☆48Dec 16, 2024Updated last year
- Python 3.5+ bindings for OCaml☆59Mar 29, 2024Updated last year
- Topology library for Coq☆12Dec 24, 2015Updated 10 years ago
- Hindley-Milner with contracts☆11Dec 5, 2015Updated 10 years ago
- Schema-aware JSON compression with millisecond lookups — cut transfer/storage while enabling exists*/pos* queries. (Demo + wheels; core i…☆24Feb 21, 2026Updated last week
- ATLAS Control is a framework for building a complete monitoring, trending, reporting, and real-time tracking SCADA-type system primarily …☆10Feb 19, 2014Updated 12 years ago
- CERE: Codelet Extractor and REplayer☆40Sep 27, 2023Updated 2 years ago
- An LLVM IR Editor plugin for Eclipse☆53Jan 22, 2014Updated 12 years ago
- RISC-V port of the OCaml system☆44Sep 17, 2020Updated 5 years ago
- A toy language based on LLVM that implements the System Fω type-system☆114Aug 14, 2023Updated 2 years ago
- Tiny Teal / Lua test helper.☆22Oct 15, 2025Updated 4 months ago
- Efficient functorized iterators for OCaml.☆13Feb 23, 2018Updated 8 years ago