leegao / RegexEnumerator
Combinatorial tricks to enumerate regular expressions in closed-form.
☆33Updated 8 years ago
Alternatives and similar repositories for RegexEnumerator:
Users that are interested in RegexEnumerator are comparing it to the libraries listed below
- Haskell re-implementation of STOKE, the stochastic superoptimizer☆64Updated 5 years ago
- Compute excellent numbers☆9Updated 8 months ago
- A minimalist type-inferred programming language with procedural macro support☆135Updated 4 years ago
- A programming language based on a 2D Hilbert curve grid☆89Updated 2 years ago
- The Kleenex programming language☆54Updated 3 months ago
- Symbolic execution engine for toy language.☆51Updated 6 years ago
- A visual Mandelbrot set explorer written in J☆11Updated 4 years ago
- Book lucid interpreter written in python☆24Updated 5 years ago
- LVC verified compiler☆57Updated 6 years ago
- "C of Game of Life" is a higher-level language for use with the Game of Life processor.☆77Updated 5 years ago
- Incremental regular expression matching☆53Updated 12 years ago
- You can't do that! Can you?☆22Updated 8 years ago
- An Interpreter for Extended Relational Algebra (Scheme based)☆85Updated 8 years ago
- Collapsing Towers of Interpreters☆86Updated 11 months ago
- A web application to visualize complex mappings.☆30Updated 8 years ago
- An Experiment in Haskell Symbolic Algebra☆72Updated 12 years ago
- Dependently-typed language with Iverson-style implicit lifting☆121Updated 4 years ago
- Advent of Code 2018, in Coq! (https://adventofcode.com/2018)☆140Updated 5 years ago
- Beautiful, interactive visualizations of logical inference☆150Updated 3 years ago
- An exploration of code homeomorphism☆34Updated 6 years ago
- Julia Implementation of Unums☆42Updated 7 years ago
- A Pascal to LLVM compiler in Haskell☆126Updated 5 years ago
- APL compiler written in Standard ML☆35Updated 3 years ago
- Simple Neural Network Examples in 8 lines APL☆30Updated last year
- MLton with Realtime GC and Threading features☆103Updated 10 months ago
- A programming language.☆20Updated 7 years ago
- ☆58Updated 10 years ago
- Logic for story telling!☆32Updated 6 years ago
- 📖 A collection of analyses, tutorials, walkthroughs and literate implementations of moderately complex standalone applications☆60Updated 3 years ago