rntz/tiny-session-types
Toy implementation of a session-typed language for learning purposes
Public GitHub Catalog
Discovered Oct 1, 2026
rntz / curry-howard-slides
Public repository discovered through GitHub real-time crawl.
About this discovery
Public repository record indexed from GitHub. Explore verified star velocity metrics, source code repositories, and curated developer tool directories across the GitHubRepo ecosystem.
#22438059GitHub System ID
rntzOrganization / User
PublicVisibility
ActiveCatalog Status
More from rntz
rntz/cam-rust
Simple functional VM based on Categorical Abstract Machine, implemented in Rust
rntz/agda-lib
A standard library for Agda (mirror of BitBucket repository)
rntz/libunwind
Public repository.