barrucadu / king-james-programmingLinks
Markov chain text generator, as used for KingJamesProgramming (post-2024)
☆14Updated 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:
- MIRROR of https://codeberg.org/catseye/Mascarpone : You are lost in a twisty maze of meta-circular interpreters, all alike.☆23Updated 2 years ago
- A SKI combinators interpreter written in assembly☆20Updated 5 years ago
- Animations of lambda term reduction sequences☆159Updated 7 years ago
- Idris-written, correct-by-construction, simply-typed lambda calculus.☆39Updated 7 years ago
- IsarMathLib is a library of formalized mathematics for Isabelle/ZF.☆18Updated 2 weeks ago
- A programming language that deduces code from tests☆30Updated 8 years ago
- Turnstyle is a graphical esoteric programming language based on lambda calculus☆80Updated 3 months ago
- Draw railroad diagrams of EBNF grammars. In browser and on command line☆76Updated 7 years ago
- ☆40Updated 2 years ago
- A nano "theorem prover".☆62Updated 6 years ago
- Relational algebra implementation in Agda with simple bindings to SQLITE☆13Updated 2 years ago
- Program verification with F* course materials☆12Updated 6 years ago
- File format and optimizer for programs encoded in binary lambda calculus☆17Updated last year
- FizzBuzz, formally verified, provably correct☆28Updated 2 years ago
- A proof checker meant for education. Primarily for teaching proofs of correctness of functional programs.☆120Updated last month
- An epoll-based HTTP library for ATS2☆14Updated 3 years ago
- 🦅 VSCode extension for F* with IDE features☆16Updated 5 years ago
- Yoneda lemma in every known language☆17Updated 2 years ago
- Unofficial reference documentation for ATS programming language libraries☆15Updated 13 years ago
- Mary is the successor of Marx, a content delivery and assessment engine based on markdown and git☆17Updated last year
- a self-hosting lambda calculus compiler☆37Updated 9 months ago
- A 2D platformer in Idris, a dependently-typed purely functional programming language☆25Updated 5 years ago
- The Caml Light implementation of the Caml language☆68Updated 2 years ago
- Automatically exported from code.google.com/p/intuitionistic☆31Updated 10 years ago
- Experiments with sequent calculi☆28Updated 4 years ago
- A constructive proof assistant for second order logic.☆36Updated last year
- A WIP compiler for a functional language. Very incomplete!☆16Updated 4 years ago
- ☆56Updated 8 months ago
- Specification of the Cedille Core language☆34Updated 5 years ago
- Miranda is a pure, non-strict, polymorphic, higher order functional programming language designed by David Turner in 1983-6. https://code…☆64Updated 7 months ago