types-as-predicates

Here is 1 public repository matching this topic...

libdither / disp

Aspiring universal programming language. Features: user-definable syntax and types + self-improving optimizer that creates provably correct, hardware-optimal programs from formal specification. Bootstrapped on Barry Jay's reflective tree calculus.

programming-language dependent-types decentralization tree-calculus types-as-predicates

Updated Sep 17, 2026
Rust

Add this topic to your repo

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

Learn more