Bevel is a tool which offers command line history in an SQLite database for effective re-use.
Read more
Bevel is a tool which offers command line history in an SQLite database for effective re-use.
Read more
SimpleX is a messaging platform that has no user identifiers of any kind – 100% private by design.
Read more
Recycle your clipboard selections with Greenclip and don’t waste your time anymore to reselect things over and over.
Read more
Cabal is a system for building and packaging Haskell libraries and programs.
Read morearbtt, the Automatic Rule-Based Time Tracker is time tracking software.
Read more
Haskell is a standardized, general-purpose, polymorphically statically typed, lazy, purely functional language, very different from many programming languages.
Read more
Glasgow Haskell Compiler (GHC) is a state-of-the-art programming suite for Haskell.
Read more
Xmonad is a minimalist, tiling window manager for X, written in the functional programming language Haskell.
Read more
git-annex allows managing files with git, without checking the file contents into git.
Read more
git-repair can repair various forms of damage to git repositories. It complements git fsck, which finds problems, but does not fix them.
Read more
Doc Browser is an API documentation browser with support for DevDocs, Dash and Hoogle.
Read more
Hakyll is a Haskell library for generating static sites, mostly aimed at small-to-medium sites and personal blogs. It is written in a very configurable way and uses an xmonad-like DSL for configuration. Hakyll sites are written using a Haskell Embedded
Read more
Ema is a next-gen Haskell library toolkit for building jamstack-style static sites.
Read more
yst is a tool for generating a static website by filling string templates with data taken from YAML or CSV text files.
Read more
Slick provides a small set of tools and combinators for building static websites on top of the Shake build system.
Read more
Rib is billed as a Haskell static site generator based on Shake, with a delightful workflow.
Read more
Agda is a proof assistant. It is an interactive system for writing and checking proofs.
Read more
Snap is a simple web development framework, written in the Haskell programming language.
Read more
Happstack is a powerful web framework with a rich API.
Read more
scotty is a web framework inspired by Ruby’s Sinatra, using WAI and Warp.
Read more