jff/TeLLer
TeLLer is a collection of tools that explore the use of linear logic applied to narrative generation and story telling.
Repository for PDD 2013/2014
Public repository record indexed from GitHub. Explore verified star velocity metrics, source code repositories, and curated developer tool directories across the GitHubRepo ecosystem.
TeLLer is a collection of tools that explore the use of linear logic applied to narrative generation and story telling.
A Twitter Client
Examples of programs verified with HIP/SLEEK
Python class implementing the algorithm that I and Roland Backhouse created in 2008 to enumerate the positive rational numbers in two different ways.