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
- https://www.axiomatics.org/~gdr/
Highlights
- Pro
Stars
SDK for the IFC specification at https://github.com/microsoft/ifc-spec
KISS C++20 Type Reflection using IFC files
OpenAxiom: Platform for Symbolic, Algebraic, and Numeric Computations
Compiler-neutral Internal Program Representation for C++





