Universal markup converter

A friendly programming language from the future

A modern proof language

A Dependently Typed Functional Programming Language

A static website compiler library in Haskell

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

Pattern language

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

Terminal-based presentations using Pandoc

Haskell to JavaScript compiler, based on GHC

C to Rust translator

A multilingual package manager for Arch Linux and the AUR.

Easy dependency management for Nix projects

Research language for array processing in the Haskell/ML family

📜 Haskell course info, plan, video lectures, slides

A GHC-based Haskell to JavaScript compiler

Deep Learning in Haskell

A proper subset of Haskell that compiles to JavaScript

Cryptol: The Language of Cryptography

Detexify Backend written in Haskell

Wakatime server implementation & analytics dashboard

An HTTP client engine, intended as a base layer for more user-friendly packages.

Главный сайт сообщества

a C read-eval-print loop (abandoned)

Manage your NixOS packages and configuration via a simple, intuitive UI

Platform for collaboration and learning through live coding

A tutorial about how to apply property-based testing to stateful systems.

Type-safe tensor manipulation operations in Haskell with tensorflow-style automatic differentiation

Haskell bindings for libNVVM

Line Hyper-eXpander, a sed/awk-like text processing tool with a human face :)