Staff Engineer @cppalliance and Doctoral Student @Purdue researching formal methods for C++ and working on @cerastes-verifier
- Washington DC
-
10:30
(UTC -04:00)
Pinned Loading
-
-
boostorg/decimal
boostorg/decimal PublicA C++14 Implementation of IEEE 754 Decimal Floating Point Numbers
-
boostorg/int128
boostorg/int128 PublicPortable and Performant 128-bit integers for CPU and GPU
-
cppalliance/safe_numbers
cppalliance/safe_numbers PublicA safe and fully featured replacement for C++ builtin numeric types
-
bemanproject/big_int
bemanproject/big_int PublicReference implementation of std::big_int for C++ (https://wg21.link/p4444)
-
cerastes-verifier/cerastes
cerastes-verifier/cerastes PublicDeductive Verifier for C and C++
Python
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.





