Skip to content
#

region-calculus

Star

Here is 1 public repository matching this topic...

hyperpolymath / ephapax

Sponsor
Star 2

Dyadic linear+affine type system for compile-time WASM memory safety — no use-after-free, no leaks, region-based allocation. Mechanically proved in Coq (preservation 22 open / 910 closed) and Idris2 (8/9 files %default total).

programming-language rust security compiler coq webassembly wasm systems memory-safety agda type-system formal-verification operational-semantics linear-types rsr palimpsest idris2 affine-types hyperpolymath region-calculus
  • Updated May 22, 2026
  • Rust

Improve this page

Add a description, image, and links to the region-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 region-calculus topic, visit your repo's landing page and select "manage topics."

Learn more