Rankings
Badges
/
pa-ba
Rankings
Badges
Overview
Ranks
Repositories
Languages
Patrick Bahr
@pa-ba
Refresh
Open GitHub
🇩🇰 Copenhagen, Denmark
IT University of Copenhagen
Profile age: about 13 years
Updated 11 days ago
68 followers • 0 following
Contacts
patrick@bahr.io
https://bahr.io
Repositories
compdata
92
27
updated about 2 years ago • age over 11 years
Haskell
99.8%
Shell
0.2%
calc-comp
31
2
updated almost 2 years ago • age over 11 years
Coq
64.2%
Makefile
24.1%
Haskell
11.7%
AsyncRattus
14
2
updated 8 months ago • age over 2 years
Haskell
100.0%
Rattus
14
3
updated about 2 years ago • age over 5 years
Haskell
100.0%
McCarthy-Painter
13
1
updated about 8 years ago • age almost 9 years
Coq
63.2%
Makefile
36.8%
equivalence
13
5
updated 3 months ago • age almost 9 years
Haskell
100.0%
reg-machine
12
1
updated over 3 years ago • age over 9 years
Coq
76.5%
Makefile
17.8%
Haskell
5.8%
compdata-param
10
7
updated almost 3 years ago • age over 11 years
Haskell
99.6%
Shell
0.4%
guarded-lean
9
2
updated 12 months ago • age almost 2 years
Lean
100.0%
alfred
8
1
updated over 10 years ago • age over 11 years
Haskell
100.0%
Show more - 10 of 14 shown
Contributions
2021
stackage
2 PRs
+2
-0
Dockerfile
546
820
2020
stackage
1 PR
+3
-0
Dockerfile
546
820
