GabrielDosReis/ifc
SDK for the IFC specification at https://github.com/microsoft/ifc-spec
A mathematician interested in all aspects of software construction, with bias towards computational logic, formal methods, and the fun of building useful tools
Repositories
GabrielDosReis/open-axiom
OpenAxiom: Platform for Symbolic, Algebraic, and Numeric Computations
GabrielDosReis/ipr
Compiler-neutral Internal Program Representation for C++
GabrielDosReis/prof-frame
The C++ Profiles Framework
GabrielDosReis/ifc-spec
IFC format specification
GabrielDosReis/eh-support
Collection of benchmarks for C++ Exception Handling
GabrielDosReis/quacks-like-a-prime
GabrielDosReis/cxx
C++ projects and notes
GabrielDosReis/bits
Native bit bag operations
GabrielDosReis/archived-liz
Liz specification and implementation
GabrielDosReis/cmake-for-modules
CMake script activating experimental support for C++ Modules
GabrielDosReis/pkg-fmt
Package Description Format