ToJans/AMA
Ask me anything: create a new issue and I'll answer it...
Live code from the presentation (a bit cleaned up and some errors fixed)
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
Ask me anything: create a new issue and I'll answer it...
Learning project by a group of people interested in learning the Idris language
Public repository.
JavaScript 3D library.