Top Haskell Repositories

ShellCheck, a static analysis tool for shell scripts

Universal markup converter

REST API for any Postgres database

Dockerfile linter, validate inline bash, written in Haskell

Parsing, analyzing, and comparing source code across many languages

A strongly-typed language that compiles to JavaScript

Compiler for Elm, a functional language for reliable webapps.

A friendly programming language from the future

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

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

Functional Programming Course

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

The Haskell Tool Stack

Cryptographic currency implementing Ouroboros PoS protocol

A modern proof language

A Dependently Typed Functional Programming Language

Koka language compiler and interpreter

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

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

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

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

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).

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

Linux VR Desktop

Ethereum smart contract fuzzer

Official haskell ide support via language server (LSP). Successor of ghcide & haskell-ide-engine.

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

A static website compiler library in Haskell

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

A RESTful Haskell web framework built on WAI.

🇪🇺 Wire back-end services

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

Haskell to JavaScript compiler, based on GHC

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

What I Wish I Knew When Learning Haskell

Terminal-based presentations using Pandoc

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

The engine for haskell ide-integration. Not an IDE

Pattern language

:ramen: A tasty Haskell front-end framework

A wiki using HAppS, pandoc, and git

C to Rust translator

Dapp, Seth, Hevm, and more

Lenses, Folds, and Traversals - Join us on web.libera.chat #haskell-lens

DEPRECATED in favor of ghc wasm backend, see https://www.tweag.io/blog/2022-11-22-wasm-backend-merged-in-ghc

lamdu - towards the next generation IDE

Servant is a Haskell DSL for describing, serving, querying, mocking, documenting web applications and more!

Translates a plain text description of a relational database schema to a graphical entity-relationship diagram.

A multilingual package manager for Arch Linux and the AUR.

Command-line Kanban board/task manager with support for Trello boards and GitHub projects

Haskell web framework inspired by Ruby's Sinatra, using WAI and Warp (Official Repository)

Informative git prompt for zsh

Easy dependency management for Nix projects

Official upstream development repository for Cabal and cabal-install

Homomorphic machine learning

A declarative Unix terminal UI library written in Haskell

Research language for array processing in the Haskell/ML family

The Plutus language implementation and tools

Haskell bindings for TensorFlow

《Real World Haskell》中文翻译项目

Future-proof note-taking and publishing based on Zettelkasten (superseded by Emanote: https://github.com/srid/emanote)

The Haskell-Scriptable Editor

Haskell source code suggestions

Haskell to VHDL/Verilog/SystemVerilog compiler

Deep Learning in Haskell

A GHC-based Haskell to JavaScript compiler

Haskell 101 and 102: slides and codelabs

Simple clipboard manager to be integrated with rofi - Static binary available

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 native smart contract language for the Cardano ecosystem.

😎 The open-source, Haskell-built video editor for GIF makers.

📜 Haskell course info, plan, video lectures, slides

Fast, portable and reliable dependency analysis for any codebase. Supports license & vulnerability scanning for large monoliths. Language-agnostic; integrates with 20+ build systems.

elm-format formats Elm source code according to a standard set of rules based on the official Elm Style Guide

A proper subset of Haskell that compiles to JavaScript

Misc. publications, conference slides, etc. For more, go to http://BartoszMilewski.com

A fast Haskell JSON library

Miscellaneous articles. The readme is the table of contents.

Educational computer programming environment using Haskell

Liquid Types For Haskell

How to learn front-end or back-end development

Very low feature GHCi based IDE

Cryptol: The Language of Cryptography

Haskell library for building declarative animations based on SVG graphics

Huge list of videos, talks, courses for Haskell programming language.

A statically typed concatenative systems programming language.

Tensors and neural networks in Haskell

Software Design in Haskell. A structured set of materials. How to build real-world applications in Haskell.

Interactive programs without callbacks or side-effects. Functional Reactive Programming (FRP) uses composable events and time-varying values to describe interactive systems as pure functions. Just like other pure functional code, functional reactive code is easier to get right on the first try, maintain, and reuse.

Parsing and analysis of Vertica, Hive, and Presto SQL.

A feature-rich Unix terminal client for the Mattermost chat system

The Haskell Lightweight Virtual Machine (HaLVM): GHC running on Xen

The official (but not yet stable) formatter for Nix code

:gemini: higher-order, no-boilerplate monads

Pipe your nix-build output through the nix-output-monitor a.k.a nom to get additional information while building.

Haskell LLVM JIT Compiler Tutorial

GRIN is a compiler back-end for lazy and strict functional languages with whole program optimization support.

Functional Programming Course

Kit: a magical, high performance programming language, designed for game development.