Name: Gabriel Dos Reis
Type: User
Bio: A mathematician interested in all aspects of software construction, with bias towards computational logic, formal methods, and the fun of building useful tools
Location: Greater Seattle Area
Blog: https://www.axiomatics.org/~gdr/
Gabriel Dos Reis's Projects
Native bit bag operations
CMake script activating experimental support for C++ Modules
Collection of benchmarks for C++ Exception Handling
SDK for the IFC specification at https://github.com/microsoft/ifc-spec
IFC format specification
Compiler-neutral Internal Program Representation for C++
OpenAxiom: Platform for Symbolic, Algebraic, and Numeric Computations
Package Description Format