Rankings
Badges
/
mboes
Rankings
Badges
Overview
Ranks
Repositories
Languages
Mathieu Boespflug
@mboes
Refresh
Open GitHub
🇬🇷 Athens, Greece
@tweag
Profile age: almost 17 years
Updated 4 days ago
167 followers • 19 following
Contacts
@mathieu.social
in/mboes
u/mboes
Organizations
Repositories
hmk
15
3
updated almost 10 years ago • age over 16 years
Haskell
100.0%
cassette
12
0
1
updated about 2 months ago • age over 13 years
Haskell
95.3%
Nix
4.7%
dedukti
9
4
updated over 13 years ago • age over 16 years
Haskell
91.7%
Lua
6.0%
Shell
2.3%
haskell-src-exts-qq
Archived
9
7
updated almost 8 years ago • age over 15 years
Haskell
100.0%
choice
8
2
updated over 1 year ago • age almost 9 years
Haskell
100.0%
zurihac15-talk-examples
6
1
updated over 10 years ago • age over 10 years
Haskell
100.0%
coqine
5
2
updated over 15 years ago • age over 16 years
OCaml
99.9%
Verilog
0.1%
vCard
5
1
updated almost 15 years ago • age over 15 years
Haskell
100.0%
nixos-docs-mockup
Archived
5
3
updated almost 3 years ago • age over 5 years
JavaScript
100.0%
mime-directory
3
3
updated almost 7 years ago • age over 15 years
Haskell
100.0%
Show more - 10 of 11 shown
Contributions
2025
walker
1 PR
+10
-35
Rust
2,097
78
290
2023
hackage-root-keys
1 PR
+22
-0
Standard ML
5
5
2022
liquidhaskell
4 PRs
+578
-1,606
Haskell
1,267
149
15
HaskellR
5 PRs
+304
-452
Haskell
585
43
6
2021
nickel
~8 PRs
+360
-50,664
Rust
2,744
108
27
rules_haskell
2 PRs
+38
-18
Starlark
278
87
18
linear-constraints
1 PR
+8
-9
TeX
8
0
1
nickel-lang.org
1 PR
+87
-0
JavaScript
5
5
2020
pandoc
~6 PRs
+75
-22
Haskell
40,196
3,679
151
asterius
4 PRs
+74
-12
Haskell
1,958
56
Show more
