FaCiLe a constraint programming library on integer and integer set finite domains written in OCaml
☆14Feb 27, 2024Updated 2 years ago
Alternatives and similar repositories for facile
Users that are interested in facile are comparing it to the libraries listed below
Sorting:
- Fast vectorized bitarrays for OCaml☆16Jul 11, 2023Updated 2 years ago
- The Stream and Genlex libraries for use with Camlp4 and Camlp5☆16Oct 14, 2025Updated 4 months ago
- Configurable Cloudy Batch Scheduler☆16Sep 27, 2017Updated 8 years ago
- A simple implementation of Discrete Interval Encoding Trees☆28Apr 16, 2022Updated 3 years ago
- Bindings to the `cuda` and `nvrtc` libraries with a unified interface☆21Aug 19, 2025Updated 6 months ago
- DEPRECATED: Compile Time Reflection or Metaprogramming for OCaml☆16Apr 21, 2024Updated last year
- Cash is a Unix shell that is embedded within Objective Caml. It's a Caml implementation of (an as large as possible subset of) the API of…☆11Sep 7, 2013Updated 12 years ago
- thread-local storage for OCaml☆17Jan 13, 2025Updated last year
- OCaml bindings for the Integer Set Library.☆13Jun 12, 2014Updated 11 years ago
- OCaml bindings to the number theory library PARI/GP☆12Jan 11, 2025Updated last year
- A simple command line tool for statistical calculation☆10May 12, 2018Updated 7 years ago
- OCaml library for building clients and servers that communicate using the Redis Serialization Protocol☆12Nov 6, 2021Updated 4 years ago
- The legacy CamlDBM library for accessing NDBM/GDBM database files☆12Jul 11, 2024Updated last year
- Simple, in-memory, monomorphic and heterogeneous search indexes in OCaml☆25Jan 11, 2023Updated 3 years ago
- Complete, typesafe representation of Vega-Lite in OCaml☆10Nov 13, 2017Updated 8 years ago
- A demonstration of Ocaml modules & functors for machine learning.☆11Jun 27, 2015Updated 10 years ago
- RISC-V OCaml cross compiler☆14Feb 25, 2019Updated 7 years ago
- Z-Pool-Tool☆17Feb 23, 2026Updated last week
- LLVM JIT Cycle Accurate Simulator for HardCaml☆13May 21, 2017Updated 8 years ago
- Vantage point tree implementation in OCaml☆19Apr 22, 2025Updated 10 months ago
- OCaml client library for the Tor control port [abandoned]☆10May 1, 2017Updated 8 years ago
- Automatic Differentiation: FADBAD++ for OCaml☆14Oct 26, 2020Updated 5 years ago
- Triangular mesh generation and manipulation☆13Jul 3, 2021Updated 4 years ago
- [alpha] lightweight fiber library for OCaml 5☆16Nov 5, 2024Updated last year
- OCaml implementation of sets as hash tables by Jean-Christophe Filliatre☆10Feb 13, 2025Updated last year
- Binding to CRlibm☆14Jul 25, 2023Updated 2 years ago
- Event-based simulation of elastic collisions between balls☆14May 27, 2020Updated 5 years ago
- QUICr parametric abstract domain for sets☆12Jul 2, 2015Updated 10 years ago
- An example project to demonstrate https://github.com/rvantonder/hack-parallel☆13May 18, 2020Updated 5 years ago
- Minimalistic logic programming framework☆22Feb 9, 2020Updated 6 years ago
- Media processing pipeline proof of concept using bucklescript and serverless☆12May 16, 2018Updated 7 years ago
- Documenting how OCaml libraries are managed☆11Oct 4, 2019Updated 6 years ago
- DEPRECATED: Abstraction over Stdlib, Lwt, and Async.☆26Jun 5, 2017Updated 8 years ago
- Datatype-generic object-oriented transformations for OCaml☆17Nov 16, 2025Updated 3 months ago
- Map à la Binary Radix Tree☆19Mar 10, 2022Updated 3 years ago
- Algorithms and datastructures for phylogenetics☆14Dec 24, 2025Updated 2 months ago
- bindings to gnuplot (fork of https://bitbucket.org/ogu/gnuplot-ocaml/)☆13May 6, 2024Updated last year
- A tail-recursive list map with good performance for all list sizes. Not actually written in assembly.☆13Sep 23, 2021Updated 4 years ago
- An OCaml EDSL for describing and solving strategic games☆17Sep 10, 2023Updated 2 years ago