GavinMendelGleason/mavis
Optional types for Prolog
Doing my bit to re-imagine the data space in a world of effective AI.
Repositories
GavinMendelGleason/syntactic_versioning
What if Git worked with Programming Languages?
GavinMendelGleason/blog
Gavin Mendel-Gleason's blog
GavinMendelGleason/refactoring-robots
Refactoring with robots
GavinMendelGleason/euro-sdt
Contemporary European Structural Demographic Analysis
GavinMendelGleason/eu-strategic-analysis
Strategic analysis for the EU
GavinMendelGleason/programming_semantics
Semantics of Programming Languages
GavinMendelGleason/assets
Public assets for Scidonia
GavinMendelGleason/excel_as_code
Blog on excel as code
GavinMendelGleason/opencode
The open source coding agent.
GavinMendelGleason/code
All of the random projects, test files, helloworlds, proofs etc.
GavinMendelGleason/many_worlds
A description of the relationship between databases, collaboration and Kripke
GavinMendelGleason/mapper
Create a map based on semantic distance
GavinMendelGleason/pass-profile
Set up environment variables from pass
GavinMendelGleason/why_terminusx
Why we made TerminusX
GavinMendelGleason/type_annotations_test
Test with type annotations
GavinMendelGleason/chatgpt-shell
A multi-llm Emacs shell (ChatGPT, Claude, Gemini, Kagi, Ollama, Perplexity) + editing integrations
GavinMendelGleason/seshat-web
Seshat Global History Databank web interaction
GavinMendelGleason/Cocktail
Supercompiler for a variant of System-F(omega)
GavinMendelGleason/gpu_experiment
Experiment with GPU
GavinMendelGleason/simtown
An agent based economic simulation based on a model of the circuit of capital
GavinMendelGleason/isolog
The Isolog data transducer system
GavinMendelGleason/typo_python
A python package to simulate typographical errors.
GavinMendelGleason/data_mesh
Data Mesh Book
GavinMendelGleason/typo
Type and syntax checker reporting using metainterpretation.
GavinMendelGleason/OWL
OWL in agda
GavinMendelGleason/kleisli
Kleisli arrow composition
GavinMendelGleason/iterquery
GavinMendelGleason/notes
Notebook
GavinMendelGleason/terminusBlog
An example blog written in TerminusDB