joneshf/alex-stuff
Public repository.
Public GitHub Catalog
Discovered Oct 6, 2026
joneshf / Idris-dev
A Dependently Typed Functional Programming 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.
#31863597GitHub System ID
joneshfOrganization / User
PublicVisibility
ActiveCatalog Status
More from joneshf
joneshf/jsverify
Property-based testing for JavaScript. Like QuickCheck.
joneshf/minix
Public repository.
joneshf/purescript-ui
The missing PureScript library