ulidtko/Verified
A collection of proofs for some idris class instances
Public GitHub Catalog
Discovered Sep 24, 2026
ulidtko / versioned-configs
Naming dotfiles as "versioned-configs" before it was cool
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.
#1184860GitHub System ID
ulidtkoOrganization / User
PublicVisibility
ActiveCatalog Status
More from ulidtko
ulidtko/language-haskell
Haskell language support for Atom
ulidtko/Idris-dev
A Dependently Typed Functional Programming Language
ulidtko/atom-language-idris
A Idris Mode for Atom.io