negatratoron/book
A textbook on informal homotopy type theory
Public GitHub Catalog
Discovered Oct 5, 2026
negatratoron / dxx-rebirth
Descent-Rebirth and Descent II-Rebirth
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.
#29897426GitHub System ID
negatratoronOrganization / User
PublicVisibility
ActiveCatalog Status
More from negatratoron
negatratoron/idris-algebra
This is an attempt at painting as many bikesheds as possible with a typeclass hierarchy for idris reflecting "Algebra"
negatratoron/hcj-hs
Public repository.
negatratoron/ansuzjs
higher order functions for function composition, laziness, backtracking, and other magic