Universal markup converter

The Haskell Tool Stack

A collection of awesome Haskell links, frameworks, libraries and software. Inspired by awesome projects line.

Mirror of the Glasgow Haskell Compiler. Please submit issues and patches to GHC's Gitlab instance (https://gitlab.haskell.org/ghc/ghc). First time contributors are encouraged to get started with th…

Haskell bindings for TensorFlow

👩‍🏫 👨‍🏫 Learn Haskell basics in 4 pull requests

Exercism exercises in Haskell.

A Haskell implementation of the Tor protocol.

Low-dimensional linear algebra primitives for Haskell.

a collection of cellular automata written in Haskell with Diagrams

🐤 A tiny C language compiler (x86-64) (WIP)

Haskell bindings for the pcap library, which provides a low level interface to packet capture systems.

"Modern compiler implementation" in Haskell!

My website

Challenges from Category Theory for Programmers

An experimental proof assistant based on a type theory for synthetic ∞-categories.

Category theory for Haskell with a lens flavor (you need GHC 7.8.3, not 7.8.2 to build this!)

Category theory concepts in type classes and instances.

Notes (in literate Haskell) from reading Category Theory for Programmers by Bartosz Milewski

Natural transformations in Haskell

Oblivious transfer for multiparty computation

Compiler for Elm, a functional language for reliable webapps.

A Haskell-Based Cryptocurrency Day Trading Bot

ShellCheck, a static analysis tool for shell scripts

REST API for any Postgres database

Dockerfile linter, validate inline bash, written in Haskell

A strongly-typed language that compiles to JavaScript

SimpleX - the first messaging network operating without user identifiers of any kind - 100% private by design! iOS, Android and desktop apps 📱!