Beast code in Giters

KenyC's repositories

Simple tree drawing software

Language:PythonMIT000

Idris 2 binding to ZeroMQ C API

Language:C000

Accompanying code to dissertation

Language:HTML100

An IPython kernel for Idris

Language:PythonMIT200

Some definitions and propositions of Homotopy Type Theory

Language:Idris100

Reading Schein's "Plurals & Events"

Language:TeX100

Formal Language Theory stuff

Language:TeX100

EGG: Emergence of lanGuage in Games

MIT000

Generates tilable textures from operators

Language:Jupyter Notebook000

Project training recurrent neural networks to learn to verify sentences with quantifiers with the goal of explaining semantic universals

Language:PythonGPL-3.0000

Follow-up on Steinert-Threlkeld et al.

000

Bayesian pragmatic models implemented in Python

Language:PythonGPL-3.0000