#

tree-calculus

Here are 3 public repositories matching this topic...

lambada-llc / tree-calculus

lambda-calculus combinatory-logic tree-calculus

Updated May 10, 2026
Assembly

libdither / disp

A universal programming language for the decentralized internet.

dependent-types cubical-type-theory decentralization tree-calculus types-as-predicates

Updated May 15, 2026
Typst

pointlander / tc

Tree Calculus implementation

tree-calculus

Updated Mar 1, 2025
Go

Improve this page

Add a description, image, and links to the tree-calculus topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the tree-calculus topic, visit your repo's landing page and select "manage topics."