Gadersd / icLinks
An interaction combinator runtime
☆17Updated 11 months ago
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.☆75Updated 11 months ago
- Interaction net resources☆28Updated last week
- ☆119Updated last year
- my personal lang☆16Updated last year
- Collection of Kind2 programs and proofs☆12Updated last year
- ☆52Updated 7 months ago
- Simple implementation of call-by-need lazy lambda calculus in Rust.☆16Updated last year
- 👌 A smol functional language that targets other languages☆63Updated last year
- The Simplest Parser Library (that works) in Rust☆44Updated last year
- Provides a Refl encoding in Rust☆68Updated 2 years ago
- A simple, zero-dependency implementation of the untyped lambda calculus in Safe Rust☆128Updated 3 months ago
- A zero-allocation, no-std grapheme cluster iterator☆12Updated 5 months ago
- Rust bindings to GAP (Groups, Algorithms, Programming)☆28Updated 2 years ago
- A highly experiment portable runtime☆20Updated last year
- Paralegal is a static analyzer for Rust code that enforces privacy and security policies on programs.☆37Updated last month
- Pure functional programming with whole-program mutability inference☆74Updated 3 weeks ago
- ☆14Updated last year
- Scope Graph Implementation in Rust☆27Updated 9 months ago
- Slides and handwritten notes on the course on models of programming languages☆51Updated 4 years ago
- Small TS library to type and safely handle `serde` JSON serializations of Rust enums.☆11Updated 9 months ago
- HVM3☆255Updated this week
- Generate bindings for Futhark☆38Updated 2 years ago
- Animation of Yves Lafont's Interaction Combinators☆19Updated 3 years ago
- Liquid Types implementation for Rust☆29Updated 2 years ago
- Datalog with equality for rust☆68Updated last week
- A Language with Dependent Data and Codata Types☆116Updated this week
- A Rust/WASM implementation of homotopy.io☆101Updated this week
- the WebAssembly partial evaluator☆97Updated last week
- A WebAssembly implementation in Lean4☆34Updated last year
- Temporary repository for Kind2's refactor based on HVM2☆281Updated 11 months ago