ToJans/AMA
Ask me anything: create a new issue and I'll answer it...
Public GitHub Catalog
Discovered Oct 3, 2026
ToJans / idris101
Learning project by a group of people interested in learning the Idris language
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.
#27192704GitHub 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