leecrossley/idris101
Learning project by a group of people interested in learning the Idris language
Public GitHub Catalog
Discovered Sep 25, 2026
leecrossley / PhoneStub
Facilitates the testing and running of Cordova (PhoneGap) based applications in a desktop or headless browser.
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.
#4430116GitHub System ID
leecrossleyOrganization / User
PublicVisibility
ActiveCatalog Status
More from leecrossley
leecrossley/david-www
David helps keep your Node.js project dependencies up to date.
leecrossley/mumford
I will wait, I will wait for you
leecrossley/cordova-plugin-app-version
Cordova plugin to return the version number of the current app