Bob TheBuilder (@aaronlifton3)
github

aaronlifton3

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    17
  • Global Rank 708,350 (Top 25 %)
  • Followers 96
  • Following 443
  • Registered about 15 years ago
  • Most used languages
    Clojure
         33.3 %
    Idris     33.3 %
    Ruby
         33.3 %
  • Location 🇺🇸 United States
  • Country Ranking
    Idris     64
    Clojure
         2,135

Top repositories

1

ActiveRecordRedisLock

Enable redis locking of active record queries
Ruby
1
star
2

clojure-meta-fns

Clojure Fns
Clojure
1
star
3

LearnIdris

repo for learning the Idris programming language & dependent types
Idris
1
star
4

microgroups

meteor.js minimal groups app
1
star