Algebraic Graphs (@algebraic-graphs)
  • Stars
    star
    268
  • Global Org. Rank 34,466 (Top 11 %)
  • Registered about 7 years ago
  • Most used languages
    Agda
    20.0 %
    F#
    20.0 %
    Scala
    20.0 %
    R
    20.0 %
    TypeScript
    20.0 %