Universal markup converter

A strongly-typed language that compiles to JavaScript

A friendly programming language from the future

An advanced keyboard manager

A Dependently Typed Functional Programming Language

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

A static website compiler library in Haskell

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

A declarative Unix terminal UI library written in Haskell

The official formatter for Nix code

🌀 Safe, performant, user-friendly and lightweight Haskell standard library

Nix backend for PureScript. Transpile PureScript code to Nix.

Exemplary real world application built with Haskell + Yesod

Safely build shell one-liners with live feedback!