Skip to content
<open-source>
Oeiuwq Faith Blog OpenSource Porfolio

danaugrs/deltanets

Δ-Nets: Interaction-Based System for Optimal Parallel λ-Reduction
Source code at GitHub https://deltanets.org
danaugrs/deltanets.json
{
  "createdAt": "2025-05-21T19:44:36Z",
  "defaultBranch": "main",
  "description": "Δ-Nets: Interaction-Based System for Optimal Parallel λ-Reduction",
  "fullName": "danaugrs/deltanets",
  "homepage": "https://deltanets.org",
  "language": null,
  "name": "deltanets",
  "pushedAt": "2026-07-22T17:17:48Z",
  "stargazersCount": 52,
  "topics": [
    "deno-fresh",
    "fp",
    "functional-programming",
    "lambdacalculus",
    "visualizer"
  ],
  "updatedAt": "2026-07-22T17:09:41Z",
  "url": "https://github.com/danaugrs/deltanets"
}

Delta-Nets: Interaction-Based System for Optimal Parallel Lambda-Reduction

Section titled “Delta-Nets: Interaction-Based System for Optimal Parallel Lambda-Reduction”

Research Paper: https://arxiv.org/abs/2505.20314

Interactive Demo: https://deltanets.org

![Screenshot of ∆-Nets Demo]!(deltanets.png)