Discover @GavinMendelGleason Open Source projects

Gavin Mendel-Gleason (@GavinMendelGleason)

GavinMendelGleason

Stars
373
Global Rank 71,960 (Top 3 %)
Followers 114
Following 24
Registered almost 12 years ago
Most used languages

JavaScript
25.0 %

Prolog
16.7 %

Python
16.7 %

Agda 16.7 %

Haskell
8.3 %

Coq 8.3 %

Rust
8.3 %
Location 🇮🇪 Ireland
Country Total Rank 164
Country Ranking

Coq 1

Agda 2

Prolog
3

Haskell
22

Rust
96

JavaScript
100

Python
849

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

why_terminusx

Why we made TerminusX

code

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

programming_semantics

Semantics of Programming Languages

Cocktail

Supercompiler for a variant of System-F(omega)

data_mesh

OWL

typo

Type and syntax checker reporting using metainterpretation.

terminusBlog

An example blog written in TerminusDB

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.

seshat-web

Seshat Global History Databank web interaction

transformer

Tools for program transformation in prolog

lexdata

Lexically sortable datatypes

terminusdb-scripts

Various scripts for TerminusDB processing