jff - Giters

Joao F. Ferreira's repositories

TeLLer

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

Language:HaskellGPL-3.01700

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

Language:Haskell4 20

streams

Tests with Streams

Language:Haskell400

mathspad

The MathSpad Editor

Language:CNOASSERTION200

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.

Language:Python2 10

translate

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

Language:HaskellBSD-3-Clause2 10

hip-examples

Examples of programs verified with HIP/SLEEK

Language:Scheme100

Hotot

A Twitter Client

Language:JavaScriptLGPL-3.01 10

ueq-binary-op

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

Language:Haskell100

fme-teaching

FME Teaching Committee

Language:JavaScript020

1314-TEES-PDD

Repository for PDD 2013/2014

Language:Java010

CompCert

The CompCert formally-verified C compiler

Language:CoqNOASSERTION000

coq

Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.

Language:OCamlLGPL-2.1010