Discover @jff Open Source projects

Joao F. Ferreira (@jff)

jff

Stars
34
Global Rank 448,285 (Top 16 %)
Followers 55
Following 6
Registered over 16 years ago
Most used languages

Haskell
62.5 %

C
12.5 %

Scheme
12.5 %

Python
12.5 %
Location 🇵🇹 Portugal
Country Total Rank 1,522
Country Ranking

Scheme
4

Haskell
5

C
526

Python
1,589

TeLLer

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

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

streams

Tests with Streams

mathspad

The MathSpad Editor

translate

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

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.

hip-examples

Examples of programs verified with HIP/SLEEK

ueq-binary-op

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