Gadersd / icLinks
An interaction combinator runtime
☆17Updated last year
Alternatives and similar repositories for ic
Users that are interested in ic are comparing it to the libraries listed below
Sorting:
- A minimal proof checker.☆76Updated last year
- ☆53Updated 9 months ago
- ☆119Updated last year
- my personal lang☆16Updated last year
- Collection of Kind2 programs and proofs☆12Updated last year
- The Simplest Parser Library (that works) in Rust☆44Updated last year
- Interaction net resources☆32Updated last month
- Rust bindings to GAP (Groups, Algorithms, Programming)☆28Updated 2 years ago
- 👌 A smol functional language that targets other languages☆64Updated last year
- Simple implementation of call-by-need lazy lambda calculus in Rust.☆16Updated last year
- Datalog with equality for rust☆69Updated this week
- A WebAssembly implementation in Lean4☆36Updated last year
- Pure functional programming with whole-program mutability inference☆76Updated 2 months ago
- Provides a Refl encoding in Rust☆68Updated 2 years ago
- Small TS library to type and safely handle `serde` JSON serializations of Rust enums.☆11Updated 10 months ago
- Animation of Yves Lafont's Interaction Combinators☆19Updated 3 years ago
- ☆174Updated last month
- A Rust/WASM implementation of homotopy.io☆107Updated this week
- A simple, zero-dependency implementation of the untyped lambda calculus in Safe Rust☆131Updated 3 weeks ago
- An experimental language exploring computation and meaning through term unification, with logic-agnostic types.☆113Updated this week
- Slides and handwritten notes on the course on models of programming languages☆51Updated 4 years ago
- A minimal pure functional language based on self dependent types.☆73Updated 3 years ago
- ☆53Updated last month
- Datalog + Egg = Good☆66Updated 2 years ago
- An interpreter for the 1991 Oriel scripting language☆58Updated last year
- Minimal Prolog implemented in Rust☆45Updated this week
- This is an implementation of interaction nets, with a familiar JavaScript-like syntax :)☆56Updated 2 months ago
- A content-addressable datastore for WebAssembly modules☆56Updated last year
- the WebAssembly partial evaluator☆102Updated last month
- 🦖 Implementations of various type inference algorithms. The new project is now at https://github.com/cu1ch3n/type-inference-zoo-frontend…☆150Updated 3 months ago