ShellCheck, a static analysis tool for shell scripts

Universal markup converter

REST API for any Postgres database

Parsing, analyzing, and comparing source code across many languages

A strongly-typed language that compiles to JavaScript

A Haskell library that simplifies access to remote data, such as databases or web-based services.

Language, engine, and tooling for expressing, testing, and evaluating composable language rules on input strings.

The Haskell Tool Stack

Linux VR Desktop

🇪🇺 Wire back-end services

The Eta Programming Language, a dialect of Haskell on the JVM

A shell script which checks your $HOME for unwanted files and directories.

Agda is a dependently typed programming language / interactive theorem prover.

Terminal-based presentations using Pandoc

Pattern language

A wiki using HAppS, pandoc, and git

Haskell web framework inspired by Ruby's Sinatra, using WAI and Warp (Official Repository)

Haskell library for building declarative animations based on SVG graphics

Kit: a magical, high performance programming language, designed for game development.

Command line client for Nix binary cache hosting:

A native compiler backend for PureScript (via C++ or Golang)

Slides and other materials for functional programming lectures ITMO university

An interpreter for learning and exploring pure λ-calculus

Helium + Webmachine = Airship. A toolkit for building declarative, RESTful web apps.

OwnCloud for owls done via The Microservice Architecture

Use snippets of Rust inline in your Haskell programs

Floskell is a flexible Haskell source code pretty printer.

Manage your NixOS packages and configuration via a simple, intuitive UI

🌐 A Haskell binding to the webview library created by Serge Zaitsev.

Yet another Haskell build system.