barrucadu / king-james-programming
Markov chain text generator, as used for KingJamesProgramming (post-2024)
☆8Updated 7 months ago
Alternatives and similar repositories for king-james-programming:
Users that are interested in king-james-programming are comparing it to the libraries listed below
- SC Mini is a "minimal" positive supercompiler☆47Updated 4 years ago
- Idris-written, correct-by-construction, simply-typed lambda calculus.☆39Updated 6 years ago
- SML Parser Combinator Library☆28Updated 8 years ago
- MIRROR of https://codeberg.org/catseye/Mascarpone : You are lost in a twisty maze of meta-circular interpreters, all alike.☆21Updated last year
- NES programming in Haskell? No way!☆38Updated 9 years ago
- being bits and pieces I'm inclined to leave lying around☆50Updated 4 months ago
- ET (IPL) language interpreters and literature☆26Updated 6 years ago
- A nano "theorem prover".☆62Updated 6 years ago
- Simple lambda prover☆24Updated 9 years ago
- IsarMathLib is a library of formalized mathematics for Isabelle/ZF.☆18Updated last week
- A language-integrated proof assistant, for and in Racket☆39Updated 8 years ago
- Tool for detecting bad style in Standard ML programs☆16Updated 6 years ago
- Statically typed embedding of miniKanren relational programming language into OCaml☆117Updated last month
- A formalization of the Dedekind real numbers in Coq [maintainer=@andrejbauer]☆43Updated 9 months ago
- What I wish I knew when learning HoTT☆53Updated 6 years ago
- Absal ex☆57Updated last year
- Prototype code that accompanies the paper "Compiling Successor ML Pattern Guards"☆25Updated 2 years ago
- Link to preprints for POPL'18 and colocated events☆87Updated 6 years ago
- ☆36Updated last year
- Hopefully verifiable code generation in GHC☆94Updated 7 years ago
- Idris Binary Integer Arithmetic, porting PArith, NArith, and ZArith from Coq☆36Updated 4 years ago
- System F in coq.☆19Updated 10 years ago
- Examples from Introduction to Programming in ATS☆26Updated 10 years ago
- Type theory + whales and syntax☆11Updated 5 years ago
- 🦅 VSCode extension for F* with IDE features☆15Updated 5 years ago
- Minimalistic dependent type theory with syntactic metaprogramming☆57Updated 10 months ago
- Collection of ATS goodness☆35Updated 5 years ago
- Example row-polymorphism implementations☆61Updated last year
- A dependent type theory with user defined data types☆46Updated 3 years ago
- An proof refinement logic for computational type theory. Inspired by Nuprl. [For up-to-date development, see JonPRL's successor, RedPRL: …☆110Updated 6 years ago