AIFAD - Automated Induction of Functions over Algebraic Data Types
☆30Aug 11, 2026Updated 2 months ago
Alternatives and similar repositories for aifad
Users that are interested in aifad are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Complete, typesafe representation of Vega-Lite in OCaml☆10Nov 13, 2017Updated 8 years ago
- Library for manipulating ISO images☆13Jun 28, 2019Updated 7 years ago
- OCaml implementation of sets as hash tables by Jean-Christophe Filliatre☆11Feb 13, 2025Updated last year
- OCaml library to work with DWARF format☆39Dec 1, 2025Updated 10 months ago
- A tool for keeping a personal log☆16Jan 1, 2025Updated last year
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- A PPX syntax extension for the OCaml programming language. Adds a compile-time "if" statement.☆21Nov 20, 2020Updated 5 years ago
- DEPRECATED: Compile Time Reflection or Metaprogramming for OCaml☆16Apr 21, 2024Updated 2 years ago
- Password based key derivation functions from PKCS#5, RFC 2898☆21Jul 15, 2024Updated 2 years ago
- OCaml library for building clients and servers that communicate using the Redis Serialization Protocol☆13Nov 6, 2021Updated 4 years ago
- A port of Eric Lippert's flathead Z-machine interpreter to MirageOS☆10Sep 27, 2019Updated 7 years ago
- DKIM support on e-mail☆11Oct 9, 2026Updated last week
- Elliptic Curve Diffie-Hellman on Edwards Curves (X25519, X448)☆11Oct 30, 2020Updated 5 years ago
- A distributed Continuous Integration engine for opam packages☆18Jan 30, 2022Updated 4 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 13 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- OCaml library for resizable arrays and strings☆26Jun 23, 2026Updated 3 months ago
- Dynamic loader for OCaml☆14Dec 11, 2009Updated 16 years ago
- a distributed computing library for OCaml☆25Jan 19, 2024Updated 2 years ago
- ☆23May 25, 2025Updated last year
- Unicode text for OCaml☆14Feb 19, 2018Updated 8 years ago
- Data visualization and plotting for OCaml☆19Nov 28, 2017Updated 8 years ago
- Algorithms and datastructures for phylogenetics☆14Dec 24, 2025Updated 9 months ago
- Pure OCaml implementation of the "vchan" shared-memory communication protocol☆45Mar 6, 2025Updated last year
- Probabilistic data structures for OCaml☆39Jan 26, 2018Updated 8 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- SOCKS4a and SOCKS5 (RFC 1928; RFC 1929) handling for ocaml clients and servers☆20Jul 9, 2023Updated 3 years ago
- Library for doing GPR (Gaussian Process Regression) in OCaml. Comes with a command line application.☆47Jun 23, 2026Updated 3 months ago
- Lazy prefix trees in OCaml☆22Jan 22, 2020Updated 6 years ago
- Deriving morphisms for OCaml data structures☆11Aug 28, 2019Updated 7 years ago
- Finite lazy enumerators in OCaml☆21Oct 19, 2018Updated 7 years ago
- [beta] persistent memoization of computations, e.g. for repeatable tests and benchmarks☆17Apr 7, 2026Updated 6 months ago
- Experimental opam plugin☆22Jul 21, 2026Updated 2 months ago
- OCaml Password Safe☆15May 17, 2022Updated 4 years ago
- ☆15Aug 16, 2020Updated 6 years ago
- 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.
- Fast vectorized bitarrays for OCaml☆16Jul 11, 2023Updated 3 years ago
- Mirage OS bindings for ESP32☆28Oct 3, 2019Updated 7 years ago
- A simple tool and library to embed files and directories inside an OCaml executables☆20Apr 11, 2022Updated 4 years ago
- The Noise Protocol Framework, with types☆26Dec 8, 2021Updated 4 years ago
- Result value combinators for OCaml☆36Aug 13, 2026Updated 2 months ago
- Basic password manager library and command-line application in OCaml☆12Mar 14, 2018Updated 8 years ago
- WiP: RFC 4880 (OpenPGP) library and utilities in OCaml☆24Oct 1, 2018Updated 8 years ago