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": "TypeScript",
  "name": "deltanets",
  "pushedAt": "2025-06-25T21:39:13Z",
  "stargazersCount": 18,
  "topics": [
    "deno-fresh",
    "fp",
    "functional-programming",
    "lambdacalculus",
    "visualizer"
  ],
  "updatedAt": "2025-09-22T09:53:17Z",
  "url": "https://github.com/danaugrs/deltanets"
}

∆-Nets: Interaction-Based System for Optimal Parallel λ-Reduction

Section titled “∆-Nets: Interaction-Based System for Optimal Parallel λ-Reduction”

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

Interactive Demo: https://deltanets.org

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

This repository contains source code for the ∆-Nets interactive demo.