Buroni / automata-golf
A domain-specific language (DSL) for parsing regular, context-free and recursively enumerable languages.
☆15Updated last year
Related projects ⓘ
Alternatives and complementary repositories for automata-golf
- WIP stack language that uses regex for control flow☆41Updated last year
- [Early Stages] Low level functional programming language with linear types, first class inline functions, levity polymorphism and regions…☆65Updated 9 months ago
- A call-by-need statically-duck-typed language named for French mathematician Sophie Germain☆29Updated 2 weeks ago
- A general purpose statically-typed concatenative programming language.☆51Updated last year
- Programming with pure lambda calculus☆88Updated last week
- Amethyst is a systems language aimed at being simple, small, portable, and safe.☆46Updated 5 months ago
- Yet another UNIX-like argument parser for C. CC0-licensed.☆14Updated 3 weeks ago
- A constructive proof assistant for second order logic.☆32Updated last month
- BQN programming language vscode plugin (symbol input, syntax highlighting)☆22Updated last month
- The future of programming.☆70Updated 3 years ago
- A functional programming language, mirroring Erlang and Go, but with more OCaml!☆22Updated this week
- Bootstrap compiler for Firefly☆51Updated this week
- A toy functional programming language with a System F-based core calculus - Read-only mirror from sr.ht☆14Updated 8 months ago
- ☆51Updated 2 months ago
- The Egel Programming Language☆80Updated last month
- reworking quest, but faster☆11Updated last year
- A garden of small programming language implementations 🪴☆177Updated this week
- ☆27Updated 2 years ago
- Learn to code with Wipple.☆34Updated last month
- ☆38Updated 2 years ago
- The interpreter for Rhovas, a programming language for API design and enforcement.☆28Updated last month
- TinyAPL, a tiny APL dialect and interpreter in Haskell☆38Updated this week
- Staged compilation with dependent types☆163Updated last week
- Journey to the Center of the Lambda Calculus☆12Updated last year
- The Knight Programming Language☆63Updated last week
- The Curly programming language (now in Rust!)☆30Updated 3 years ago
- Minimalist RPN language that compiles to x86-64 assembly (with more backends to come).☆20Updated 2 years ago
- BCause (pronounced "because") is a compiler for the old B programming language (1969) for modern systems.☆54Updated last year
- A functional programming language with shell scripting capabilities☆91Updated 3 weeks ago