GavinMendelGleason

Gavin Mendel-Gleason's repositories

mavis

Optional types for Prolog

Language:PrologLGPL-3.016 40

programming_semantics

Semantics of Programming Languages

Language:AgdaGPL-3.09 30

Cocktail

Supercompiler for a variant of System-F(omega)

Language:HaskellGPL-3.07 30

typo

Type and syntax checker reporting using metainterpretation.

Language:PrologApache-2.0600

OWL

OWL in agda

Language:Agda5 4 1

mudbug

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

Apache-2.0200

nn-ling

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

Language:Python200

scaldingale

Movie recommendations and MOAR in MapReduce and Scalding

Language:ScalaMIT100

scryer-prolog

A modern Prolog implementation written mostly in Rust.

Language:RustBSD-3-Clause1 20

derelict-housing

Derelict Housing reporting

Language:JavaScript000

DQSJava

Language:JavaGPL-2.0000

gamook

Gamook game book demo

Language:Python000

hdt

Interface to HDT

Language:C++000

joyce

Classification of authorship, specifically being used for James Joyce

Language:Python000

ml-group

repo for projects and presentations

Language:Python000

monad

The code from _Monads & Gonads_.

Language:JavaScript000

ontoGen

Automatic Ontology Generator

Language:PythonGPL-2.0000

packages-pldoc

The SWI-Prolog documentation system

Language:Prolog000

prolog-rs

Language:Rust000

prolog_pack_hello_world

Hello World prolog pack

Language:PrologMIT020

terminus-upgrade-to-store

Upgrade terminus-server to use the new terminus-store backend

GPL-3.0000

test_case

Testing modules in swipl

Language:Prolog030