Open-source projects – Haskell – Aelve Guide

propellor

2016-10-12T21:17:48Z

propellor (Hackage)

Propellor is a configuration management system using Haskell and Git. Each system has a list of properties, which Propellor ensures are satisfied. Linux and FreeBSD are supported.

lpaste

2016-10-12T21:17:07Z

lpaste

A pastebin (used mostly by Haskellers).

IRCBrowse

2016-10-12T21:17:03Z

IRCBrowse

A web archive of IRC logs (serves #haskell and some other FP-related channels).

hledger

2016-10-12T21:14:10Z

hledger (Hackage)

hledger is an accounting program, for tracking money, time, or other commodities, on unix, mac and windows. With simple yet powerful functionality accessed from command line, terminal or web browser, it is a robust, cross-platform alternative to Quicken, GnuCash, spreadsheets etc.

Shake

2016-10-12T21:14:01Z

Shake (Hackage)

Shake is...

A build system – an alternative to make, Scons, Ant etc.

Reliable and robust – having been relied on commercially for over five years.

Powerful – letting you express the problem precisely and directly.

Fast to run – both to build from scratch and to rebuild.

Large build systems written using Shake tend to be significantly simpler, while also running faster. If your project can use a canned build system (e.g. Visual Studio, cabal) do that; if your project is very simple use a Makefile; otherwise use Shake.

According to their site, Shake is used by Standard Chartered and FP Complete, among other companies.

Tidal

2016-10-12T21:13:49Z

Tidal (Hackage)

TidalCycles (or Tidal for short) is a language for live coding pattern. It allows you to make musical patterns with text, describing sequences and ways of transforming and combining them, exploring complex interactions between simple parts.

Hython

2016-10-12T21:13:35Z

Hython

A toy Python 3 interpreter implemented in Haskell.

Carnival

2016-10-12T21:13:22Z

Carnival

A system for adding comments to any site, developed by Thoughtbot.

Aura

2016-10-12T21:13:17Z

Aura (Hackage)

cgrep

2016-10-12T21:13:01Z

cgrep (Hackage)

Cgrep is a grep tool suitable for searching in large code repositories. It supports several programming languages and searches that go beyond the simple pattern matching. It enables context-aware filtering and semantic searches through wildcard and combinators.

Yi

2016-10-12T21:12:48Z

Yi (Hackage)

An Emacs-like text editor.

corrode

2016-10-12T21:12:46Z

corrode

A C-to-Rust translator.

git-annex

2016-10-12T21:12:37Z

git-annex (Hackage)

git-annex allows managing files with git, without checking the file contents into git. While that may seem paradoxical, it is useful when dealing with files larger than git can currently easily handle, whether due to limitations in memory, time, or disk space.

git-annex is designed for git users who love the command line. For everyone else, the git-annex assistant turns git-annex into an easy to use folder synchroniser.

github-backup

2016-10-12T21:12:31Z

github-backup (Hackage)

github-backup is a simple tool you run in a git repository you cloned from GitHub. It backs up everything GitHub publishes about the repository, including branches, tags, other forks, issues, comments, wikis, milestones, pull requests, watchers, and stars.

Hakyll

2016-10-12T21:12:22Z

Hakyll (Hackage)

Static sites are fast, secure, easy to deploy, and manageable using version control.

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.

Integration with pandoc gives us markdown and TeX support, including syntax highlighting and other goodies.

Hakyll is a pretty good static site generator, often used for blogs and sites by Haskellers. (Examples: site of Haskell Book, Hakyll author's site, another personal site.)

ShellCheck

2016-10-12T21:12:00Z

ShellCheck (Hackage)

A shell script static analysis tool

postgrest

2016-10-12T21:10:56Z

postgrest (Hackage)

PostgREST is a standalone web server that turns your database directly into a RESTful API. The structural constraints and permissions in the database determine the API endpoints and operations.

gitit

2016-10-12T21:08:35Z

gitit (Hackage)

Gitit is a wiki backed by a git, darcs, or mercurial filestore. Pages and uploaded files can be modified either directly via the VCS's command-line tools or through the wiki's web interface. Pandoc is used for markup processing, so pages may be written in (extended) markdown, reStructuredText, LaTeX, HTML, or literate Haskell, and exported in ten different formats, including LaTeX, ConTeXt, DocBook, RTF, OpenOffice ODT, and MediaWiki markup.

patat

2016-10-12T21:08:15Z

patat (Hackage)

patat (Presentations And The ANSI Terminal) is a small tool that allows you to show presentations using only an ANSI terminal. It does not require ncurses.

PureScript

2016-10-12T21:07:10Z

PureScript

PureScript is a small strongly typed programming language that compiles to JavaScript.

Elm

2016-10-12T21:06:57Z

Elm

Darcs

2016-10-12T21:06:29Z

Darcs (Hackage)

Darcs is a free and open source, cross-platform version control system, like git, mercurial or svn but with a very different approach: focus on changes rather than snapshots.

Idris

2016-10-12T21:02:51Z

Idris

Another Haskell-like language with dependent types.

Agda

2016-10-12T21:02:49Z

Agda

A Haskell-like language with dependent types, and also a proof assistant.

xmonad

2016-10-12T21:02:46Z

xmonad (Hackage)

A popular tiling window manager.

Pandoc

2016-10-12T21:02:40Z

Pandoc (Hackage)

If you need to convert files from one markup format into another, pandoc is your swiss-army knife. Pandoc can convert documents in markdown, reStructuredText, textile, HTML, DocBook, LaTeX, MediaWiki markup, TWiki markup, OPML, Emacs Org-Mode, Txt2Tags, Microsoft Word docx, LibreOffice ODT, EPUB, or Haddock markup to [about 20 formats].

Pandoc is a very popular document converter, and probably one of the best of its kind. (There are some specialised converters that are better at converting between a particular pair of formats, though.) It also has one of the most advanced Markdown dialects out there, and thus is often used for generating static sites, writing papers, and the like.