danielwaterworth/verified_vm
Formalization of a virtual machine designed for running formally verified code.
Public GitHub Catalog
Discovered Sep 26, 2026
danielwaterworth / em-hiredis
Eventmachine redis client
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.
#5936037GitHub System ID
danielwaterworthOrganization / User
PublicVisibility
ActiveCatalog Status
More from danielwaterworth
danielwaterworth/plastic
What happens if you take dependency injection and bake it into a programming language?
danielwaterworth/vm-playground
Fun making virtual machines, probably won't come to much.
danielwaterworth/bread
Playground for QBF solving.