Haskell Archives - Page 2 of 3

rib – static site generator based on Shake

Rib is billed as a Haskell static site generator based on Shake, with a delightful workflow.

Agda is a proof assistant. It is an interactive system for writing and checking proofs.

Snap is a simple web development framework, written in the Haskell programming language.

Happstack is a powerful web framework with a rich API.

scotty is a web framework inspired by Ruby’s Sinatra, using WAI and Warp.

Obelisk is a full stack cross-platform development and deployment framework.

servant is a set of Haskell libraries for writing type-safe web applications but also deriving clients.

Miso is a small, production-ready, “isomorphic” Haskell framework for quickly building highly interactive single-page web applications.

IHP is a modern batteries-included Haskell web framework, built on top of Haskell and Nix.

Yesod is a Haskell web framework for productive development of type-safe, RESTful, high performance web applications.

Intricacy is an addictive, open source, networked, video puzzle game. It is written in Haskell, using the Curses and SDL libraries.

Taskell is an open source command-line Kanban board/task manager with support for Trello boards and GitHub projects.

hledger is an elegant, versatile accounting program, for tracking money, time, or other commodities using plain text records.

hpodder is a tool to scan and download podcasts. This type of tool is often known as a podcatcher. This is free and open source software.

Darcs is a free, open source revision control system along the lines of CVS or arch. It is intended to be an advanced system.