Grupo de Linguagens de Programação, Verificação e Especificação de Software da UFOP (@lives-group)
  • Stars
    star
    24
  • Global Org. Rank 109,894 (Top 35 %)
  • Registered over 10 years ago
  • Most used languages
    Racket
    35.7 %
    Haskell
    21.4 %
    TeX
    14.3 %
    Agda
    14.3 %
    Java
    7.1 %
    JavaScript
    7.1 %