The Top 1,537 Haskell Open Source Projects

Awesome Open Source

Awesome Open Source

Combined Topics

The Top 1,537 Haskell Open Source Projects

Categories > Programming Languages > Haskell

Shellcheck ⭐22,218

ShellCheck, a static analysis tool for shell scripts

Pandoc ⭐21,100

Universal markup converter

Graphql Engine ⭐19,544

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

Postgrest ⭐16,155

REST API for any Postgres database

Milewski Ctfp Pdf ⭐7,950

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

Compiler Explorer ⭐7,849

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

Semantic ⭐7,843

Parsing, analyzing, and comparing source code across many languages

Awesomo ⭐7,676

A list of cool open source projects written in C, C++, Clojure, Lisp, Elixir, Erlang, Elm, Golang, Haskell, JavaScript, Lua, OCaml, Python, R, Ruby, Rust, Scala, etc.

Purescript ⭐6,783

A strongly-typed language that compiles to JavaScript

Compiler ⭐6,215

Compiler for Elm, a functional language for reliable webapps.

Penrose ⭐4,711

Create beautiful diagrams just by typing mathematical notation in plain text.

Hadolint ⭐4,358

Dockerfile linter, validate inline bash, written in Haskell

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

A statically typed lisp, without a GC, for real-time applications.

Unison ⭐3,508

A friendly programming language from the future

The Haskell Tool Stack

Cardano Sl ⭐3,422

Cryptographic currency implementing Ouroboros PoS protocol

Fp Course ⭐3,420

Functional Programming Course

Idris Dev ⭐3,255

A Dependently Typed Functional Programming Language

Duckling ⭐3,144

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

Write You A Haskell ⭐2,866

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

Functional Programming ⭐2,587

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

Haskell Ide Engine ⭐2,455

The engine for haskell ide-integration. Not an IDE

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

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

Haskell to JavaScript compiler, based on GHC

A RESTful Haskell web framework built on WAI.

Hakyll ⭐2,239

A static website compiler library in Haskell

Awesome Haskell ⭐2,237

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

Wire Server ⭐2,230

🇪🇺 Wire back-end services

Ihaskell ⭐2,196

A Haskell kernel for IPython.

Corrode ⭐2,036

C to Rust translator

Wiwinwlh ⭐1,963

What I Wish I Knew When Learning Haskell

A wiki using HAppS, pandoc, and git

🍜 A tasty Haskell front-end framework

M2cgen ⭐1,703

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

Lenses, Folds, and Traversals - Join us on freenode #haskell-lens

lamdu - towards the next generation IDE

Xmonad ⭐1,617

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

Hledger ⭐1,578

easy-to-use command-line/curses/web plaintext accounting tool; a modern and largely compatible Haskell rewrite of Ledger

Hlearn ⭐1,565

Homomorphic machine learning

λ IHP is a modern batteries-included Web Framework, built on top of Haskell and Nix.

Asterius ⭐1,499

A Haskell to WebAssembly compiler

Scotty ⭐1,475

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

Zsh Git Prompt ⭐1,445

Informative git prompt for zsh

Terminal-based presentations using Pandoc

Nodebook ⭐1,441

Nodebook - Multi-Lang Web REPL + CLI Code runner

Servant ⭐1,436

Main repository for the servant libraries -- DSL for describing, serving, querying, mocking, documenting web applications and more!

lists of most popular repositories for most favoured programming languages (according to StackOverflow)

Haste Compiler ⭐1,403

A GHC-based Haskell to JavaScript compiler

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

Real World Haskell Cn ⭐1,377

《Real World Haskell》中文翻译项目

Futhark ⭐1,373

💥💻💥 A data-parallel functional programming language

Haskell ⭐1,368

Haskell bindings for TensorFlow

The Haskell-Scriptable Editor

Simula ⭐1,340

Linux VR Desktop

Grenade ⭐1,331

Deep Learning in Haskell

Project Euler Solutions ⭐1,320

Runnable code for solving Project Euler problems in Java, Python, Mathematica, Haskell.

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

Pattern language

A proper subset of Haskell that compiles to JavaScript

Elm Format ⭐1,226

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

Haskell Trainings ⭐1,201

Haskell 101 and 102: slides and codelabs

Official upstream development repository for Cabal and cabal-install

The Lux Programming Language

Intellij Haskell ⭐1,142

IntelliJ plugin for Haskell

Haskell Language Server ⭐1,127

Integration point for ghcide and haskell-ide-engine. One IDE to rule them all.

Codeworld ⭐1,125

Educational computer programming environment using Haskell

Haskell source code suggestions

Taskell ⭐1,076

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

Intero ⭐1,043

Articles ⭐1,030

Miscellaneous articles. The readme is the table of contents.

Al Go Rithms ⭐1,022

🎵 Algorithms written in different programming languages - https://zoranpandovski.github.io/al-go-rithms/

A declarative Unix terminal UI programming library written in Haskell

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

Haskell Must Watch ⭐1,005

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

Deckdeckgo ⭐1,001

The web open source editor for presentations

A fast Haskell JSON library

Kit: a magical, high performance programming language, designed for game development. Pre-alpha!

Project management directly from the TODOs in your codebase

Fp Course ⭐953

Functional Programming Course

A secure, multilingual package manager for Arch Linux and the AUR.

Cryptol: The Language of Cryptography

Implicitcad ⭐923

A math-inspired CAD program in haskell. CSG, bevels, and shells; 2D & 3D; gcode generation...

Clash Compiler ⭐915

Haskell to VHDL/Verilog/SystemVerilog compiler

Koka language compiler and interpreter

Radicle Alpha ⭐907

A peer-to-peer stack for code collaboration

Very low feature GHCi based IDE

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.

Deprecated; see https://github.com/unused-code/unused

Queryparser ⭐872

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

Pragmatapro ⭐855

PragmataPro font is designed to help pros to work better

Kaleidoscope ⭐852

Haskell LLVM JIT Compiler Tutorial

A statically typed concatenative systems programming language.

Liquidhaskell ⭐825

Liquid Types For Haskell

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

Nanocoin ⭐787

Matterhorn ⭐784

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

Haskell Turtle Library ⭐783

Shell programming, Haskell style

1-100 of 1,537 projects