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:
- Standard library for the Formality language☆18Updated 5 years ago
- GPU-based interaction nets evaluator☆16Updated 13 years ago
- An implementation of interaction nets as a forth-like language.☆33Updated 3 weeks ago
- A minimal pure functional language based on self dependent types.☆73Updated 3 years ago
- A programming language somewhat resembling cellular processes.☆34Updated 3 years ago
- dependently-typed lisp with flexible compiler backends☆27Updated 6 years ago
- a self-hosting lambda calculus compiler☆35Updated 2 months ago
- Animation of Yves Lafont's Interaction Combinators☆18Updated 3 years ago
- An implementation of the Formality language in C☆13Updated 5 years ago
- Common lisp implementation of Val Schorr's Meta-II language☆17Updated 8 years ago
- sorear's Metamath system engine - version 3 Rust☆24Updated 2 years ago
- A next-gen, massively parallel, beta-optimal functional runtime.☆10Updated 3 years ago
- Bologna Optimal Higher-Order Machine, Version 1.1☆72Updated 8 years ago
- ☆35Updated 6 years ago
- A WebAssembly implementation in Lean4☆34Updated last year
- Charity Programming Language☆39Updated 10 years ago
- A general-purpose language inspired by Scheme and Rust and Haskell and ML and cetera☆21Updated 3 years ago
- Manfred von Thun's Programming Language Joy☆16Updated 4 months ago
- A simple term-rewriting interpreter that displays intermediate expressions.☆14Updated this week
- A Rust implementation of the Lean kernel☆10Updated 2 years ago
- Multiplication on optimal λ-calculus reducers☆22Updated 4 years ago
- Kitbag is a content-addressed versioned tree-structured graph-based datastore.☆14Updated 3 years ago
- Tool for compiling Lean to WASM☆19Updated last year
- Automatically exported from code.google.com/p/intuitionistic☆31Updated 10 years ago
- A safe and efficient target language for functional compilers☆20Updated 7 years ago
- Hindley Milner Type Inference in Rust☆12Updated 7 years ago
- Animations for Elementary-Affine-Net interactions☆11Updated 5 years ago
- One-pass Code Generation in V8 (Archive)☆20Updated 2 years ago
- Specification of the Formality proof and programming language☆41Updated 2 years ago
- Macro Lambda Calculus☆49Updated 6 years ago