srenault/Idris-dev
A Dependently Typed Functional Programming Language
Public GitHub Catalog
Discovered Sep 27, 2026
srenault / pegdown
A pure-Java Markdown processor based on a parboiled PEG parser supporting a number of extensions
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.
#8606800GitHub System ID
srenaultOrganization / User
PublicVisibility
ActiveCatalog Status
More from srenault
srenault/vindinium-starter-idris
Public repository.
srenault/mobile
Mobile app: Clock + Camera
srenault/hack-plain-starter
Public repository.