Agda is a system for incrementally developing proofs and programs. This is the sourceforge project for the PREVIOUS Agda (Agda 1). A newer version of Agda (Agda 2) in beta testing is available from: http://wiki.portal.chalmers.se/agda/

CocoaNote is a simple, easy-to-use WYSIWYM music notation editor for OS X. Its goal is to be useful for composing and arranging music, while import/exporting to other file formats for compatibility and in order to produce pretty printouts.

Implementations for encodings of Arabic, in Haskell and Perl. Support for ArabTeX, Buckwalter, UTF and other encodings. Interpretable notations generating original orthography and/or phonetic transcriptions.

Fusion is a powerful high level programming language that merges several feature from Ruby, Python, Java, C++, Visual Basic, etc, in a only language. It's implemented by means of a compiler written in Haskell that generates Ruby code.

We extend the Eclipse IDE with tools for development in Haskell, a functional programming language, providing support for a wide range of tools (compilers, interpreters, doc tools etc.) in a coherent, convenient and configurable environment.

LambdaRoguelike is yet another Rogue-like game, written in Haskell. The game uses NCurses for it's UI. Features are: Field of Vision, Random Dungeon Generation, Combat, Monsters (with different AI), userfriendly interface, A help system and more...