Gavin Mendel-Gleason (GavinMendelGleason)

GavinMendelGleason

Geek Repo

Company:TerminusDB

Location:Dublin

Home Page:https://terminusdb.com

Twitter:@GavinMGleason

Github PK Tool:Github PK Tool


Organizations
terminusdb

Gavin Mendel-Gleason's repositories

syntactic_versioning

What if Git worked with Programming Languages?

blog

Gavin Mendel-Gleason's blog

Language:JavaScriptStargazers:84Issues:7Issues:0

many_worlds

A description of the relationship between databases, collaboration and Kripke

code

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

Language:CoqStargazers:8Issues:3Issues:0

data_mesh

Data Mesh Book

terminusBlog

An example blog written in TerminusDB

Language:JavaScriptLicense:Apache-2.0Stargazers:2Issues:2Issues:0

isolog

The Isolog data transducer system

License:Apache-2.0Stargazers:1Issues:2Issues:0

lexdata

Lexically sortable datatypes

Language:RustLicense:Apache-2.0Stargazers:1Issues:3Issues:0

seshat-web

Seshat Global History Databank web interaction

Language:JavaScriptLicense:Apache-2.0Stargazers:1Issues:2Issues:0

simtown

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

License:GPL-3.0Stargazers:1Issues:0Issues:0

terminusdb-scripts

Various scripts for TerminusDB processing

Language:PythonLicense:GPL-3.0Stargazers:1Issues:3Issues:0

transformer

Tools for program transformation in prolog

Language:PrologLicense:GPL-3.0Stargazers:1Issues:3Issues:1
Language:RustStargazers:0Issues:2Issues:0

fluid

Fluid partial computation and typing system

Language:PrologLicense:Apache-2.0Stargazers:0Issues:3Issues:0
Language:RustStargazers:0Issues:2Issues:0

kleisli

Kleisli arrow composition

Language:RustStargazers:0Issues:2Issues:0
Language:Jupyter NotebookStargazers:0Issues:3Issues:0

notes

Notebook

License:AGPL-3.0Stargazers:0Issues:2Issues:0

packages-http

The SWI-Prolog HTTP server and client libraries

Language:PrologStargazers:0Issues:2Issues:0

packages-plunit

The SWI-Prolog Unit Testing library

Language:PrologStargazers:0Issues:2Issues:0

prolog_mode

Gavin's prolog mode

Language:Emacs LispLicense:GPL-3.0Stargazers:0Issues:2Issues:0

prolog_pack_hello_world

Hello World prolog pack

Language:PrologLicense:MITStargazers:0Issues:2Issues:0

python_ast

AST in TerminusX for Python

Language:PythonStargazers:0Issues:2Issues:0

python_games

Playing around with python

Language:PythonLicense:GPL-2.0Stargazers:0Issues:3Issues:0

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.

Language:PythonStargazers:0Issues:2Issues:0

swipl-devel

Main development repository

Language:CLicense:NOASSERTIONStargazers:0Issues:2Issues:0

terminusDB

Contributed

Language:HTMLStargazers:0Issues:2Issues:0

typo_python

A python package to simulate typographical errors.

Language:PythonLicense:MITStargazers:0Issues:1Issues:0