kybernetikos / dancing-links
Implementing Algorithm X with Dancing Links in javascript.
☆18Updated 2 years ago
Alternatives and similar repositories for dancing-links:
Users that are interested in dancing-links are comparing it to the libraries listed below
- An interpreter of Lambda calculus written in JavaScript and working with JavaScript syntax.☆47Updated 6 years ago
- [Deprecated, prefer calcit-lang/calcit] Generated JavaScript from Cirru Syntax☆56Updated 2 months ago
- An AST Library☆49Updated 10 months ago
- An untyped lambda calculus interpreter☆12Updated last year
- A naive θ..θ programming language☆27Updated 6 years ago
- Alef Lazily Evaluates Functions☆31Updated 11 years ago
- Alternative syntax highlighting —☆424Updated 6 years ago
- Yet another python JIT.☆20Updated last year
- Purely functional data structures in Koka☆9Updated 3 years ago
- Exploration of the inner workings of Racket☆19Updated 8 years ago
- A function-oriented language with effect inference☆19Updated 10 years ago
- IODyn: A functional language for implicitly-incremental programs with dynamic input and output collections☆15Updated 6 years ago
- Lisp-style language that compiles to JavaScript☆127Updated 7 months ago
- A handy tool to help design and parse your own language☆21Updated 2 years ago
- Is an Iterator sorted?☆20Updated last year
- ☆25Updated 8 years ago
- Semantics for ES5☆81Updated 9 years ago
- Beautifier for S-expression, mainly for WAT☆11Updated 4 years ago
- A persistent, RRB-Tree based vector for Rust☆13Updated 9 months ago
- Procedural terrain generator.☆9Updated 6 years ago
- racket scheme peg-parser☆23Updated 3 years ago
- C++ immutable string library in C++11 constexpr and type-level☆18Updated 11 years ago
- Functional Template☆9Updated 8 years ago
- A high level LLVM IR AST provider for GraphEngine JIT.☆22Updated 6 years ago
- Lean ported to Javascript with Emscripten☆26Updated 7 years ago
- A compiler for higher rank ML with type classes☆13Updated 4 years ago
- functional logic solver and compiler☆26Updated 9 years ago