jff/1314-TEES-PDD
Repository for PDD 2013/2014
TeLLer is a collection of tools that explore the use of linear logic applied to narrative generation and story telling.
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
Repository for PDD 2013/2014
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.