Rankings
Badges
/
mbenke
Rankings
Badges
Overview
Ranks
Repositories
Languages
Marcin Benke
@mbenke
Refresh
Open GitHub
🇵🇱 Warszawa, Poland
Profile age: almost 16 years
Updated 10 days ago
44 followers • 4 following
Contacts
marcin.benke@gmail.com
Repositories
jnp3-haskell
31
31
3
updated 10 months ago • age about 8 years
Haskell
100.0%
labjpp
12
0
updated about 1 year ago • age over 9 years
zpf2013
7
5
updated over 11 years ago • age almost 13 years
Haskell
94.3%
Agda
4.9%
TeX
0.6%
Idris
0.3%
zpf2012
6
0
updated over 12 years ago • age almost 14 years
Haskell
100.0%
hm-typecheck
6
1
updated over 1 year ago • age almost 2 years
Haskell
51.5%
Solidity
48.2%
Nix
0.2%
vera
3
0
updated over 7 years ago • age over 13 years
Haskell
100.0%
lucretia
2
1
updated about 11 years ago • age about 14 years
Haskell
100.0%
www2018
1
0
updated over 7 years ago • age over 7 years
Python
78.7%
HTML
21.3%
try_git
0
0
updated over 1 year ago • age almost 13 years
hello-github
0
0
updated about 8 years ago • age about 8 years
Contributions
2025
solcore
1 PR
+1
-0
Haskell
55
4
2024
solcore
~15 PRs
+256
-62
Haskell
55
4
solcore
~6 PRs
+10,505
-112
Haskell
1
2
2022
documents
2 PRs
+19
-19
0
1
2021
yagna
1 PR
+3
-3
Rust
461
75
390
2020
gu-python-client
1 PR
+52
-14
Python
0
5
2019
clay
3 PRs
+47
-29
Python
2,890
284
37
gMorph
~8 PRs
+101
-6
Rust
25
4
gudot
2 PRs
+53
-16
Rust
2
3
gwasm-tutorial
1 PR
+17
-19
Dockerfile
0
0
Show more
