This page contains projects on which I've worked or am currently working on.
Check the Now page for an up-to-date view of what I'm doing.

Haskell Stats
2016

This is a project that spawned from a collections of scripts that I used to gather data for my masters thesis. It is an ongoing project and its far from complete.

Objectives:
  • To provide a query engine (in the style of Hoogle) that gives information about all Hackage packages.
  • The engine will provide ways to gather information such as most used and downloaded packages and modules; most called functions;
Current Status:
  • Architecture change: the current version of the engine assumes a downloaded list of packages. We are working to use directly the hackage database.
  • API: we are building an extensible API so that users can implement their own queries on the data.

Sands
2016

For my masters thesis I implemented Moran and Sands’ abstract machine for improvement theory.

Objectives:
  • To interpret programs in GHC Core and to provide a means to test whether a program is an improvement of another by using the abstract machine’s “tick algebra”.
Current Status:
  • This project is not actively maintained nor I plan to keep working on it.

Consolidation
2016

My masters thesis. You can read more here.