mankyKitty/idris-erlang
Erlang Backend for Idris Compiler
Public GitHub Catalog
Discovered Oct 7, 2026
mankyKitty / ivorylang-org
Sources for the http://ivorylang.org website.
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.
#35139820GitHub System ID
mankyKittyOrganization / User
PublicVisibility
ActiveCatalog Status
More from mankyKitty
mankyKitty/UrWeb
Presentation for an Introduction to UrWeb
mankyKitty/ur_chatroom
Chat server / client written in UrWeb from POPL 2015 Proposal
mankyKitty/WYASv2
Public repository.