jff/TeLLer jff/TeLLer

  • Stars
    star
    17
  • Rank 1,257,181 (Top 25 %)
  • Language
    Haskell
  • License
    GNU General Publi...
  • Created almost 12 years ago
  • Updated over 9 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
jff/TeLLer
github

jff

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

TeLLer is a collection of tools that explore the use of linear logic applied to narrative generation and story telling.

More Repositories

1

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.)
Haskell
4
star
2

streams

Tests with Streams
Haskell
4
star
3

mathspad

The MathSpad Editor
C
2
star
4

translate

Haskell binding to Google's AJAX Language API for Translation and Detection
Haskell
2
star
5

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.
Python
2
star
6

hip-examples

Examples of programs verified with HIP/SLEEK
Scheme
1
star
7

ueq-binary-op

A literate Haskell program that proves the inexistence of a unique existential binary operator
Haskell
1
star