archaeron/idris-fiamma
Generate HTML from idris
Public GitHub Catalog
Discovered Oct 31, 2026
archaeron / atom-language-idris-tests
Public repository discovered through GitHub real-time crawl.
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.
#44920589GitHub System ID
archaeronOrganization / User
PublicVisibility
ActiveCatalog Status
More from archaeron
archaeron/purescript-markdown
A Purescript library for parsing SlamData's dialect of Markdown.
archaeron/ElmInvaders
SpaceInvaders using Elm
archaeron/highlighter
Highlight idris code