nikomatsakis/rust-tutorial-splash2014
Some tutorial-style examples of Rust programs
Public GitHub Catalog
Discovered Sep 29, 2026
nikomatsakis / rust-redex
A Redex Model of Rust, or more specifically an encoding of Patina, the formal model for rust's type safety
About this discovery
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
#14459602GitHub System ID
nikomatsakisOrganization / User
PublicVisibility
ActiveCatalog Status
More from nikomatsakis
nikomatsakis/pjs-pipeline
Experimental API.
nikomatsakis/rust-name-resolution-algorithm
A prototype of my proposed name resolution algorithm for Rust.
nikomatsakis/rust-safe-robinhood-map
An experimental safe version of robin hood map in Rust