cordarei/tkrm
冒涜的な手榴ｄ（ｒｙ
Public GitHub Catalog
Discovered Oct 7, 2026
cordarei / MONA
MONA - a decision procedure for monadic second-order logic on finite strings and trees
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.
#36489482GitHub System ID
cordareiOrganization / User
PublicVisibility
ActiveCatalog Status
More from cordarei
cordarei/hage
名状しがたいハゲのような何か
cordarei/spacemacs
Emacs advanced Kit focused on Evil: The best editor is neither Emacs nor Vim, it's Emacs *and* Vim!
cordarei/racket
The Racket repository