jff/eisenstein jff/eisenstein

  • Stars
    star
    4
  • Rank 3,304,323 (Top 66 %)
  • Language
    Haskell
  • Created almost 16 years ago
  • Updated almost 12 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
jff/eisenstein
github

jff

Reviews

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

Repository Details

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.)

More Repositories

1

TeLLer

TeLLer is a collection of tools that explore the use of linear logic applied to narrative generation and story telling.
Haskell
17
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