GavinMendelGleason
Doing my bit to re-imagine the data space in a world of effective AI.
VectorLinkVienna
Pinned Repositories
blog
Gavin Mendel-Gleason's blog
Cocktail
Supercompiler for a variant of System-F(omega)
code
All of the random projects, test files, helloworlds, proofs etc.
excel_as_code
Blog on excel as code
many_worlds
A description of the relationship between databases, collaboration and Kripke
mavis
Optional types for Prolog
programming_semantics
Semantics of Programming Languages
syntactic_versioning
What if Git worked with Programming Languages?
why_terminusx
Why we made TerminusX
terminusdb
TerminusDB is a distributed database with a collaboration model
GavinMendelGleason's Repositories
GavinMendelGleason/excel_as_code
Blog on excel as code
GavinMendelGleason/syntactic_versioning
What if Git worked with Programming Languages?
GavinMendelGleason/blog
Gavin Mendel-Gleason's blog
GavinMendelGleason/many_worlds
A description of the relationship between databases, collaboration and Kripke
GavinMendelGleason/why_terminusx
Why we made TerminusX
GavinMendelGleason/code
All of the random projects, test files, helloworlds, proofs etc.
GavinMendelGleason/data_mesh
Data Mesh Book
GavinMendelGleason/terminusBlog
An example blog written in TerminusDB
GavinMendelGleason/isolog
The Isolog data transducer system
GavinMendelGleason/lexdata
Lexically sortable datatypes
GavinMendelGleason/seshat-web
Seshat Global History Databank web interaction
GavinMendelGleason/simtown
An agent based economic simulation based on a model of the circuit of capital
GavinMendelGleason/terminusdb-scripts
Various scripts for TerminusDB processing
GavinMendelGleason/transformer
Tools for program transformation in prolog
GavinMendelGleason/float_prefix
GavinMendelGleason/fluid
Fluid partial computation and typing system
GavinMendelGleason/gpu_experiment
Experiment with GPU
GavinMendelGleason/iterquery
GavinMendelGleason/kleisli
Kleisli arrow composition
GavinMendelGleason/notebooks
GavinMendelGleason/notes
Notebook
GavinMendelGleason/packages-http
The SWI-Prolog HTTP server and client libraries
GavinMendelGleason/packages-plunit
The SWI-Prolog Unit Testing library
GavinMendelGleason/prolog_mode
Gavin's prolog mode
GavinMendelGleason/python_ast
AST in TerminusX for Python
GavinMendelGleason/python_games
Playing around with python
GavinMendelGleason/seshat-3store
Seshat: Global History Databank was founded in 2011 to bring together the most current and comprehensive body of knowledge about human history in one place. The huge potential of this knowledge for testing theories about political and economic development has been largely untapped.
GavinMendelGleason/swipl-devel
Main development repository
GavinMendelGleason/terminusDB
Contributed
GavinMendelGleason/typo_python
A python package to simulate typographical errors.