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
- ☆119Updated last year
- ☆53Updated 9 months ago
- Interaction net resources☆34Updated 2 weeks ago
- Collection of Kind2 programs and proofs☆12Updated last year
- my personal lang☆16Updated last year
- The Simplest Parser Library (that works) in Rust☆44Updated last year
- Simple implementation of call-by-need lazy lambda calculus in Rust.☆16Updated last year
- A Rust/WASM implementation of homotopy.io☆108Updated this week
- Datalog with equality for rust☆71Updated this week
- 👌 A smol functional language that targets other languages☆65Updated last year
- Small TS library to type and safely handle `serde` JSON serializations of Rust enums.☆11Updated 11 months ago
- A WebAssembly implementation in Lean4☆37Updated last year
- ☆53Updated 2 months ago
- A simple, zero-dependency implementation of the untyped lambda calculus in Safe Rust☆133Updated last month
- Cuq: A MIR-to-Coq Framework Targeting PTX for Formal Semantics and Verified Translation of Rust GPU Kernels☆82Updated last week
- Animation of Yves Lafont's Interaction Combinators☆19Updated 3 years ago
- Propositional logic with types in Rust☆64Updated 2 years ago
- An interpreter for the 1991 Oriel scripting language☆58Updated last year
- Minimal Prolog implemented in Rust☆45Updated 3 weeks ago
- Provides a Refl encoding in Rust☆68Updated 2 years ago
- Rust bindings to GAP (Groups, Algorithms, Programming)☆28Updated 2 years ago
- 🌐 | HTTP primitives for Lean 4☆47Updated last year
- Pure functional programming with whole-program mutability inference☆77Updated 3 months ago
- A dependent type system built entirely in Rust's trait system (WIP).☆25Updated 7 years ago
- the WebAssembly partial evaluator☆106Updated 2 months ago
- Temporary repository for Kind2's refactor based on HVM2☆280Updated last year
- Slides and handwritten notes on the course on models of programming languages☆51Updated 4 years ago
- sorear's Metamath system engine - version 3 Rust☆25Updated 2 years ago
- A highly experiment portable runtime☆20Updated last year