Rankings
Badges
/
andreasabel
Rankings
Badges
Overview
Ranks
Repositories
Languages
Andreas Abel
@andreasabel
Refresh
Open GitHub
🇸🇪 Gothenburg, Sweden
Chalmers and Gothenburg University
Profile age: almost 14 years
Updated 1 day ago
288 followers • 3 following
Contacts
andreas.abel@ifi.lmu.de
http://www.tcs.ifi.lmu.de/~abel
Organizations
Repositories
miniagda
111
4
4
updated 2 months ago • age almost 9 years
Haskell
66.6%
Mathematica
26.1%
TeX
4.5%
Yacc
1.9%
Makefile
0.9%
strong-normalization
35
3
updated about 6 years ago • age over 8 years
TeX
77.4%
Coq
10.9%
Agda
5.0%
F*
4.7%
JavaScript
2.1%
helf
31
3
updated 5 months ago • age almost 9 years
Haskell
58.3%
TeX
37.9%
Makefile
2.3%
Lex
0.8%
Yacc
0.7%
ipl
22
2
updated 4 months ago • age over 7 years
TeX
81.4%
Agda
14.9%
BibTeX Style
2.1%
Makefile
1.6%
java-adt
16
0
updated 2 months ago • age almost 9 years
Haskell
79.5%
Yacc
8.6%
Lex
8.3%
Makefile
3.6%
agda2lagda
14
0
2
updated 25 days ago • age about 5 years
Haskell
84.4%
TeX
5.7%
Makefile
5.2%
Agda
4.7%
proposal-agda-tutorial
11
0
updated almost 7 years ago • age almost 7 years
cabal-clean
10
0
updated 29 days ago • age about 4 years
Haskell
96.4%
Makefile
3.6%
universal-algebra
10
2
updated almost 4 years ago • age over 4 years
Agda
52.5%
TeX
34.7%
Makefile
12.8%
agda-automata
8
0
updated over 1 year ago • age over 1 year
Agda
63.3%
TeX
34.5%
Makefile
1.7%
sed
0.6%
Show more - 10 of 47 shown
Contributions
2025
agda
2 PRs
+166
-93
Haskell
2,711
382
14
cabal
2 PRs
+26
-454
Haskell
1,690
723
15
hasktorch
1 PR
+19
-19
Haskell
1,152
117
conduit
1 PR
+92
-31
Haskell
922
200
quickcheck
1 PR
+20
-10
Haskell
764
125
agda-stdlib
~6 PRs
+21
-22
Agda
625
257
16
bnfc
3 PRs
+71
-189
TeX
607
173
18
stackage
~10 PRs
+14
-12
Dockerfile
548
821
cubical
1 PR
+12
-17
Agda
505
156
8
haskell-ci
1 PR
+50
-28
Haskell
448
76
Show more
