Gadersd / ic
An interaction combinator runtime
☆15Updated last month
Related projects ⓘ
Alternatives and complementary repositories for ic
- A minimal proof checker.☆64Updated 2 months ago
- my personal lang☆15Updated 10 months ago
- ☆32Updated this week
- Extism Lean 4 Host SDK☆15Updated 2 weeks ago
- The Simplest Parser Library (that works) in Rust☆41Updated 3 months ago
- Simple implementation of call-by-need lazy lambda calculus in Rust.☆15Updated 7 months ago
- ☆109Updated 9 months ago
- 👌 A smol functional language that targets other languages☆62Updated 9 months ago
- A highly experiment portable runtime☆19Updated 7 months ago
- ☆23Updated last year
- A WebAssembly implementation in Lean4☆32Updated 10 months ago
- Provides a Refl encoding in Rust☆68Updated last year
- Collection of Kind2 programs and proofs☆11Updated 5 months ago
- A compiler from a subset of Rust to Brainfuck☆12Updated last month
- Small TS library to type and safely handle `serde` JSON serializations of Rust enums.☆10Updated 6 months ago
- Minimal Prolog implemented in Rust☆41Updated last month
- Parser Combinator Library for Lean 4☆34Updated last week
- Propositional logic with types in Rust☆60Updated last year
- Formalising the WASM spec in Lean☆16Updated 4 months ago
- 🧪 | LLVM backend for HVM☆20Updated last year
- Datalog with equality for rust☆55Updated 2 weeks ago
- Performance comparisons between various virtual interpreter implementation strategies☆31Updated 7 months ago
- Session Type EDSL for Rust☆101Updated 2 years ago
- A dependent type system built entirely in Rust's trait system (WIP).☆24Updated 6 years ago
- GPU-based interaction nets evaluator☆15Updated 12 years ago