danaugrs / deltanetsLinks
Δ-Nets: Interaction-Based System for Optimal Parallel λ-Reduction
☆18Updated 3 months ago
Alternatives and similar repositories for deltanets
Users that are interested in deltanets are comparing it to the libraries listed below
Sorting:
- A Lévy-optimal lambda calculus reducer with a backdoor to C☆38Updated last week
- An implementation of interaction nets as a forth-like language.☆37Updated 2 months ago
- Interaction net resources☆34Updated last week
- Fir programming language☆81Updated this week
- A compiler and runtime for normalizing the untyped λ-calculus☆32Updated 3 years ago
- A simple ML-like language with subtyping, polymorphism, higher rank types, and global type inference☆61Updated this week
- File format and optimizer for programs encoded in binary lambda calculus☆16Updated last year
- Reference compiler for c0☆37Updated 4 months ago
- types for various combinatory systems, especialy tree calculi☆22Updated 9 months ago
- ☆16Updated 9 months ago
- Bologna Optimal Higher-Order Machine, Version 1.1☆80Updated 8 years ago
- ☆11Updated 3 years ago
- Experiment on how to bootstrap the OCaml compiler☆110Updated 3 years ago
- A general purpose statically-typed concatenative programming language.☆54Updated 2 years ago
- a self-hosting lambda calculus compiler☆37Updated 6 months ago
- A toy ELF parser/validator☆14Updated 10 months ago
- Programming with pure lambda calculus☆127Updated 2 weeks ago
- Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.☆35Updated 5 months ago
- Martin-Löf type theory + W-types implemented in C (WIP)☆25Updated 2 months ago
- Coq plugin for monomorphization and C code generation☆35Updated this week
- GPU-based interaction nets evaluator☆16Updated 13 years ago
- A formal consistency proof of Quine's set theory New Foundations☆73Updated 4 months ago
- A toy dependent typed language.☆32Updated this week
- A constraint solver built from scratch in OCaml☆12Updated 3 years ago
- Formally verified operator language and rewriting engine for high-performance computing☆29Updated last year
- Formalising the WASM spec in Lean☆24Updated last year
- Personal research notes☆17Updated last year
- A Language with Dependent Data and Codata Types☆123Updated this week
- Raylib bindings for Lean4☆26Updated 5 months ago
- WIP stack language that uses regex for control flow☆42Updated 2 years ago