Gadersd / icLinks
An interaction combinator runtime
☆17Updated 10 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 10 months ago
- ☆52Updated 7 months ago
- ☆119Updated last year
- Rust bindings to GAP (Groups, Algorithms, Programming)☆28Updated 2 years ago
- Collection of Kind2 programs and proofs☆12Updated last year
- Interaction net resources☆22Updated last week
- The Simplest Parser Library (that works) in Rust☆44Updated last year
- Small TS library to type and safely handle `serde` JSON serializations of Rust enums.☆11Updated 8 months ago
- Datalog with equality for rust☆68Updated this week
- my personal lang☆16Updated last year
- Provides a Refl encoding in Rust☆68Updated 2 years ago
- Simple implementation of call-by-need lazy lambda calculus in Rust.☆16Updated last year
- ☆53Updated 4 years ago
- Paralegal is a static analyzer for Rust code that enforces privacy and security policies on programs.☆28Updated 3 weeks ago
- ☆14Updated last year
- Minimal Prolog implemented in Rust☆44Updated 10 months ago
- A simple, zero-dependency implementation of the untyped lambda calculus in Safe Rust☆129Updated 2 months ago
- 👌 A smol functional language that targets other languages☆62Updated last year
- A dependent type system built entirely in Rust's trait system (WIP).☆25Updated 6 years ago
- Par (⅋) is an experimental concurrent programming language. It's an attempt to bring the expressive power of linear logic into practice.☆426Updated this week
- Liquid Types implementation for Rust☆29Updated 2 years ago
- A Rust/WASM implementation of homotopy.io☆101Updated this week
- Slides and handwritten notes on the course on models of programming languages☆51Updated 4 years ago
- A zero-allocation, no-std grapheme cluster iterator☆12Updated 5 months ago
- Temporary repository for Kind2's refactor based on HVM2☆281Updated 10 months ago
- hindley-milner algorithm☆62Updated 2 years ago
- A highly experiment portable runtime☆20Updated last year
- ☆173Updated 9 months ago
- A WebAssembly implementation in Lean4☆34Updated last year
- An experimental unification-based programming language with logic-agnostic types, based on Girard's transcendental syntax☆110Updated 3 weeks ago