balajirrao/logger
A fast logging system for Haskell
Public GitHub Catalog
Discovered Sep 30, 2026
balajirrao / agda-feit-higman-theorem
Formalization of Feit Higman Theorem - v 2.0
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.
#17170130GitHub 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.