Rankings
Badges
/
tauli
Rankings
Badges
Overview
Ranks
Repositories
Languages
@tauli
Refresh
Open GitHub
🇩🇪 Bielefeld, Germany
antei GmbH
Profile age: over 12 years
Updated 6 days ago
3 followers • 1 following
Contacts
https://antei.de
Repositories
idris-monadic-parser
6
0
updated almost 11 years ago • age about 12 years
Idris
100.0%
loige.co
0
0
updated almost 7 years ago • age almost 7 years
JavaScript
100.0%
Contributions
2023
filestore
1 PR
+3
-3
Haskell
36
21
2022
vanellus-inoeg
3 PRs
+142
-75
TypeScript
0
1
4
2021
services
2 PRs
+227
-6
Go
0
0
6
2018
Babylon.js
1 PR
+2
-2
TypeScript
24,650
3,577
544
2014
idris-vim
1 PR
+1
-1
Vim Script
221
53
iQuery
3 PRs
+181
-54
Idris
40
11
2013
Idris-dev
~6 PRs
+74
-72
Haskell
3,468
635
1
