balajirrao/logger
A fast logging system for Haskell
Public GitHub Catalog
Discovered Sep 29, 2026
balajirrao / feit-higman-agda
Formalising generalised polygons with an intention to prove Feit-Higman theorem
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.
#15173588GitHub System ID
balajirraoOrganization / User
PublicVisibility
ActiveCatalog Status
More from balajirrao
balajirrao/spacemacs
An Emacs distribution - The best editor is neither Emacs nor Vim, it's Emacs *and* Vim!
balajirrao/thip
Typing Haskell in Python
balajirrao/balajirrao.github.io
Public repository.