adambaker/proofs
types are theorems, programs are proofs
Public GitHub Catalog
Discovered Oct 7, 2026
adambaker / property-testing
code for a loop school video
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.
#35119834GitHub System ID
adambakerOrganization / User
PublicVisibility
ActiveCatalog Status
More from adambaker
adambaker/tomorrow-evening
A slight tweak of Tomorrow-Night from https://github.com/chriskempson/vim-tomorrow-theme
adambaker/haskell-vim-now
One-line Haskell Vim install
adambaker/react-simpletabs
Just a simple tabs component built with React