A tool for solving the satisfiability and validity problems for modal fixpoint logics.
☆11Oct 11, 2025Updated last year
Alternatives and similar repositories for mlsolver
Users that are interested in mlsolver are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆17Jan 4, 2021Updated 5 years ago
- A Constraint Solver☆11Dec 4, 2015Updated 10 years ago
- Phoenix (Elixir) like channels for Dream (Ocaml)☆15Jul 20, 2021Updated 5 years ago
- CUID generator for OCaml.☆18May 7, 2022Updated 4 years ago
- Interleaved client/server code extraction☆12Jan 30, 2022Updated 4 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- thread-local storage for OCaml☆17Jan 13, 2025Updated last year
- Javascript toplevel worker☆15Feb 5, 2026Updated 8 months ago
- ☆15Dec 11, 2020Updated 5 years ago
- Utilities methods for interacting with Htmx in Dream☆17Aug 7, 2022Updated 4 years ago
- A Commitment Scheme library for Coin Flipping/Tossing algorithms and sort.☆11Apr 12, 2023Updated 3 years ago
- Benchmarks for different streaming models: iterators, generators, sequences, transducers, etc.☆16Aug 15, 2022Updated 4 years ago
- HTTP/1.1 client library for OCaml☆16Apr 28, 2020Updated 6 years ago
- A client side load balancing library for ocaml☆18Aug 11, 2018Updated 8 years ago
- an ocaml package to generate ULIDs☆20Jan 2, 2019Updated 7 years ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- Applied Symbolic Execution with KLEE/LLVM☆24Jun 7, 2013Updated 13 years ago
- A splay tree implementation.☆13Jul 10, 2026Updated 3 months ago
- A port of Eric Lippert's flathead Z-machine interpreter to MirageOS☆10Sep 27, 2019Updated 7 years ago
- The Ray Tracer Challenge book solutions in Ocaml☆13Mar 23, 2021Updated 5 years ago
- A simple app to test out irmin and dream☆18Oct 18, 2025Updated 11 months ago
- HTML generation combinators for OCaml☆22Aug 13, 2026Updated 2 months ago
- Symbolic logic expressions☆16Jul 1, 2020Updated 6 years ago
- Painless micro-benchmarks☆21Mar 6, 2019Updated 7 years ago
- Unit test framework compatible with js_of_ocaml☆17Jul 3, 2021Updated 5 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- ELVE : ELVE Logic Visualization Engine☆11Jul 2, 2017Updated 9 years ago
- Js_of_ocaml bindings for MithrilJS☆18Jan 23, 2021Updated 5 years ago
- Ruby client for the Posterous API☆23May 4, 2016Updated 10 years ago
- Functional reactive programming with incremental changes in data structures☆52Sep 26, 2026Updated 3 weeks ago
- ☆16Aug 2, 2023Updated 3 years ago
- Streamlined and natural concurrency model for OCaml☆49Aug 14, 2026Updated 2 months ago
- collect activity and format as markdown for a journal☆18Sep 2, 2021Updated 5 years ago
- [DEPRECATED (use avro-simple)] Runtime library and schema compiler for the Avro serialization format.☆21Jul 7, 2026Updated 3 months ago
- relation query language, with typed embedding into OCaml☆16Feb 23, 2025Updated last year
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Race detection in OCaml using the ThreadSanitizer runtime analysis.☆21Feb 6, 2025Updated last year
- 🔙 Backward lists for OCaml☆21Jun 19, 2026Updated 3 months ago
- HoTT group project to TeXify Cartmell's PhD thesis “Generalised Algebraic Theories and Contextual Categories”☆17Jan 6, 2026Updated 9 months ago
- Verified decision procedures for modal logics in Lean☆13Jun 13, 2020Updated 6 years ago
- A traceable distributed computation framework☆23Oct 8, 2019Updated 7 years ago
- Lightweight Smalltalk based development platform.☆17Sep 30, 2019Updated 7 years ago
- Simple, in-memory, monomorphic and heterogeneous search indexes in OCaml☆25Jan 11, 2023Updated 3 years ago