Interested in formal methods for real software. My primary focus is on databases, RDF, Type theory, logical query languages and program transformation.
-
TerminusDB
- Dublin
- https://terminusdb.com
- @GavinMGleason
Block or Report
Block or report GavinMendelGleason
Report abuse
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abusePinned
-
terminusdb/terminusdb
terminusdb/terminusdb PublicTerminusDB is a distributed database with a collaboration model
-
-
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.