Gadersd / icLinks
An interaction combinator runtime
☆17Updated 8 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.☆74Updated 8 months ago
- ☆48Updated 4 months ago
- ☆119Updated last year
- Minimal Prolog implemented in Rust☆44Updated 8 months ago
- The Simplest Parser Library (that works) in Rust☆44Updated 9 months ago
- A highly experiment portable runtime☆19Updated last year
- Simple implementation of call-by-need lazy lambda calculus in Rust.☆16Updated last year
- Slides and handwritten notes on the course on models of programming languages☆51Updated 4 years ago
- my personal lang☆16Updated last year
- Datalog with equality for rust☆68Updated last month
- 👌 A smol functional language that targets other languages☆62Updated last year
- Extism Lean4 Host SDK - easily run WebAssembly modules / plugins from Lean4 applications☆18Updated 6 months ago
- Pure functional programming with whole-program mutability inference☆69Updated 2 weeks ago
- Collection of Kind2 programs and proofs☆11Updated last year
- Demo for dependent types + runtime code generation☆69Updated 3 months ago
- Provides a Refl encoding in Rust☆68Updated 2 years ago
- My personal standard for how to set up a Javascript workspace☆14Updated last year
- dependent type theory experiment☆26Updated last year
- Solving the 1 Billion Row Challenge in MPL☆17Updated last year
- The SM-2 algorithm.☆20Updated 5 months ago
- Datalog + Egg = Good☆66Updated 2 years ago
- A simple ML-like language with subtyping, polymorphism, higher rank types, and global type inference☆51Updated 3 months ago
- A WebAssembly implementation in Lean4☆34Updated last year
- Reference counting with linear types☆31Updated 10 months ago
- GPU-based interaction nets evaluator☆16Updated 13 years ago
- Animation of Yves Lafont's Interaction Combinators☆18Updated 3 years ago
- the WebAssembly partial evaluator☆55Updated 6 months ago
- This is an implementation of interaction nets, with a familiar JavaScript-like syntax :)☆53Updated this week
- Formalising the WASM spec in Lean☆23Updated 11 months ago
- An experimental unification-based programming language with logic-agnostic types, based on Girard's transcendental syntax☆105Updated this week