Maximilian Algehed

@MaximilianAlgehed

Open GitHub

🇸🇪 Gothenburg

Quviq AB

Profile age: about 11 years

Updated 17 days ago

46 followers • 33 following

Repositories

VisPar

updated over 7 years ago • age over 8 years

Haskell100.0%

DCC

updated over 7 years ago • age over 8 years

Haskell100.0%

SpecDSL

updated about 9 years ago • age about 9 years

Haskell94.7%

Erlang5.3%

Haspec

updated over 9 years ago • age over 9 years

Haskell100.0%

DynamicIFCTheoremsForFree

updated about 5 years ago • age over 5 years

Agda100.0%

Multef

updated about 7 years ago • age about 7 years

Coq69.8%

Haskell27.6%

Isabelle1.5%

Shell1.1%

QuickSpecConditionalBenchmarks

updated over 9 years ago • age over 9 years

Haskell93.5%

Shell6.5%

HPPBTT

updated almost 8 years ago • age about 8 years

Haskell100.0%

Graceful

updated about 8 years ago • age over 9 years

Haskell68.0%

TeX32.0%

quickspec

updated over 6 years ago • age about 9 years

Haskell100.0%

Contributions

2025
quickcheck
3 PRs +37-15
Haskell
767
128
cardano-ledger
~13 PRs +15-21,592
Haskell
275
165
2
constrained-generators
1 PR +19-2
Haskell
3
0
eqc-rebar
1 PR +27-1
Erlang
1
0
2024
hspec
1 PR +35-17
Haskell
777
107
quickcheck
2 PRs +41-466
Haskell
767
128
cardano-ledger
~51 PRs +322-110
Haskell
275
165
2
aiarena-web
2 PRs +14-10
Python
96
18
76
quickcheck-dynamic
2 PRs +196-116
Haskell
32
11
1
quickcheck-contractmodel
1 PR +371-114
Haskell
7
9
3

Maximilian Algehed