Haskell Open Source Projects

Universal markup converter

ShellCheck, a static analysis tool for shell scripts

Blazing fast, instant realtime GraphQL APIs on all your data with fine grained access control, also trigger webhooks on database events.

REST API for any Postgres database

The open-source database for the realtime web.

Run compilers interactively from your web browser and interact with the assembly

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

The batteries-included full-stack framework for the AI era. Develop JS/TS web apps (React, Node.js, and Prisma) using declarative code that abstracts away complex full-stack features like auth, background jobs, RPC, email sending, end-to-end type safety, single-command deployment, and more.

互联网上的免费书籍

Dockerfile linter, validate inline bash, written in Haskell

Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source

Cool open source projects. Choose your project and get involved in Open Source development now.

Parsing, analyzing, and comparing source code across many languages

A strongly-typed language that compiles to JavaScript

Learn Haskell

Terminal based IDE & text editor: easy, powerful and fast

Compiler for Elm, a functional language for reliable webapps.

An Emacs configuration bundle with batteries included

A friendly programming language from the future

Book of Elementary Functional Algorithms and Data structures

The framework for building with WebAssembly (wasm). Easily & securely load wasm modules, move data, call functions, and build extensible apps.

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

😎 A curated list of the best resources in the Nix community [maintainer=@cyntheticfox]

An advanced keyboard manager

PostgreSQL ➕ REST, low-code, simplify and accelerate development, ⚡ instant, realtime, high-performance on any Postgres application, existing or new, MCP server

Robust, fast, intuitive plain text accounting tool with CLI, TUI and web interfaces.

😎 A curated list of languages that compile directly to or have their VMs in WebAssembly

A Haskell library that simplifies access to remote data, such as databases or web-based services.

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

The Haskell Tool Stack

Koka language compiler and interpreter

Cryptographic currency implementing Ouroboros PoS protocol

Frege is a Haskell for the JVM. It brings purely functional programing to the Java platform.

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

Yet another resource for collecting articles, videos etc. regarding functional programming

Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)

A Dependently Typed Functional Programming Language

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

This is an adaptation of the Ninety-Nine Prolog Problems written by Werner Hett.

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 the newcomers info (https://gitlab.haskell.org/ghc/ghc/wikis/contributing).

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

A collection of awesome resources related to the yearly Advent of Code challenge.

Linux VR Desktop

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

Transform ML models into a native code (Java, C, Python, Go, JavaScript, Visual Basic, C#, R, PowerShell, PHP, Dart, Haskell, Ruby, F#, Rust) with zero dependencies

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

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

A static website compiler library in Haskell

Pattern language

Terminal Emulators

🇪🇺 Wire back-end services

:boom::computer::boom: A data-parallel functional programming language

Terminal-based presentations using Pandoc

A RESTful Haskell web framework built on WAI.

Functional Programming concepts, examples and patterns illustrated in Haskell, Ocaml and Python

What I Wish I Knew When Learning Haskell

A Haskell kernel for the Jupyter project.

The Eta Programming Language, a dialect of Haskell on the JVM

Haskell to JavaScript compiler, based on GHC

:ramen: A tasty Haskell web framework