wenkokke/NLQ
A framework for natural language syntax and semantics based on type theory.
Developer Profile
wenkokke
Discovered public repositories for wenkokke in the GitHub catalog.
wenkokke/Excitement-Open-Platform
wherein we added Pelican to EOP
wenkokke/unlit
Tool to convert literate code between styles or to code.
wenkokke/dep2con
several algorithms for converting dependency structures into constituency structures.
wenkokke/Breadbox
An AI for a *very distant* cousin of '20 questions'.
wenkokke/agda-pregroup
a formalisation of the theory of pregoups as described by Lambek in Agda
wenkokke/swillprover
a linear logic prover based on Naoyuki Tamura's llprover that works under SWI Prolog
wenkokke/msla2014
wherein I implement several substructural logics in Agda
wenkokke/FirstOrderUnificationInAgda
Implementation of McBride's "First-order unification by structural recursion" in Agda.
wenkokke/bioinformatics-algorithms
Solutions to the problems in the course Bioinformatics Algorithms.
wenkokke/projecteuler
Solutions for problems in Project Euler.
wenkokke/inblackandwhite
A script which maintains a greyscale copy of a tumblr blog
wenkokke/AutoInAgda
Proof automation – for Agda, in Agda.
wenkokke/LambdaCalc
Implementation of untyped and simply typed lambda calculus with support for parsing, printing and evaluation.
wenkokke/MonoProc
A framework for data-flow analysis of a simple imperative programming language.
wenkokke/FunFlow
an implementation of control-flow analysis of a simple functional programming language.
wenkokke/EnumeratingTheRationals
a formalisation of the functional pearl "Enumerating the Rationals" by Gibbons, Lester and Bird in Coq
wenkokke/pelican-api
the "public" api for the semantic annotation pipeline
wenkokke/sean
a simple programming language for semantic annotation of natural language semantics
wenkokke/pelican
Pelican is tool for semantic annotation and verification, compliant to the Pipeline 2.0.1 API specifications.
wenkokke/ParseLib
A port of Utrecht University's ParseLib (from Haskell) to Frege, to allow usage of parser combinators with Java.
wenkokke/HeisigLevels
an Anki 1 plugin for Japanese learning in combination with James Heisig's "Remembering The Kanji"