VictorTaelin / kind-ai
☆23Updated last year
Related projects ⓘ
Alternatives and complementary repositories for kind-ai
- Lightweight, higher-order parser in Rust.☆11Updated last year
- 🧪 | LLVM backend for HVM☆20Updated last year
- Collection of Kind2 programs and proofs☆11Updated 6 months ago
- my personal lang☆15Updated 10 months ago
- Handy macro to generate C-FFI bindings to Rust for Haskell☆66Updated this week
- 👌 A smol functional language that targets other languages☆62Updated 10 months ago
- ☆33Updated this week
- Exploring the "expression problem" in Rust☆46Updated 2 years ago
- experimental auto-currying for rust functions☆32Updated 4 years ago
- A code browsing library for VCS file systems.☆32Updated 2 years ago
- An interaction combinator runtime☆15Updated last month
- The Haskell’s do notation brought to Rust☆55Updated 2 years ago
- The Simplest Parser Library (that works) in Rust☆41Updated 3 months ago
- Language server for the Bend programming language☆11Updated last month
- A highly experiment portable runtime☆19Updated 7 months ago
- Provides a Refl encoding in Rust☆68Updated last year
- a small one-file lisp implemented in kind2, intentionally incomplete☆10Updated last year
- Minimal Prolog implemented in Rust☆42Updated last month
- A WebAssembly implementation in Lean4☆32Updated 11 months ago
- Lean 4 port of Megaparsec☆23Updated 10 months ago
- ☆110Updated 9 months ago
- Session Type EDSL for Rust☆101Updated 2 years ago
- A tool that helps you to turn in one command a Rust crate into a Haskell Cabal library!☆98Updated this week