blynn / dlxLinks
Library that solves the exact cover problem using Dancing Links, also known as DLX.
☆50Updated 3 years ago
Alternatives and similar repositories for dlx
Users that are interested in dlx are comparing it to the libraries listed below
Sorting:
- C Unit Testing Framework☆25Updated 6 years ago
- arbitrary precision arithmetic library☆44Updated 7 years ago
- Fast interpreter with macros, local type inference, LLVM backend.☆164Updated 7 years ago
- A Tree Parser Generator☆101Updated last year
- BSD Licensed Bignum Library☆232Updated last year
- Parser for language from Elements of Programming☆38Updated 12 years ago
- Marpa parse engine C library -- STABLE☆99Updated 2 years ago
- quick c☆35Updated 3 years ago
- A modified version of Henry Spencer's BSD regular expression library. The original version is in the regex repository.☆25Updated 3 years ago
- Speed tables is a high-performance memory-resident database. The speed table compiler reads a table definition and generates a set of C a…☆68Updated 3 years ago
- Interactive Console for the C Programming Language☆72Updated 10 years ago
- My copy of FLINT -- please use https://github.com/flintlib/flint/ for development☆82Updated this week
- persistent monitor (for static source code analysis, GCC based)☆61Updated last year
- Literate Programming in C/C++☆36Updated last week
- Perplex, Lemon, and Re2c: A cross-platform lexer/parser replacement for flex and bison☆30Updated 10 years ago
- [ABANDONED] An extensible shell (descended from es and rc) having functional semantics and a conventional syntax.☆51Updated 4 years ago
- Universal Number Library☆44Updated 7 years ago
- Libraries to write tests in C, C++ and shell☆140Updated last month
- Parse any language you can describe in BNF☆163Updated 2 years ago
- A simple library to provide RAII in standard-compliant C99, using raii_with(resource, initializer, destructor) { ... }-syntax:☆43Updated 7 years ago
- David M. Gay's floating-point conversion library☆35Updated 15 years ago
- MMIX 2009 – a RISC computer for the third millennium☆44Updated last week
- The CWEB System of Structured Documentation☆30Updated 10 years ago
- ♥ Janusz Brzozowski☆162Updated last year
- pacc: a compiler-compiler☆37Updated 9 years ago
- GCC Tiny front-end☆107Updated 8 years ago
- A 250 LOC heap profiler - easy to hack/port, works out of the box with dynamically linked Linux binaries☆49Updated 8 months ago
- Royal Scheme will eventually grow to be a real, usable, embeddable Scheme implemented in ANSI C.☆77Updated 13 years ago
- An API to provide an efficient distributed queue on a cluster. Libcircle is currently used in production to quickly traverse and perform …☆98Updated 5 years ago
- Benchmarks of the longest path problem in various languages☆155Updated 6 years ago