Michael Borkowski

@michaelborkowski

Open GitHub

🇺🇸 West Lafayette, IN

Purdue University

Profile age: almost 7 years

Updated 5 days ago

5 followers • 0 following

Contacts

mhborkow@purdue.edu

https://michaelborkowski.github.io/

Organizations

Repositories

liquidmeta

updated about 1 year ago • age almost 6 years

SMT56.5%

Haskell28.1%

Coq13.2%

HTML1.8%

Makefile0.3%

lh-array-sort-new

updated 29 days ago • age 7 months

Haskell55.9%

C31.9%

Standard ML9.9%

Java1.2%

Python1.1%

Contributions

2025
gibbon
1 PR +32-22
C
172
19
2023
01-trees
1 PR +41-30
Haskell
0
9
2021
liquidhaskell
1 PR +406-3
Haskell
1,264
150
15
liquid-fixpoint
3 PRs +944-54
Haskell
152
63
9
2019
230-wi19-web
2 PRs +749-1
Haskell
28
23