Universal markup converter

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

Compiler for Elm, a functional language for reliable webapps.

A statically typed lisp, without a GC, for real-time applications.

🔥 The fastest way to build type safe web apps. IHP is a new batteries-included web framework optimized for longterm productivity and programmer happiness

An advanced keyboard manager

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

A modern proof language

The core of xmonad, a small but functional ICCCM-compliant tiling window manager

The core component that is used to participate in a Cardano decentralised blockchain.

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

Official Haskell IDE support via the language server protocol (LSP)

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

🇪🇺 Wire back-end services

The Plutus language implementation and tools

This repository hosts the lectures of the Plutus Pioneers Program. This program is a training course that the IOG Education Team provides to recruit and train software developers in Plutus, the nat…

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

A comprehensive Amazon Web Services SDK for Haskell.

A component that follows the Cardano chain and stores blocks and transactions in PostgreSQL

Specifications of network protocols and implementations of components running these protocols which support a family of Ouroboros Consesus protocols; the diffusion layer of the Cardano Node.

The ledger implementation and specifications of the Cardano blockchain.

💻 Exercises for the Haskell Beginners 2022 course