codedot / inet-libLinks
JavaScript Engine for Interaction Nets
☆8Updated 7 years ago
Alternatives and similar repositories for inet-lib
Users that are interested in inet-lib are comparing it to the libraries listed below
Sorting:
- A programming language somewhat resembling cellular processes.☆34Updated 3 years ago
- Standard library for the Formality language☆18Updated 5 years ago
- Animation of Yves Lafont's Interaction Combinators☆18Updated 3 years ago
- A minimal pure functional language based on self dependent types.☆73Updated 3 years ago
- An implementation of interaction nets as a forth-like language.☆33Updated last month
- Your happy place for learning APL☆16Updated 2 years ago
- Common lisp implementation of Val Schorr's Meta-II language☆18Updated 8 years ago
- dependently-typed lisp with flexible compiler backends☆27Updated 6 years ago
- Simple implementation of call-by-need lazy lambda calculus in Rust.☆16Updated last year
- This is an implementation of interaction nets, with a familiar JavaScript-like syntax :)☆55Updated last week
- Reference counting with linear types☆31Updated 11 months ago
- An error-tolerant live programming environment (my Master's thesis)☆19Updated 2 years ago
- maps are everything.☆10Updated 3 years ago
- Kitbag is a content-addressed versioned tree-structured graph-based datastore.☆14Updated 3 years ago
- sorear's Metamath system engine - version 3 Rust☆24Updated 2 years ago
- ☆35Updated 6 years ago
- GPU-based interaction nets evaluator☆16Updated 13 years ago
- An ergonomic, mobile-first, Prolog playground!☆30Updated 2 years ago
- Tool for compiling Lean to WASM☆19Updated last year
- An implementation of the Formality language in C☆13Updated 5 years ago
- A Rust implementation of the Lean kernel☆10Updated 2 years ago
- The Kraken Programming Language☆47Updated last year
- Hindley Milner Type Inference in Rust☆12Updated 7 years ago
- A general-purpose language inspired by Scheme and Rust and Haskell and ML and cetera☆21Updated 3 years ago
- Animations for Elementary-Affine-Net interactions☆11Updated 5 years ago
- a self-hosting lambda calculus compiler☆35Updated 2 months ago
- Type-Level Programming in Rust☆27Updated 3 years ago
- Scheme Interpreter in Rust☆28Updated 7 years ago
- A core concatenative programming language with variables and first-rank polymorphic type inference☆31Updated 5 years ago
- A simple ML-like language with subtyping, polymorphism, higher rank types, and global type inference☆53Updated 4 months ago