zaxtax / ocaml-clustering
Collection of clustering algorithms written in Ocaml
☆19Updated 16 years ago
Alternatives and similar repositories for ocaml-clustering:
Users that are interested in ocaml-clustering are comparing it to the libraries listed below
- A new language for optimization☆13Updated 3 years ago
- Data visualization and plotting for OCaml☆19Updated 7 years ago
- An OCaml interface to the Sundials suite of numeric solvers.☆26Updated 9 months ago
- NumLin: Linear Types for Linear Algebra☆23Updated 2 years ago
- Coq library and tactic for deciding Kleene algebras [maintainer=@tchajed]☆23Updated 5 months ago
- First-order automated theorem prover based on the tableau method☆14Updated 4 months ago
- A simple and portable floating-point interval arithmetic library in OCaml☆10Updated 2 years ago
- A PPX extension for big array literals in OCaml☆20Updated 6 years ago
- Multinomials for the Mathematical Components library.☆14Updated last month
- Owl's Differential Equation Solvers☆34Updated 3 years ago
- An exact real arithmetic (aka constructive reals) for OCaml☆13Updated 9 months ago
- Complete, typesafe representation of Vega-Lite in OCaml☆10Updated 7 years ago
- ocaml multi-armed bandit module☆19Updated 4 years ago
- A proof-producing SMT/McSat solver, handling polymorphic first-order logic, and using an SMT/McSat core extended using Tableaux, Superpos…☆27Updated last year
- Scrap Your Boilerplate for MetaOCaml with modular implicits☆18Updated 9 years ago
- A termination checker for higher-order rewriting with dependent types☆10Updated 4 years ago
- The Zenon theorem prover☆15Updated last year
- Combinatorial species in HoTT☆12Updated 9 years ago
- Course Website for CS6225: Programs and Proofs @ IIT Madras☆11Updated 3 years ago
- A formalization of bitset operations in Coq and the corresponding axiomatization and extraction to OCaml native integers [maintainer=@ant…☆23Updated last month
- Implementations of common streaming abstractions in OCaml.☆14Updated 8 years ago
- String searching with errors, using the Wu-Manber algorithm☆23Updated 2 months ago
- A library implementing a simplex algorithm, in a functional style, for solving systems of linear inequalities☆14Updated 3 months ago
- [research] A modular SMT solver in OCaml, based on mcSAT☆39Updated last year
- Prototype code for some Julia-OCaml bindings☆15Updated 4 years ago
- A repository of MetaOCaml packages☆12Updated last year
- An OCaml clustering library☆20Updated 3 years ago
- ☆31Updated 10 years ago
- ☆16Updated 6 years ago
- nanomsg bindings for ocaml☆38Updated 4 years ago