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: 4 months ago
Linked from 1 awesome list
Related 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 |