Max Levatich

@mlevatich

Open GitHub

🇺🇸 New York

Columbia University

Profile age: over 8 years

Updated 13 days ago

9 followers • 4 following

Contacts

ml4553@columbia.edu

mlevatich.github.io

Repositories

sls-reachability

updated about 6 years ago • age about 6 years

SMT80.1%

Python19.9%

Abelon

updated 5 months ago • age almost 6 years

Lua96.8%

Python3.2%

FormA

updated over 1 year ago • age almost 4 years

TeX62.9%

C35.4%

Makefile1.7%

Contributions

2022
z3
1 PR +29-9
C++
11,443
1,569
50
2021
shadow-hunters
~6 PRs +262-249
Python
19
11
3
2020
Zen
1 PR +970-212
C#
107
12
shadow-hunters
3 PRs +1,307-1,574
Python
19
11
3
2019
shadow-hunters
~14 PRs +4,199-1,821
Python
19
11
3