- New York, NY
- https://lematt1991.github.io/
Block or Report
Block or report lematt1991
Report abuse
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abusePinned Loading
-
ICFP15-Coq-Proofs
ICFP15-Coq-Proofs PublicProofs of correctness for "Partial Aborts for Software Transactional Memory" formalized in Coq
-
jfaghm/OceanEddies
jfaghm/OceanEddies PublicA collection of algorithms to autonomously identify and track mesoscale ocean eddies in sea surface height (SSH) satellite data
-
ArnholdInstitute/ColdSpots
ArnholdInstitute/ColdSpots PublicIdentifying Remote Communities at Scale: A Machine Learning Analysis of Global Satellite Imagery
-
-
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.