combine

Combinatorial solver

An OCaml library for solving combinatorial problems using dancing links and other techniques

OCaml library for combinatorics

GitHub

35 stars
6 watching
2 forks
Language: OCaml
last commit: 4 months ago
Linked from 1 awesome list


Backlinks from these awesome lists:

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