davidfstr/idris-insertion-sort
Provably correct implementation of insertion sort in Idris.
Public GitHub Catalog
Discovered Sep 25, 2026
davidfstr / Crystal-Web-Archiver
Downloads websites for long-term archival.
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.
#3262361GitHub System ID
davidfstrOrganization / User
PublicVisibility
ActiveCatalog Status
More from davidfstr
davidfstr/Uhuru
A translation assistant for reading Japanese text quickly.
davidfstr/tic-tac-idris
Tic-tac-toe game written in Idris.
davidfstr/django
The Web framework for perfectionists with deadlines.