| layout | title |
|---|---|
page |
Software Projects, Tools and Libraries |
We build tools and libraries, typically written in Haskell, to explore and validate our
ideas. The main research challenge we are addressing is improving the
high-assurance and high-performance narrative for functional languages. We release our tools
open source, under a BSD license, use git for version control, and
GitHub for external contributions.
This page is a software-centric view of our research. Please email us if you are interested in contributing, or want more details about a specific tool. We also maintain a Research Projects webpage, which gives the research-centric view of the FPG lab.
{% include teaser.fn href="/software/wakarusa" %}
{% include teaser.fn href="/software/hermit" %}
{% include teaser.fn href="/software/kure" %}
{% include teaser.fn href="/software/kansas-lava" %}
{% include teaser.fn href="/software/blank-canvas" %}
{% include teaser.fn href="/software/sunroof" %}
{% include teaser.fn href="/software/data-reify" %}
{% include teaser.fn href="/software/story-board" %}
{% include teaser.fn href="/software/hpc" %}
{% include teaser.fn href="/software/hood" %}
All these libraries are on hackage.
dotgen A simple interface for building .dot graph files, for input into the dot and graphviz tools. It includes a monadic interface for building graphs.
httpd-shed A trivial web server that can be used to build Ajax and other interactive applications in Haskell. Use scotty instead.
io-reactive An API for generating reactive objects that mimic the reactive model used used in the TIMBER programming language.
marked-pretty A compatible extension to pretty that allows marking and scoping of the output document. A typical application is outputting pretty HTML with style attributes like bold and color.
scotty A Haskell web framework inspired by Ruby's Sinatra, using WAI and Warp.
sized-types Providing indices, matrixes, sparse matrixes, and signed and unsigned bit vectors.
These are FPG projects which are, for one reason or another, are no longer under active development.
{% include teaser.fn href="/software/chalkboard" %}