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