Gabriel Dos Reis

icon indicating a website link https://www.axiomatics.org/~gdr/

icon location Greater Seattle Area icon location A mathematician interested in all aspects of software construction, with bias towards computational logic, formal methods, and the fun of building useful tools

Results 2 repositories owned by Gabriel Dos Reis

ipr

218
Stars
23
Forks
Watchers

Compiler-neutral Internal Program Representation for C++

verified publisher icon GabrielDosReis

open-axiom

22
Stars
7
Forks
Watchers

OpenAxiom: Platform for Symbolic, Algebraic, and Numeric Computations

verified publisher icon GabrielDosReis