Template:Main/News
- MazesOfMonad 1.0.5
- Console-based Role Playing Game
- darcs-beta 2.2.98.2
- a distributed, interactive, smart revision control system
- serial 0.2.6
- POSIX serial port wrapper
- hsparql 0.1
- A SPARQL query generator and DSL, and a client to query a SPARQL server.
- curry-frontend 0.2.2
- Compile the functional logic language Curry to several intermediate formats
- Lucu 0.3.2
- HTTP Daemonic Library
- persistent-map 0.1.1
- A thread-safe interface for finite map types with optional persistency support.
- applicative-extras 0.1.5
- Instances for Applicative
- texmath 0.1.0.1
- Conversion of LaTeX math formulas to MathML.
- nikepub 1.1.2
- Command line utility publishes Nike+ runs on blogs and Twitter
- sendfile 0.3
- A portable sendfile library
- happstack-data 0.3.3
- Happstack data manipulation libraries
- happstack-state 0.3.4
- Event-based distributed state.
- Agda-executable 2.2.4
- Command-line program for type-checking and compiling Agda programs
- Agda 2.2.4
- A dependently typed functional programming language and proof assistant