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
blog
Gavin Mendel-Gleason's blog
cocktail
Supercompiler for a variant of System-F(omega)
code
All of the random projects, test files, helloworlds, proofs etc.
data_mesh
Data Mesh Book
derelict-housing
Derelict Housing reporting
dqsjava
excel_as_code
Blog on excel as code
float_prefix
fluid
Fluid partial computation and typing system
gamook
Gamook game book demo
hdt
Interface to HDT
isolog
The Isolog data transducer system
iterquery
joyce
Classification of authorship, specifically being used for James Joyce
kleisli
Kleisli arrow composition
lexdata
Lexically sortable datatypes
many_worlds
A description of the relationship between databases, collaboration and Kripke
mavis
Optional types for Prolog
ml-group
repo for projects and presentations
monad
The code from _Monads & Gonads_.
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.
notebooks
notes
Notebook
ontogen
Automatic Ontology Generator
owl
OWL in agda
packages-http
The SWI-Prolog HTTP server and client libraries
packages-pldoc
The SWI-Prolog documentation system
packages-plunit
The SWI-Prolog Unit Testing library
programming_semantics
Semantics of Programming Languages
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
Django
The Web framework for perfectionists with deadlines.
Laravel
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
Microsoft
Open source projects and samples from Microsoft.
Google
Google ❤️ Open Source for everyone.
Alibaba
Alibaba Open Source for everyone
D3
Data-Driven Documents codes.
Tencent
China tencent open source team.
