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:
- Fast interpreter with macros, local type inference, LLVM backend.☆163Updated 7 years ago
- BSD Licensed Bignum Library☆232Updated last year
- Interactive Console for the C Programming Language☆72Updated 10 years ago
- arbitrary precision arithmetic library☆44Updated 6 years ago
- An API to provide an efficient distributed queue on a cluster. Libcircle is currently used in production to quickly traverse and perform …☆97Updated 5 years ago
- C Unit Testing Framework☆25Updated 6 years ago
- Marpa parse engine C library -- STABLE☆99Updated 2 years ago
- An arbitrary precision library written in C which supports fractional datum. Arbitraire is fully portable to all linux, mac and netbsd/fr…☆17Updated 2 years ago
- A Tree Parser Generator☆101Updated last year
- Libraries to write tests in C, C++ and shell☆137Updated 3 weeks ago
- Literate Programming in C/C++☆36Updated 3 months ago
- persistent monitor (for static source code analysis, GCC based)☆61Updated last year
- Continuation Passing C☆115Updated 6 years ago
- quick c☆35Updated 3 years ago
- a C read-eval-print loop (abandoned)☆209Updated 5 years ago
- Perplex, Lemon, and Re2c: A cross-platform lexer/parser replacement for flex and bison☆30Updated 10 years ago
- MMIX 2009 – a RISC computer for the third millennium☆43Updated this week
- Computer calculations made easy☆138Updated last year
- A 250 LOC heap profiler - easy to hack/port, works out of the box with dynamically linked Linux binaries☆49Updated 7 months ago
- Standalone ASDL parser for upstream CPython 3.x☆63Updated 7 years ago
- A simple library to provide RAII in standard-compliant C99, using raii_with(resource, initializer, destructor) { ... }-syntax:☆43Updated 7 years ago
- Parser for language from Elements of Programming☆38Updated 12 years ago
- Quick C-- compiler (no longer maintained)☆163Updated 11 years ago
- Parse any language you can describe in BNF☆163Updated 2 years ago
- JIT compiler of scheme☆15Updated 14 years ago
- A dynamically safe implementation of C, using your existing C compiler. Tolerates idiomatic C code pretty well. Not perfect... yet.☆105Updated last year
- ACOVEA (Analysis of Compiler Options via Evolutionary Algorithm) implements a genetic algorithm to find the "best" options for compiling …☆75Updated 7 years ago
- Kernighan's Awk a.k.a. "One True Awk"☆56Updated 9 years ago
- code accompanying a blog post about fuzzing a red-black tree implementation: http://blog.regehr.org/archives/896☆18Updated 6 years ago
- Prover9 is an automated theorem prover for first-order and equational logic, and Mace4 searches for finite models and counterexamples.☆16Updated 7 years ago