Noah Goodman (@buonuomo)
github

buonuomo

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    5
  • Global Rank 1,435,387 (Top 50 %)
  • Followers 3
  • Following 4
  • Registered almost 9 years ago
  • Most used languages
    Haskell
         50.0 %
    Idris     50.0 %
  • Location 🇺🇸 United States
  • Country Total Rank 217,931
  • Country Ranking
    Idris     72
    Haskell
         1,444

Top repositories

1

Text.Pronounce

A Haskell library for interfacing with the CMU Pronouncing Dictionary
Haskell
4
star
2

idris-algebra

Proving algebraic properties using Idris
Idris
1
star