ulidtko/irc3koji
Simple plugin for irc3 to query information from koji
Public GitHub Catalog
Discovered Oct 6, 2026
ulidtko / atom-language-idris
A Idris Mode for Atom.io
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.
#31136700GitHub System ID
ulidtkoOrganization / User
PublicVisibility
ActiveCatalog Status
More from ulidtko
ulidtko/PETOOH
a fundamentally new programming language
ulidtko/uu-parsinglib
A mirror of uu-parsinglib's svn repository
ulidtko/cling
Cling is an interactive C++ interpreter, built on top of Clang and LLVM compiler infrastructure.