ToJans/idris101
Learning project by a group of people interested in learning the Idris language
Public GitHub Catalog
Discovered Oct 3, 2026
ToJans / AMA
Ask me anything: create a new issue and I'll answer it...
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.
#27584197GitHub System ID
ToJansOrganization / User
PublicVisibility
ActiveCatalog Status
More from ToJans
ToJans/eeg
Public repository.
ToJans/three.js
JavaScript 3D library.
ToJans/ezmq
ZeroMQ implemented in Erlang