Discover @kmbarry1 Open Source projects

Kurt Barry (@kmbarry1)

kmbarry1

Stars
47
Global Rank 356,388 (Top 13 %)
Followers 113
Following 1
Registered about 12 years ago
Most used languages

Python
50.0 %

Solidity
50.0 %

flash-thaw

fund-eq-of-dai-certora

Succinctly prove the fundamental equation of DAI fails to hold using the Certora prover.

no-haircut-condition

primitive-sim

curve-v2-analysis

simulate-curve-with-test

forumstyle

Stylometry for online forums (CS229 project)