Gadersd / ic
An interaction combinator runtime
☆15Updated last month
Related projects ⓘ
Alternatives and complementary repositories for ic
- A minimal proof checker.☆65Updated 2 months ago
- Provides a Refl encoding in Rust☆68Updated last year
- ☆33Updated this week
- Extism Lean 4 Host SDK☆15Updated 3 weeks ago
- Collection of Kind2 programs and proofs☆11Updated 6 months ago
- Slides and handwritten notes on the course on models of programming languages☆50Updated 4 years ago
- A WebAssembly implementation in Lean4☆32Updated 11 months ago
- my personal lang☆15Updated 10 months ago
- 👌 A smol functional language that targets other languages☆62Updated 10 months ago
- Small TS library to type and safely handle `serde` JSON serializations of Rust enums.☆11Updated last week
- 🌐 | HTTP primitives for Lean 4☆27Updated last month
- ☆110Updated 9 months ago
- Minimal Prolog implemented in Rust☆42Updated last month
- Parser Combinator Library for Lean 4☆34Updated last week
- Simple implementation of call-by-need lazy lambda calculus in Rust.☆15Updated 7 months ago
- The Simplest Parser Library (that works) in Rust☆41Updated 3 months ago
- A formal consistency proof of Quine's set theory New Foundations☆66Updated this week
- A tool that helps you to turn in one command a Rust crate into a Haskell Cabal library!☆98Updated this week
- A highly experiment portable runtime☆19Updated 7 months ago
- Lean 4 port of Megaparsec☆23Updated 10 months ago
- Performance comparisons between various virtual interpreter implementation strategies☆31Updated 7 months ago
- Reference counting with linear types☆30Updated 4 months ago
- ☆23Updated last year
- ☆14Updated last year
- A dependent type system built entirely in Rust's trait system (WIP).☆24Updated 6 years ago