@hackage/Agda
A dependently typed functional programming language and proof assistant
@hackage/Ansi2Html
Convert ANSI Terminal Sequences to nice HTML markup
@hackage/BlogLiterately
A tool for posting Haskelly articles to blogs
@hackage/DSH
Database Supported Haskell
@hackage/DisTract
Distributed Bug Tracking System
@hackage/EditTimeReport
Query language and report generator for edit logs.
@hackage/Flippi
Wiki
@hackage/HAppS-Server
Web related tools and services.
@hackage/MFlow
stateful, RESTful web framework
@hackage/OpenAFP-Utils
Assorted utilities to work with AFP data streams
@hackage/PandocAgda
Pandoc support for literate Agda
@hackage/RESTng
A framework for writing RESTful applications.
@hackage/Tablify
Tool to render CSV into tables of various formats
@hackage/WebCont
Continuation based web programming for Happstack
@hackage/acme-everything
Install everything.
@hackage/activehs
Haskell code presentation tool
@hackage/agda-server
Http server for Agda (prototype)
@hackage/agda-snippets
Render just the Agda snippets of a literate Agda file to HTML
@hackage/archive
A library and programs for creating hardlinked incremental archives or backups
@hackage/archlinux
Support for working with Arch Linux packages.
@hackage/archlinux-web
Website maintenance for Arch Linux packages
@hackage/bamboo
A blog engine on Hack
@hackage/bamboo-plugin-highlight
A highlight middleware
@hackage/bamboo-plugin-photo
A photo album middleware
@hackage/bamboo-theme-blueprint
bamboo blueprint theme
@hackage/bamboo-theme-mini-html5
bamboo mini html5 theme
@hackage/bein
Bein is a provenance and workflow management system for bioinformatics.
@hackage/bff
Bidirectionalization for Free! (POPL'09)
@hackage/bidirectionalization-combined
Prototype Implementation of Combining Syntactic and Semantic Bidirectionalization (ICFP'10)
@hackage/blogination
Very simple static blog software