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
- Marpa parse engine C library -- STABLE☆99Updated 2 years ago
- BSD Licensed Bignum Library☆232Updated last year
- Parse any language you can describe in BNF☆163Updated 2 years ago
- C Unit Testing Framework☆25Updated 6 years ago
- Interactive Console for the C Programming Language☆72Updated 10 years ago
- A Tree Parser Generator☆101Updated 11 months ago
- Parser for language from Elements of Programming☆37Updated 11 years ago
- A 250 LOC heap profiler - easy to hack/port, works out of the box with dynamically linked Linux binaries☆50Updated 6 months ago
- persistent monitor (for static source code analysis, GCC based)☆60Updated last year
- arbitrary precision arithmetic library☆44Updated 6 years ago
- Libraries to write tests in C, C++ and shell☆138Updated 5 months ago
- quick c☆35Updated 3 years ago
- A clang wrapper for musl C library. Pretty hacky, I know.☆34Updated 10 years ago
- An API to provide an efficient distributed queue on a cluster. Libcircle is currently used in production to quickly traverse and perform …☆99Updated 4 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
- [ABANDONED] An extensible shell (descended from es and rc) having functional semantics and a conventional syntax.☆51Updated 4 years ago
- Continuation Passing C☆114Updated 6 years ago
- Quick C-- compiler (no longer maintained)☆160Updated 11 years ago
- Comparison of build program expressive power☆88Updated 6 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
- Generate formatted C++ from Racket S-expressions☆36Updated 9 years ago
- The CWEB System of Structured Documentation☆30Updated 9 years ago
- Clone of wc in x64 assembly☆94Updated last year
- Royal Scheme will eventually grow to be a real, usable, embeddable Scheme implemented in ANSI C.☆77Updated 12 years ago
- A C library for creating and accessing dynamic arrays with near O(log-base-256) scalability into the peta-element range☆32Updated 14 years ago
- A C compatible and C++ like programming language that focuses on extensiblilty and giving the programmer control over how high-level cons…☆30Updated 3 years ago
- Plan 9 compatible UTF-8 C library☆90Updated 6 years ago
- Jim is a small footprint Tcl interpreter, with some changes to the original language but mostly compatible.☆58Updated 15 years ago
- GCC Tiny front-end☆107Updated 8 years ago