silky/dafny
Dafny is a verification-aware programming language
Public GitHub Catalog
Discovered Nov 10, 2026
silky / TuringMachine
Turing Machine Mk 2 Main Module
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.
#62934214GitHub System ID
silkyOrganization / User
PublicVisibility
ActiveCatalog Status
More from silky
silky/Apollo-11
Original Apollo 11 guidance computer (AGC) source code.
silky/react-infinite-calendar
✨ Infinite scrolling date-picker built with React, with localization, themes, keyboard support, and more.
silky/rumpus
A Livecoding Playground for Room-Scale VR