combine
Combinatorial solver
An OCaml library for solving combinatorial problems using dancing links and other techniques
OCaml library for combinatorics
35 stars
6 watching
2 forks
Language: OCaml
last commit: 2 months ago
Linked from 1 awesome list
ocaml-community/awesome-ocamlRelated projects:
| Repository | Description | Stars |
|---|---|---|
| backtracking/ocamlgraph | A set of data structures and operations for representing and manipulating graphs in OCaml | 234 |
 cheshire/onumerical | A numerical library for OCaml providing tools for linear expressions and optimization | 8 |
 mattjbray/ocaml-decoders | A combinator library that decodes JSON-like data into OCaml types | 84 |
 o1-labs/snarky | An OCaml library for writing verifiable computations using R1CS SNARKs | 495 |
 sanderspies/ocaml | A WebAssembly backend for the OCaml programming language | 80 |
 ocaml-multicore/parallel-programming-in-multicore-ocaml | A tutorial on writing parallel programs using the Multicore OCaml compiler and its libraries. | 283 |
 owlbarn/owl | A comprehensive OCaml scientific computing framework for high-performance numerical computations and data analysis. | 1,222 |
 upenn-cis1xx/camelot | An OCaml-based linter and style checker for OCaml code | 44 |
| ocaml-multicore/multicore-talks | Repository containing slides and examples to help developers parallelize their OCaml code using the Multicore OCaml library | 29 |
 shrynx/99.re | A comprehensive collection of solutions to common problems in programming using Reason and OCaml | 110 |
 biocaml/biocaml | A high-performance OCaml library for bioinformatics tasks and data analysis. | 123 |
 ocaml-ppx/ppx_deriving | A library simplifying type-driven code generation in OCaml | 466 |
 ck090/ocaml-nn | A monadic implementation of a fully-connected neural network in OCaml with customizable hyperparameters | 5 |
 mirage/digestif | Tools for implementing various hash algorithms in multiple programming languages. | 87 |
 brendanlong/ocaml-trie | A data structure implementation for efficient approximate string matching and retrieval. | 9 |