Spencer Hubbard (@hubbards)
github

hubbards

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    13
  • Global Rank 834,067 (Top 29 %)
  • Followers 16
  • Following 10
  • Registered about 10 years ago
  • Most used languages
    Haskell
         50.0 %
    Kotlin
         25.0 %
    Coq     25.0 %
  • Location πŸ‡ΊπŸ‡Έ United States
  • Country Total Rank 139,947
  • Country Ranking
    Coq     128
    Haskell
         966
    Kotlin
         2,942

Top repositories

1

stlc-haskell

Simply typed lambda calculus in Haskell
Haskell
5
star
2

stlc-coq

Simply typed lambda calculus in Coq
Coq
3
star
3

group-theory-haskell

Group theory in Haskell
Haskell
3
star
4

xpath-kotlin

XPath in Kotlin
Kotlin
2
star