GabrielDosReis
A mathematician interested in all aspects of software construction, with bias towards computational logic, formal methods, and the fun of building useful tools
Greater Seattle Area
Pinned Repositories
bits
Native bit bag operations
cmake-for-modules
CMake script activating experimental support for C++ Modules
eh-support
Collection of benchmarks for C++ Exception Handling
ifc
SDK for the IFC specification at https://github.com/microsoft/ifc-spec
ifc-spec
IFC format specification
ipr
Compiler-neutral Internal Program Representation for C++
open-axiom
OpenAxiom: Platform for Symbolic, Algebraic, and Numeric Computations
pkg-fmt
Package Description Format
ifc-spec
IFC format specification
wg-best-practices-os-developers
The Best Practices for OSS Developers working group is dedicated to raising awareness and education of secure code best practices for open source developers.
GabrielDosReis's Repositories
GabrielDosReis/ipr
Compiler-neutral Internal Program Representation for C++
GabrielDosReis/open-axiom
OpenAxiom: Platform for Symbolic, Algebraic, and Numeric Computations
GabrielDosReis/eh-support
Collection of benchmarks for C++ Exception Handling
GabrielDosReis/cmake-for-modules
CMake script activating experimental support for C++ Modules
GabrielDosReis/bits
Native bit bag operations
GabrielDosReis/pkg-fmt
Package Description Format
GabrielDosReis/ifc
SDK for the IFC specification at https://github.com/microsoft/ifc-spec
GabrielDosReis/ifc-spec
IFC format specification