Name: Gavin Mendel-Gleason
Type: User
Company: TerminusDB
Bio: Interested in formal methods for real software. My primary focus is on databases, RDF, Type theory, logical query languages and program transformation.
Twitter: GavinMGleason
Location: Dublin
Blog: https://terminusdb.com
Gavin Mendel-Gleason's Projects
Gavin Mendel-Gleason's blog
Supercompiler for a variant of System-F(omega)
All of the random projects, test files, helloworlds, proofs etc.
Data Mesh Book
Derelict Housing reporting
Blog on excel as code
Fluid partial computation and typing system
Gamook game book demo
Interface to HDT
The Isolog data transducer system
Classification of authorship, specifically being used for James Joyce
Kleisli arrow composition
Lexically sortable datatypes
A description of the relationship between databases, collaboration and Kripke
Optional types for Prolog
repo for projects and presentations
The code from _Monads & Gonads_.
muDBug is a web-aware logic database designed as a next gen knowledge store.
Tools for using word embeddings to guess features and extract answers from questions.
Notebook
Automatic Ontology Generator
OWL in agda
The SWI-Prolog HTTP server and client libraries
The SWI-Prolog documentation system
The SWI-Prolog Unit Testing library
Semantics of Programming Languages