zaxtax / ocaml-clusteringLinks
Collection of clustering algorithms written in Ocaml
☆19Updated 17 years ago
Alternatives and similar repositories for ocaml-clustering
Users that are interested in ocaml-clustering are comparing it to the libraries listed below
Sorting:
- An OCaml interface to the Sundials suite of numeric solvers.☆26Updated 3 months ago
- Prototype code for some Julia-OCaml bindings☆16Updated 4 years ago
- A simple and portable floating-point interval arithmetic library in OCaml☆10Updated 3 years ago
- A library implementing a simplex algorithm, in a functional style, for solving systems of linear inequalities☆16Updated last year
- Stand-alone programs for numerical analysis in OCaml☆46Updated 10 years ago
- An OCaml clustering library☆20Updated 4 years ago
- QUICr parametric abstract domain for sets☆12Updated 10 years ago
- An exact real arithmetic (aka constructive reals) for OCaml☆13Updated last year
- An interval library for OCaml☆16Updated 3 years ago
- A simple BDD library for OCaml☆13Updated 6 months ago
- Multinomials for the Mathematical Components library.☆16Updated last month
- Data visualization and plotting for OCaml☆19Updated 8 years ago
- The Stream and Genlex libraries for use with Camlp4 and Camlp5☆16Updated 2 months ago
- OCaml bytecode library tools☆33Updated 3 years ago
- A proof-producing SMT/McSat solver, handling polymorphic first-order logic, and using an SMT/McSat core extended using Tableaux, Superpos…☆27Updated 2 years ago
- A Formal Library about Elliptic Curves for the Mathematical Components Library.☆15Updated 4 years ago
- Complete, typesafe representation of Vega-Lite in OCaml☆10Updated 8 years ago
- The sparkling monad library☆13Updated 9 years ago
- Implementations of common streaming abstractions in OCaml.☆12Updated 9 years ago
- [research] A modular SMT solver in OCaml, based on mcSAT☆39Updated last year
- ☆31Updated 11 years ago
- Fast vectorized bitarrays for OCaml☆16Updated 2 years ago
- Mathematical plotting library for ocaml☆41Updated last month
- Simple OCaml interface for Gnuplot☆11Updated 4 years ago
- Foundational Verification of Hybrid Systems☆15Updated 8 years ago
- Automatic Differentiation: FADBAD++ for OCaml☆14Updated 5 years ago
- Dynamic loader for OCaml☆14Updated 16 years ago
- A not-quite-so-simple Binary Decision Diagrams implementation for OCaml☆37Updated 3 years ago
- A tool for keeping a personal log☆16Updated 11 months ago
- Library to provide session types to allow for static verification of protocols between concurrent computations.☆17Updated 8 years ago