bryantcurto

Proving systems software correct with computers.

Northeastern UniversityBoston

Pinned Repositories

Cachetest
Language:C++00
cgal
The public CGAL repository, see the README below
Language:C++00
curriculum-vitae
Language:TeX00
Debugging
Debugging Strategies and Tips
2 2 00
pix2pixHD-tf
Tensorflow implementation of pix2pixHD
Language:Python00
PolygonSimplification
A header-only library using CGAL to simplify polygons.
Language:C++00
redis
Redis is an in-memory database that persists on disk. The data model is key-value, but many different kind of values are supported: Strings, Lists, Sets, Sorted Sets, Hashes, Streams, HyperLogLogs, Bitmaps.
Language:C00
SeniorThesisProject
NYU Senior Honors Thesis project - Ghosting ASLR: A Spectre Extension
00
UW-Course-Projects
University of Waterloo Course Projects
Language:TeX00
UW-CS848-ClarityScore
Language:Python00

bryantcurto's Repositories

bryantcurto/Debugging
Debugging Strategies and Tips
2 2 00
bryantcurto/Cachetest
Language:C++00
bryantcurto/cgal
The public CGAL repository, see the README below
Language:C++00
bryantcurto/curriculum-vitae
Language:TeX00
bryantcurto/pix2pixHD-tf
Tensorflow implementation of pix2pixHD
Language:Python00
bryantcurto/PolygonSimplification
A header-only library using CGAL to simplify polygons.
Language:C++00
bryantcurto/redis
Redis is an in-memory database that persists on disk. The data model is key-value, but many different kind of values are supported: Strings, Lists, Sets, Sorted Sets, Hashes, Streams, HyperLogLogs, Bitmaps.
Language:C00
bryantcurto/SeniorThesisProject
NYU Senior Honors Thesis project - Ghosting ASLR: A Spectre Extension
00
bryantcurto/UW-Course-Projects
University of Waterloo Course Projects
Language:TeX00
bryantcurto/UW-CS848-ClarityScore
Language:Python00