jeremy-w/NSNoficationCenter_With_Blocks
Solves challenge posed in @drewcrawford's blog post
Public GitHub Catalog
Discovered Oct 28, 2026
jeremy-w / Negb
Demonstrates using generative testing to find counterexamples of a simple theorem from *Certified Programming with Dependent Types*
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.
#43571219GitHub System ID
jeremy-wOrganization / User
PublicVisibility
ActiveCatalog Status
More from jeremy-w
jeremy-w/atom-language-idris
A Idris Mode for Atom.io
jeremy-w/Idris-dev
A Dependently Typed Functional Programming Language
jeremy-w/tryidris
Try Idris