danr/kakoune
mawww's experiment for a better code editor
Public GitHub Catalog
Discovered Oct 6, 2026
danr / dafny-talk
A presentation about first-class functions in Dafny
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.
#34081179GitHub System ID
danrOrganization / User
PublicVisibility
ActiveCatalog Status
More from danr
danr/geniplate
Use TH to generate uniplate-like functions.
danr/tip-benchmarks
tons of inductive problems, the benchmarks
danr/tip-paper
tons of inductive problems CICM article