Universal markup converter

Parsing, analyzing, and comparing source code across many languages

Compiler for Elm, a functional language for reliable webapps.

Cryptographic currency implementing Ouroboros PoS protocol

A modern proof language

Robust, fast, intuitive plain text accounting tool with CLI, TUI and web interfaces.

A RESTful Haskell web framework built on WAI.

A wiki using HAppS, pandoc, and git

A multilingual package manager for Arch Linux and the AUR.

Easy dependency management for Nix projects

Interactive programs without callbacks or side-effects. Functional Reactive Programming (FRP) uses composable events and time-varying values to describe interactive systems as pure functions. Just …

Detexify Backend written in Haskell

Crucible is a library for symbolic simulation of imperative programs

Haskoin Core is a Bitcoin and Bitcoin Cash library

A language for intent-centric and declarative decentralised applications

Distribution of Haskell with batteries included

A Haskell library for line input in command-line programs.

Telegram Bot API for Haskell

Compiles Haskell to WebAssembly

An independent reimplementation of Ethereum in Haskell

ncurses binding for Haskell

MinIO Client SDK for Haskell

Various functions which are used across multiple @serokell packages

A FUSE filesystem, written in Haskell, that allows one to mount NAR (Nix archive) files and expose them as a virtual Nix store.

Reed-Solomon Erasure Coding in Haskell

Website about algorithms

Bindings to libseccomp