Buroni / automata-golf
A domain-specific language (DSL) for parsing regular, context-free and recursively enumerable languages.
☆15Updated last year
Alternatives and similar repositories for automata-golf:
Users that are interested in automata-golf are comparing it to the libraries listed below
- WIP stack language that uses regex for control flow☆42Updated last year
- A general purpose statically-typed concatenative programming language.☆53Updated last year
- A call-by-need statically-duck-typed language named for French mathematician Sophie Germain☆31Updated last month
- Programming with pure lambda calculus☆99Updated last week
- [Early Stages] Low level functional programming language with linear types, first class inline functions, levity polymorphism and regions…☆62Updated last year
- Amethyst is a systems language aimed at being simple, small, portable, and safe.☆45Updated 9 months ago
- A tiny lazy objective functional language☆16Updated 5 months ago
- The future of programming.☆69Updated 3 years ago
- A toy functional programming language with a System F-based core calculus - Read-only mirror from sr.ht☆14Updated 11 months ago
- A Language with Dependent Data and Codata Types☆82Updated this week
- A functional programming language, mirroring Erlang and Go, but with more OCaml!☆23Updated last month
- Calypso is a mostly imperative language with some functional influences that is focused on flexibility and simplicity.☆66Updated 9 months ago
- BQN programming language vscode plugin (symbol input, syntax highlighting)☆23Updated 4 months ago
- The Egel Programming Language☆84Updated 2 months ago
- A constructive proof assistant for second order logic.☆33Updated 5 months ago
- The interpreter for Rhovas, a programming language for API design and enforcement.☆28Updated 4 months ago
- Fast and flexible language exploring partial evaluation, context-sensitive parsing, and metaprogramming. Compiles JIT or AOT to native co…☆123Updated 3 years ago
- Demo for dependent types + runtime code generation☆66Updated last week
- TinyAPL, a tiny APL dialect and interpreter in Haskell☆51Updated last week
- The Nox programming language☆29Updated last year
- Bootstrap compiler for Firefly☆52Updated 2 weeks ago
- Codebase for the paper "MLstruct: Principal Type Inference in a Boolean Algebra of Structural Types"☆37Updated 2 months ago
- A garden of small programming language implementations 🪴☆212Updated 2 weeks ago
- Journey to the Center of the Lambda Calculus☆15Updated last year
- A human readable quasi-concatenative programming language☆249Updated 3 weeks ago
- A concatenative cyborg chimera.☆8Updated 2 months ago
- ☆30Updated 4 months ago
- reworking quest, but faster☆11Updated last year