jff/TeLLer
TeLLer is a collection of tools that explore the use of linear logic applied to narrative generation and story telling.
Developer Profile
jff
Discovered public repositories for jff in the GitHub catalog.
jff/Hotot
A Twitter Client
jff/hip-examples
Examples of programs verified with HIP/SLEEK
jff/rationals-python
Python class implementing the algorithm that I and Roland Backhouse created in 2008 to enumerate the positive rational numbers in two different ways.
jff/translate
Haskell binding to Google's AJAX Language API for Translation and Detection
jff/ueq-binary-op
A literate Haskell program that proves the inexistence of a unique existential binary operator
jff/mathspad
The MathSpad Editor
jff/eisenstein
Literate Haskell module with functions to enumerate the elements of the Eisenstein array. Also, we provide a program that searches for occurrences of the Eisenstein array on OEIS. (Joint work with Roland Backhouse.)
jff/streams
Tests with Streams