Gadersd / ic
An interaction combinator runtime
☆16Updated 5 months ago
Alternatives and similar repositories for ic:
Users that are interested in ic are comparing it to the libraries listed below
- A minimal proof checker.☆74Updated 5 months ago
- Minimal Prolog implemented in Rust☆43Updated 5 months ago
- Simple implementation of call-by-need lazy lambda calculus in Rust.☆15Updated 10 months ago
- Slides and handwritten notes on the course on models of programming languages☆50Updated 4 years ago
- 👌 A smol functional language that targets other languages☆62Updated last year
- ☆44Updated last month
- Extism Lean4 Host SDK - easily run WebAssembly modules / plugins from Lean4 applications☆17Updated 3 months ago
- Datalog with equality for rust☆68Updated 4 months ago
- ☆118Updated last year
- Semantic analyzer library for compilers written in Rust for semantic analysis of programming languages AST☆39Updated this week
- A formal consistency proof of Quine's set theory New Foundations☆67Updated last month
- Reference counting with linear types☆31Updated 7 months ago
- The Simplest Parser Library (that works) in Rust☆42Updated 6 months ago
- my personal lang☆16Updated last year
- A WebAssembly implementation in Lean4☆33Updated last year
- A highly experiment portable runtime☆19Updated 10 months ago
- Provides a Refl encoding in Rust☆69Updated last year
- Demo for dependent types + runtime code generation☆66Updated last week
- Lean 4 port of Megaparsec☆24Updated last year
- Type-Level Programming in Rust☆27Updated 3 years ago
- Datalog + Egg = Good☆66Updated last year
- Collection of Kind2 programs and proofs☆11Updated 9 months ago
- dependent type theory experiment☆25Updated last year
- Solving the 1 Billion Row Challenge in MPL☆17Updated last year
- Template for Lean<->Rust FFI☆11Updated last year
- 🌐 | HTTP primitives for Lean 4☆31Updated 4 months ago
- My personal standard for how to set up a Javascript workspace☆14Updated last year