HigherOrderCO / kindbook
☆32Updated this week
Related projects ⓘ
Alternatives and complementary repositories for kindbook
- A minimal proof checker.☆64Updated 2 months ago
- my personal lang☆15Updated 10 months ago
- Collection of Kind2 programs and proofs☆11Updated 5 months ago
- ☆109Updated 9 months ago
- The Simplest Parser Library (that works) in Rust☆41Updated 3 months ago
- HVM3☆26Updated this week
- Linear lens☆19Updated 8 months ago
- ☆23Updated last year
- An interaction combinator runtime☆15Updated last month
- a small one-file lisp implemented in kind2, intentionally incomplete☆10Updated last year
- A simple example on how Bend could be used to accelerate program search in a near future☆16Updated 3 months ago
- 🧪 | Lisp with REPL and macros which will compile itself☆13Updated 9 months ago
- 🌒 A TUI for GitHub☆64Updated 4 months ago
- A very small implementation of the Calculus of Constructions for experimentation purposes☆14Updated 6 years ago
- 🧪 | LLVM backend for HVM☆20Updated last year
- A dependently typed programming language with direct style effects and linearity☆19Updated 3 months ago
- A WebAssembly implementation in Lean4☆32Updated 11 months ago
- Flake template for Haskell repository☆21Updated last month
- A pure Haskell implementation of a decoder-only transformer (GPT)☆18Updated 4 months ago
- ☆13Updated last year
- Opinionated package manager for haskell (WIP)☆17Updated last year
- 🧮 | Writing an Equation Solver☆31Updated last year
- Implementing a small functional language with a combinator based graph-reduction machine☆28Updated 10 months ago