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: about 2 years agoLinked 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 | 85 |
 o1-labs/snarky | An OCaml front-end for writing and verifying computation protocols using R1CS SNARKs. | 498 |
 sanderspies/ocaml | A WebAssembly backend for the OCaml programming language | 79 |
 ocaml-multicore/parallel-programming-in-multicore-ocaml | A tutorial on writing parallel programs using the Multicore OCaml compiler and its libraries. | 285 |
 owlbarn/owl | A comprehensive scientific computing framework designed to provide a powerful and flexible toolset for writing concise, fast, and safe analytical code in OCaml. | 1,225 |
 upenn-cis1xx/camelot | An OCaml-based linter and style checker for OCaml code | 45 |
| 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 | Provides high-performance tools and data analysis for bioinformatics research and applications | 123 |
 ocaml-ppx/ppx_deriving | A library simplifying type-driven code generation in OCaml | 469 |
 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 |