leegao / RegexEnumerator
Combinatorial tricks to enumerate regular expressions in closed-form.
☆33Updated 7 years ago
Related projects: ⓘ
- A minimalist type-inferred programming language with procedural macro support☆135Updated 3 years ago
- Compute excellent numbers☆9Updated 4 months ago
- Book lucid interpreter written in python☆24Updated 5 years ago
- Some fun examples of solving problems with symbolic execution☆109Updated 6 years ago
- Purely algorithmic number sequence identification☆26Updated 2 years ago
- Program to compile Brainfuk to a working i686 kernel.☆31Updated 9 years ago
- Incremental regular expression matching☆53Updated 11 years ago
- a syntax directed editor☆17Updated 5 months ago
- ☆58Updated 10 years ago
- A Python 3 compiler that anyone can understand.☆68Updated 10 years ago
- An Interpreter for Extended Relational Algebra (Scheme based)☆85Updated 7 years ago
- A fragmentary bidirectional type system as a Python library☆53Updated 5 years ago
- Chart parser (Earley SPPF)☆26Updated 5 years ago
- A terse declarative logic programming language☆117Updated 4 years ago
- Collapsing Towers of Interpreters☆87Updated 7 months ago
- A programming language based on a 2D Hilbert curve grid☆88Updated last year
- Logic for story telling!☆29Updated 6 years ago
- A concise programming language that is fun to use☆16Updated 8 years ago
- A visual Mandelbrot set explorer written in J☆11Updated 3 years ago
- Schrödinger's Tcl☆30Updated 9 years ago
- interesting solutions to project euler problems☆83Updated 8 years ago
- Brainfuck with Actors☆35Updated 5 years ago
- LVC verified compiler☆57Updated 5 years ago
- OCaml implementation of the K 2.0 array programming language☆80Updated 8 years ago
- adds an optional type system to J language☆21Updated 8 years ago
- MLton with Realtime GC and Threading features☆102Updated 6 months ago
- A virtual machine for Monte.☆67Updated 5 months ago
- Lojban ologs (categorical databases) using jq☆23Updated 5 years ago
- Julia Implementation of Unums☆42Updated 7 years ago
- surgical precision JIT compilers☆120Updated 7 years ago