combine
by backtracking
OCaml library for combinatorics
AI summary
Combinatorial solver
An OCaml library for solving combinatorial problems using dancing links and other techniques
- stars
- 35
- forks
- 2
- watching
- 6
- awesome list
- 1
Similar projects
Found by comparing what the projects do, not just their names.
Graph library
A set of data structures and operations for representing and manipulating graphs in OCaml
Linear expression solver
A numerical library for OCaml providing tools for linear expressions and optimization
JSON decoder library
A combinator library that decodes JSON-like data into OCaml types
SNARK compiler
An OCaml front-end for writing and verifying computation protocols using R1CS SNARKs.
OCaml compiler
A WebAssembly backend for the OCaml programming language
Multicore Compiler
A tutorial on writing parallel programs using the Multicore OCaml compiler and its libraries.
owlbarn/owl1.2K
Computing toolkit
A comprehensive scientific computing framework designed to provide a powerful and flexible toolset for writing concise, fast, and safe analytical code in OCaml.
Code linting tool
An OCaml-based linter and style checker for OCaml code
Parallelization toolset
Repository containing slides and examples to help developers parallelize their OCaml code using the Multicore OCaml library
shrynx/99.re110
Problem solver library
A comprehensive collection of solutions to common problems in programming using Reason and OCaml
Bioinformatics toolkit
Provides high-performance tools and data analysis for bioinformatics research and applications
Code generator
A library simplifying type-driven code generation in OCaml
Neural Network Library
A monadic implementation of a fully-connected neural network in OCaml with customizable hyperparameters
Hash algorithm toolkit
Tools for implementing various hash algorithms in multiple programming languages.
trie library
A data structure implementation for efficient approximate string matching and retrieval.
Featured in 1 awesome list
Each link jumps to the spot where the list mentions combine.
