barrucadu / king-james-programmingLinks
Markov chain text generator, as used for KingJamesProgramming (post-2024)
☆15Updated last year
Alternatives and similar repositories for king-james-programming
Users that are interested in king-james-programming are comparing it to the libraries listed below
Sorting:
- Animations of lambda term reduction sequences☆162Updated 7 years ago
- Draw railroad diagrams of EBNF grammars. In browser and on command line☆78Updated 7 years ago
- FizzBuzz, formally verified, provably correct☆28Updated 2 years ago
- Toki Pona is a constructed, minimal language. This parser based on swi-prolog and definite clause grammars (dcg) and supports spelling, g…☆52Updated last year
- MIRROR of https://codeberg.org/catseye/Mascarpone : You are lost in a twisty maze of meta-circular interpreters, all alike.☆23Updated 2 years ago
- 🦅 VSCode extension for F* with IDE features☆16Updated 5 years ago
- ReasonML code to construct an NFA from a regular expression☆24Updated 6 years ago
- A programming language where the syntax and semantics are mutable at runtime☆169Updated 13 years ago
- A programming language that deduces code from tests☆30Updated 8 years ago
- Algorithmic Information Theory, using Binary Lambda Calculus☆197Updated this week
- A relational interpretation of Lojban☆36Updated 6 months ago
- Rust-based library to turn Toki Pona text into the Sitelen Sitelen non-linear writing style.☆75Updated this week
- A constructive proof assistant for second order logic.☆36Updated last year
- Compiler, runtime and standard library for Tale.☆14Updated 4 years ago
- Teaching language LaMa for a compiler course☆79Updated last month
- Материалы к серии докладов о советской компиляторной школе☆12Updated last year
- ☆40Updated 2 years ago
- ☆90Updated 4 years ago
- Experiments with higher-kinded types and object algebras in C#☆38Updated 3 weeks ago
- Slides from a talk "Graph-Based Intermediate Representations: An Overview and Perspectives"☆25Updated 2 years ago
- Mystery Languages☆41Updated 2 years ago
- Visual environment for manipulation the lambda calculus expressions☆30Updated 2 years ago
- A feature-rich, two-dimensional, recreational programming language. With mirrors.☆46Updated 4 years ago
- WIP stack language that uses regex for control flow☆42Updated 2 years ago
- Turnstyle is a graphical esoteric programming language based on lambda calculus☆80Updated 4 months ago
- TLA+ Foundation☆32Updated 2 months ago
- lo vrici se pilno be fi la zbalermorna je lo ri taipfase☆29Updated 2 years ago
- Fractran interpreter in Fractran☆36Updated 11 years ago
- An error-tolerant live programming environment (my Master's thesis)☆20Updated 3 years ago
- A modern FOSS remake of The Tone Rebellion.☆17Updated 2 weeks ago