pnkfelix/meeting-minutes
Official minutes for Rust-related meetings
Public GitHub Catalog
Discovered Sep 29, 2026
pnkfelix / 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.
#14592672GitHub System ID
pnkfelixOrganization / User
PublicVisibility
ActiveCatalog Status
More from pnkfelix
pnkfelix/collab-docs
A collection of documents, usually in Markdown format, that I encourage others to submit changes to.
pnkfelix/github-issues-import
Fork of IQAndreas/github-issues-import
pnkfelix/eopl3
Code from the book "Essentials of Programming Languages", 3rd ed. by Friedman and Wand