HigherOrderCO / kindbook
☆33Updated this week
Related projects ⓘ
Alternatives and complementary repositories for kindbook
- my personal lang☆15Updated 10 months ago
- A minimal proof checker.☆65Updated 2 months ago
- ☆110Updated 9 months ago
- Collection of Kind2 programs and proofs☆11Updated 6 months ago
- HVM3☆55Updated this week
- A dependently typed programming language with direct style effects and linearity☆19Updated 4 months ago
- 🎮 | Is a programming language aimed at incorporating everything I’d like to have in Haskell, except dependent types.☆13Updated 2 years ago
- An interaction combinator runtime☆15Updated last month
- Linear lens☆20Updated 9 months ago
- The Simplest Parser Library (that works) in Rust☆41Updated 3 months ago
- 🌒 A TUI for GitHub☆71Updated 4 months ago
- An unofficial Idris2 package repository for Nix☆46Updated 2 years ago
- 🧪 | Lisp with REPL and macros which will compile itself☆13Updated 10 months ago
- 🌐 | HTTP primitives for Lean 4☆27Updated last month
- 🧮 | Writing an Equation Solver☆31Updated last year
- A pure Haskell implementation of a decoder-only transformer (GPT)☆19Updated 5 months ago
- A very small implementation of the Calculus of Constructions for experimentation purposes☆14Updated 6 years ago
- A tool that helps you to turn in one command a Rust crate into a Haskell Cabal library!☆98Updated this week
- Lean 4 port of Megaparsec☆23Updated 10 months ago
- Extism Lean 4 Host SDK☆15Updated 3 weeks ago
- A functional programming language with shell scripting capabilities☆92Updated last month
- ☆23Updated last year
- a small one-file lisp implemented in kind2, intentionally incomplete☆10Updated last year