@idris-lang
  • Stars
    star
    6,087
  • Global Org. Rank 3,821 (Top 2 %)
  • Registered about 11 years ago
  • Most used languages
    Haskell
    40.0 %
    CSS
    20.0 %
    TeX
    20.0 %
    Idris
    20.0 %