Rankings
Badges
/
umazalakain
Rankings
Badges
Overview
Ranks
Repositories
Languages
Uma Zalakain
@umazalakain
Refresh
Open GitHub
🇬🇧 Glasgow, Scotland
Profile age: almost 14 years
Updated 5 days ago
115 followers • 5 following
Contacts
ping@umazalakain.info
https://umazalakain.info/
Organizations
Repositories
typing-linear-pi
29
4
updated over 3 years ago • age over 5 years
TeX
63.5%
Agda
36.5%
agda-bcam
27
4
updated almost 4 years ago • age about 4 years
Agda
74.2%
HTML
12.8%
TeX
5.7%
CSS
5.0%
Haskell
2.3%
errata
27
2
7
updated over 1 year ago • age almost 2 years
Scala
100.0%
lightweight-motion
Archived
23
0
updated almost 10 years ago • age over 12 years
Python
100.0%
qinfluxdb
20
6
updated over 11 years ago • age over 11 years
Python
100.0%
session-types-coq
17
1
updated about 6 years ago • age over 6 years
TeX
87.9%
Coq
12.1%
fyp
13
1
updated over 2 years ago • age over 7 years
Agda
84.2%
TeX
15.4%
Makefile
0.4%
CoContextualPi
11
1
updated about 4 years ago • age almost 5 years
Agda
100.0%
Contributions
2024
grackle
1 PR
+116
-18
Scala
183
29
53
contentful-import
1 PR
+108
-15
TypeScript
103
40
416
2021
diary
1 PR
+25
-42
Java
295
59
105
shine
~29 PRs
+763
-520
Scala
83
13
DependentLinearPi
1 PR
+32
-57
Agda
15
2
arithexpr
2 PRs
+5
-19
Scala
0
0
2020
nixpkgs
1 PR
+1
-1
Nix
22,039
16,952
agda
1 PR
+25
-10
Haskell
2,730
387
14
agda-stdlib
~10 PRs
+21
-3
Agda
629
258
16
2019
nixpkgs
1 PR
+2
-2
Nix
22,039
16,952
Show more
