Rankings
Badges
/
mbg
Rankings
Badges
Overview
Ranks
Repositories
Languages
Michael B. Gale
@mbg
Refresh
Open GitHub
🇬🇧 UK
Profile age: over 15 years
Updated 8 days ago
198 followers • 123 following
Contacts
mbg@github.com
michael-gale.co.uk
@mbg@mastodon.social
Organizations
Repositories
cs310
40
5
updated 21 days ago • age almost 5 years
TeX
94.2%
Nix
5.8%
hindley-milner
39
1
updated almost 4 years ago • age over 9 years
Haskell
100.0%
wai-rate-limit
14
3
updated about 1 month ago • age about 5 years
Haskell
100.0%
system-f-with-kind-polymorphism
7
0
updated over 10 years ago • age over 10 years
Haskell
95.8%
Yacc
3.0%
Logos
1.1%
hoop
7
0
updated over 5 years ago • age over 10 years
Haskell
100.0%
ncc
5
1
updated over 11 years ago • age over 12 years
Haskell
100.0%
wai-saml2
5
8
5
updated about 1 month ago • age over 5 years
Haskell
100.0%
latex-stuff
4
1
updated over 11 years ago • age over 11 years
TeX
100.0%
LLVMSharp
2
1
updated over 10 years ago • age about 14 years
C++
76.0%
C#
24.0%
logstash
2
0
updated 12 months ago • age almost 5 years
Haskell
100.0%
Show more - 10 of 29 shown
Contributions
2025
codeql
1 PR
+2
-2
CodeQL
8,922
1,822
codeql-action
~91 PRs
+74
-8
TypeScript
1,412
418
455
tasty-hedgehog
1 PR
+1
-1
Haskell
38
22
1
depstubber
1 PR
+12
-14
Go
17
8
2024
codeql
~55 PRs
+1,319
-633
CodeQL
8,922
1,822
codeql-action
~8 PRs
+2,919
-107
TypeScript
1,412
418
455
groups-2024
~19 PRs
+252
-19
TypeScript
2
120
rps-2024
~19 PRs
+1,028
-139
Java
0
0
2023
codeql
~37 PRs
+3,362
-3,025
CodeQL
8,922
1,822
codeql-action
5 PRs
+1,488
-177
TypeScript
1,412
418
455
Show more
