Share :

lives-group

Grupo de Linguagens de Programação, Verificação e Especificação de Software da UFOP

@lives-group

Refresh user

Last updated : 12:34AM UTC, Nov 21st 2021

18 - Rank 354 049 🌍

Agda

Ranking:

World: 115 / 349

2 repositories

#115
8

Racket

Ranking:

World: 498 / 1427

2 repositories

#498
3

Haskell

Ranking:

World: 5749 / 11059

2 repositories

#5749
2

Java

Ranking:

World: 172473 / 311069

1 repository

#172473
2

TeX

Ranking:

World: 9580 / 23502

2 repositories

#9580
2

JavaScript

Ranking:

World: 540191 / 547136

1 repository

#540191
1