aaronlifton3/LearnIdris
repo for learning the Idris programming language & dependent types
Public GitHub Catalog
Discovered Oct 3, 2026
aaronlifton3 / ng-classify
Convert CoffeeScript classes to AngularJS modules
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.
#26971442GitHub System ID
aaronlifton3Organization / User
PublicVisibility
ActiveCatalog Status
More from aaronlifton3
aaronlifton3/rails-4-angular-sorcery
Rails 4 + Angular.js + Sorcery
aaronlifton3/acute
Let's pretend angular was written in ClojureScript
aaronlifton3/scalaz-contrib
Interoperability libraries & additional data structures and instances for Scalaz