Universal markup converter

Dockerfile linter, validate inline bash, written in Haskell

A strongly-typed language that compiles to JavaScript

A modern proof language

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

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

Easy dependency management for Nix projects

The official formatter for Nix code

Contributed modules for xmonad

Write You a Scheme

Updating nixpkgs packages since 2018

Introduction to parsing with Haskell and Parsec

Painless 2D vector graphics, animations and simulations.

Project templates for stack new

Bend2 - WIP

coxinha

Minha solução da Rinha de Backend 2024q1 em Haskell.