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