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