FaCiLe a constraint programming library on integer and integer set finite domains written in OCaml
☆15Feb 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
- A simple implementation of Discrete Interval Encoding Trees☆28Apr 16, 2022Updated 3 years ago
- The Stream and Genlex libraries for use with Camlp4 and Camlp5☆16Oct 14, 2025Updated 5 months ago
- Configurable Cloudy Batch Scheduler☆16Sep 27, 2017Updated 8 years ago
- OCaml library for resizable arrays and strings☆26Nov 28, 2025Updated 3 months ago
- Vantage point tree implementation in OCaml☆19Apr 22, 2025Updated 11 months ago
- DEPRECATED: Compile Time Reflection or Metaprogramming for OCaml☆16Apr 21, 2024Updated last year
- Media processing pipeline proof of concept using bucklescript and serverless☆12May 16, 2018Updated 7 years ago
- Generate a webpage with mathematical formulae, OCaml output and graphics from markdown☆16Aug 28, 2022Updated 3 years ago
- RISC-V OCaml cross compiler☆14Feb 25, 2019Updated 7 years ago
- Bindings to the `cuda` and `nvrtc` libraries with a unified interface☆21Aug 19, 2025Updated 7 months ago
- a distributed computing library for OCaml☆24Jan 19, 2024Updated 2 years ago
- LINQ-like combinators for manipulating collections of in-memory data☆16Sep 21, 2020Updated 5 years ago
- A tail-recursive list map with good performance for all list sizes. Not actually written in assembly.☆13Sep 23, 2021Updated 4 years ago
- Tool to convert OASIS metadata to OPAM package descriptions☆27Oct 28, 2017Updated 8 years ago
- 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
- DEPRECATED: Abstraction over Stdlib, Lwt, and Async.☆26Jun 5, 2017Updated 8 years ago
- Minimalistic logic programming framework☆22Feb 9, 2020Updated 6 years ago
- Ocamlbuild helpers for C stubs☆11Oct 24, 2018Updated 7 years ago
- A simple command line tool for statistical calculation☆10May 12, 2018Updated 7 years ago
- Complete, typesafe representation of Vega-Lite in OCaml☆10Nov 13, 2017Updated 8 years ago
- Algorithms and datastructures for phylogenetics☆14Dec 24, 2025Updated 2 months ago
- OCaml implementation of sets as hash tables by Jean-Christophe Filliatre☆10Feb 13, 2025Updated last year
- 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
- A demonstration of Ocaml modules & functors for machine learning.☆11Jun 27, 2015Updated 10 years ago
- Documenting how OCaml libraries are managed☆11Oct 4, 2019Updated 6 years ago
- A buffer implementation optimized for immutable strings.☆14Feb 5, 2016Updated 10 years ago
- LLVM JIT Cycle Accurate Simulator for HardCaml☆13May 21, 2017Updated 8 years ago
- Simple, in-memory, monomorphic and heterogeneous search indexes in OCaml☆25Jan 11, 2023Updated 3 years ago
- Simple OCaml interface for Gnuplot☆11Oct 6, 2021Updated 4 years ago
- An example project to demonstrate https://github.com/rvantonder/hack-parallel☆13May 18, 2020Updated 5 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
- Event-based simulation of elastic collisions between balls☆14May 27, 2020Updated 5 years ago
- Easy Cmdliner☆13Jan 12, 2026Updated 2 months ago
- Datatype-generic object-oriented transformations for OCaml☆17Nov 16, 2025Updated 4 months ago
- OCaml bindings for jech/dht☆24Jun 16, 2020Updated 5 years ago
- [alpha] lightweight fiber library for OCaml 5☆16Nov 5, 2024Updated last year