ziman/idris-benchmarks
Some benchmarks for Idris
Public GitHub Catalog
Discovered Sep 24, 2026
ziman / deconvolution
A deconvolution algorithm
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.
#2622426GitHub System ID
zimanOrganization / User
PublicVisibility
ActiveCatalog Status
More from ziman
ziman/text
Text framework for Idris
ziman/bang-cheatsheet
Public repository.
ziman/bibdris
BibTeX database management in Idris