jmitchell/programming-praxis
exercises from programmingpraxis.com
Public GitHub Catalog
Discovered Oct 2, 2026
jmitchell / mirage-experiments
Public repository discovered through GitHub real-time crawl.
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.
#23598383GitHub System ID
jmitchellOrganization / User
PublicVisibility
ActiveCatalog Status
More from jmitchell
jmitchell/Idris-dev
A Dependently Typed Functional Programming Language
jmitchell/idris-tutorial
A tutorial to the Idris Programming Language.
jmitchell/platform-bootstrapper
Launch platform-specific code from a single script that works on Windows and POSIX. Embrace the bug-ridden hack ;)