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
- NumLin: Linear Types for Linear Algebra☆23Updated 2 years ago
- Owl's Differential Equation Solvers☆34Updated 3 years ago
- The Zenon theorem prover☆15Updated last year
- An OCaml interface to the Sundials suite of numeric solvers.☆26Updated 9 months ago
- First-order automated theorem prover based on the tableau method☆15Updated 4 months 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
- [wip]…Low level bindigs to the GR plotting framework (gr-framework.org)☆14Updated 3 years ago
- String searching with errors, using the Wu-Manber algorithm☆23Updated 3 months ago
- Multinomials for the Mathematical Components library.☆14Updated last week
- ARCHIVED. [@@deriving] plugin to generate Python conversion functions☆34Updated 5 months ago
- [research] A modular SMT solver in OCaml, based on mcSAT☆39Updated last year
- Generate a webpage with mathematical formulae, OCaml output and graphics from markdown☆16Updated 2 years ago
- ocaml multi-armed bandit module☆19Updated 4 years ago
- A simple and portable floating-point interval arithmetic library in OCaml☆10Updated 2 years ago
- Data visualization and plotting for OCaml☆19Updated 7 years ago
- Scrap Your Boilerplate for MetaOCaml with modular implicits☆18Updated 9 years ago
- Stand-alone programs for numerical analysis in OCaml☆47Updated 9 years ago
- Complete, typesafe representation of Vega-Lite in OCaml☆10Updated 7 years ago
- Prototype code for some Julia-OCaml bindings☆15Updated 4 years ago
- A tool to index your papers/interesting links/... and quickly search through them☆49Updated 3 years ago
- ☆16Updated 6 years ago
- Implementations of common streaming abstractions in OCaml.☆14Updated 8 years ago
- A library for probabilistic programming☆16Updated 3 months ago
- Owl's OCaml Interface to Eigen3 C++ Library☆33Updated 2 years ago
- Examples to illustrate the use of experimental OCaml macros☆12Updated 7 years ago
- An OCaml clustering library☆20Updated 4 years ago
- A PPX extension for big array literals in OCaml☆20Updated 6 years ago
- A library implementing a simplex algorithm, in a functional style, for solving systems of linear inequalities☆14Updated 4 months ago
- An implementation of the Chord lookup protocol verified in Coq using the Verdi framework☆10Updated 6 years ago