Share :

danelahman

Danel Ahman

@danelahman

Ljubljana 🇸🇮

Refresh user

Last updated : 01:45AM UTC, Jun 18th 2021

41 - Rank 215 976 🌍

Haskell

Ranking:

World: 1469 / 11059

Slovenia 🇸🇮: 3 / 6

Ljubljana: 3 / 4

1 repository

#1469
26

Agda

Ranking:

World: 77 / 349

Slovenia 🇸🇮: 2 / 3

Ljubljana: 2 / 2

3 repositories

#77
14

F*

Ranking:

World: 24 / 40

Slovenia 🇸🇮: 1 / 1

Ljubljana: 1 / 1

1 repository

#24
1