ulidtko/atom-language-idris
A Idris Mode for Atom.io
Public GitHub Catalog
Discovered Oct 3, 2026
ulidtko / irc3koji
Simple plugin for irc3 to query information from koji
About this discovery
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
#27994286GitHub 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.