TLA+ (@tlaplus)
  • Stars
    star
    5,424
  • Global Org. Rank 4,253 (Top 2 %)
  • Registered about 12 years ago
  • Most used languages
    TLA
    30.8 %
    HTML
    23.1 %
    Python
    15.4 %
    TypeScript
    7.7 %
    OCaml
    7.7 %
    Java
    7.7 %
    TeX
    7.7 %