Rankings
Badges
/
phK3
Rankings
Badges
Overview
Ranks
Repositories
Languages
@phK3
Refresh
Open GitHub
null
Profile age: over 7 years
Updated 13 days ago
0 followers • 2 following
Repositories
NNEquivalence
2
1
updated about 1 year ago • age over 6 years
Jupyter Notebook
94.7%
Python
2.8%
SMT
2.4%
JetBrains MPS
0.2%
DPNeurifyFV.jl
1
1
updated 8 months ago • age over 3 years
Julia
80.2%
Jupyter Notebook
16.4%
Python
3.5%
VeryDiffPolyExperiments
0
0
updated 28 days ago • age 7 months
Jupyter Notebook
99.9%
Julia
0.1%
Shell
0.0%
Contributions
