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: 5 months ago
Linked from 1 awesome list
Related projects:
Repository | Description | Stars |
---|---|---|
| A set of data structures and operations for representing and manipulating graphs in OCaml | 234 |
| A numerical library for OCaml providing tools for linear expressions and optimization | 8 |
| A combinator library that decodes JSON-like data into OCaml types | 85 |
| An OCaml front-end for writing and verifying computation protocols using R1CS SNARKs. | 498 |
| A WebAssembly backend for the OCaml programming language | 79 |
| A tutorial on writing parallel programs using the Multicore OCaml compiler and its libraries. | 285 |
| 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 |
| An OCaml-based linter and style checker for OCaml code | 45 |
| Repository containing slides and examples to help developers parallelize their OCaml code using the Multicore OCaml library | 29 |
| A comprehensive collection of solutions to common problems in programming using Reason and OCaml | 110 |
| Provides high-performance tools and data analysis for bioinformatics research and applications | 123 |
| A library simplifying type-driven code generation in OCaml | 469 |
| A monadic implementation of a fully-connected neural network in OCaml with customizable hyperparameters | 5 |
| Tools for implementing various hash algorithms in multiple programming languages. | 87 |
| A data structure implementation for efficient approximate string matching and retrieval. | 9 |