Gavin Mendel-Gleason

excel_as_code. Blog on excel as code

syntactic_versioning. What if Git worked with Programming Languages?

blog. Gavin Mendel-Gleason's blog

many_worlds. A description of the relationship between databases, collaboration and Kripke

mavis. Optional types for Prolog

programming_semantics. Semantics of Programming Languages

why_terminusx. Why we made TerminusX

code. All of the random projects, test files, helloworlds, proofs etc.

Cocktail. Supercompiler for a variant of System-F(omega)

typo. Type and syntax checker reporting using metainterpretation.

OWL. OWL in agda

data_mesh. Data Mesh Book

terminusBlog. An example blog written in TerminusDB

seshat-web. Seshat Global History Databank web interaction

mudbug. muDBug is a web-aware logic database designed as a next gen knowledge store.

nn-ling. Tools for using word embeddings to guess features and extract answers from questions.

euro-sdt. Contemporary European Structural Demographic Analysis

pass-profile. Set up environment variables from pass

lexdata. Lexically sortable datatypes

simtown. An agent based economic simulation based on a model of the circuit of capital

isolog. The Isolog data transducer system

scryer-prolog. A modern Prolog implementation written mostly in Rust.

scaldingale. Movie recommendations and MOAR in MapReduce and Scalding

transformer. Tools for program transformation in prolog

terminusdb-scripts. Various scripts for TerminusDB processing