mankyKitty/idris-erlang
Erlang Backend for Idris Compiler
Public GitHub Catalog
Discovered Sep 27, 2026
mankyKitty / warmup-exercises
Short assignments to start the day off right.
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.
#10714627GitHub System ID
mankyKittyOrganization / User
PublicVisibility
ActiveCatalog Status
More from mankyKitty
mankyKitty/ivorylang-org
Sources for the http://ivorylang.org website.
mankyKitty/UrWeb
Presentation for an Introduction to UrWeb
mankyKitty/ur_chatroom
Chat server / client written in UrWeb from POPL 2015 Proposal