robertberry-zz/Idris-dev
A Dependently Typed Functional Programming Language
Public GitHub Catalog
Discovered Oct 2, 2026
robertberry-zz / whereiscantlin.com
whereiscantlin.com
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.
#25349145GitHub System ID
robertberry-zzOrganization / User
PublicVisibility
ActiveCatalog Status
More from robertberry-zz
robertberry-zz/diff-sync-editor
Collaborative editor in Scala/JavaScript using Google's Diff Match Patch
robertberry-zz/sudoku.js
Sudoku using Omniscient JS
robertberry-zz/om-merels
Merels game in Om