Share :

haslab

High-Assurance Software Laboratory

@haslab

Portugal 🇵🇹

Refresh user

Last updated : 12:18AM UTC, Nov 7th 2021

138 - Rank 96 047 🌍

Java

Ranking:

World: 11959 / 311069

Portugal 🇵🇹: 26 / 1009

5 repositories

#11959
70

Haskell

Ranking:

World: 1806 / 11059

Portugal 🇵🇹: 5 / 56

4 repositories

#1806
18

JavaScript

Ranking:

World: 78790 / 547136

Portugal 🇵🇹: 265 / 1821

1 repository

#78790
15

C

Ranking:

World: 24673 / 151074

Portugal 🇵🇹: 73 / 584

2 repositories

#24673
12

Erlang

Ranking:

World: 892 / 3845

Portugal 🇵🇹: 10 / 29

2 repositories

#892
10

Coq

Ranking:

World: 278 / 737

Portugal 🇵🇹: 1 / 2

1 repository

#278
5

No language

Ranking:

World: 135964 / 531811

Portugal 🇵🇹: 323 / 1179

2 repositories

#135964
3

Python

Ranking:

World: 292961 / 483868

Portugal 🇵🇹: 788 / 1216

1 repository

#292961
2

Scala

Ranking:

World: 9024 / 15533

Portugal 🇵🇹: 33 / 53

1 repository

#9024
2

HTML

Ranking:

World: 256301 / 267554

Portugal 🇵🇹: 693 / 719

1 repository

#256301
1