1

jgm/pandoc Universal markup converter

★ 45.5K ⑂ 3.9K Haskell

2

koalaman/shellcheck ShellCheck, a static analysis tool for shell scripts

★ 39.7K ⑂ 1.9K Haskell

3

PostgREST/postgrest REST API for any Postgres database

★ 27.5K ⑂ 1.2K Haskell

4

simplex-chat/simplex-chat SimpleX - the first messaging network operating without user identifiers of any kind - 100% private…

★ 18.9K ⑂ 1.2K Haskell

5

hadolint/hadolint Dockerfile linter, validate inline bash, written in Haskell

★ 12.3K ⑂ 498 Haskell

6

github/semantic Parsing, analyzing, and comparing source code across many languages

★ 9.0K ⑂ 458 Haskell

7

purescript/purescript A strongly-typed language that compiles to JavaScript

★ 8.9K ⑂ 571 Haskell

8

elm/compiler Compiler for Elm, a functional language for reliable webapps.

★ 7.8K ⑂ 685 Haskell

9

unisonweb/unison A friendly programming language from the future

★ 6.7K ⑂ 305 Haskell

10

carp-lang/Carp A statically typed lisp, without a GC, for real-time applications.

★ 6.0K ⑂ 185 Haskell

11

digitallyinduced/ihp 🔥 The fastest way to build type safe web apps. IHP is a new batteries-included web framework optimi…

★ 5.3K ⑂ 223 Haskell

12

kmonad/kmonad An advanced keyboard manager

★ 5.0K ⑂ 336 Haskell

13

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

★ 4.6K ⑂ 393 Haskell

14

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

★ 4.4K ⑂ 309 Haskell

15

facebook/duckling Language, engine, and tooling for expressing, testing, and evaluating composable language rules on …

★ 4.3K ⑂ 739 Haskell

16

system-f/fp-course Functional Programming Course

★ 4.2K ⑂ 1.2K Haskell

17

commercialhaskell/stack The Haskell Tool Stack

★ 4.1K ⑂ 847 Haskell

18

HigherOrderCO/Kind A modern proof language

★ 3.8K ⑂ 151 Haskell

19

input-output-hk/cardano-sl Cryptographic currency implementing Ouroboros PoS protocol

★ 3.7K ⑂ 616 Haskell

20

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

★ 3.6K ⑂ 294 Haskell

21

sdiehl/write-you-a-haskell Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)

★ 3.5K ⑂ 256 Haskell

22

idris-lang/Idris-dev A Dependently Typed Functional Programming Language

★ 3.5K ⑂ 629 Haskell

23

krispo/awesome-haskell A collection of awesome Haskell links, frameworks, libraries and software. Inspired by awesome proj…

★ 3.3K ⑂ 175 Haskell

24

ghc/ghc Mirror of the Glasgow Haskell Compiler. Please submit issues and patches to GHC's Gitlab instance (…

★ 3.3K ⑂ 736 Haskell

25

b3nj5m1n/xdg-ninja A shell script which checks your $HOME for unwanted files and directories.

★ 3.3K ⑂ 188 Haskell

26

SimulaVR/Simula Linux VR Desktop

★ 3.2K ⑂ 110 Haskell

27

IntersectMBO/cardano-node The core component that is used to participate in a Cardano decentralised blockchain.

★ 3.2K ⑂ 757 Haskell

28

crytic/echidna Ethereum smart contract fuzzer

★ 3.2K ⑂ 435 Haskell

29

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

★ 2.9K ⑂ 447 Haskell

30

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

★ 2.9K ⑂ 420 Haskell

31

jaspervdj/hakyll A static website compiler library in Haskell

★ 2.9K ⑂ 425 Haskell

32

tidalcycles/Tidal Pattern language

★ 2.9K ⑂ 276 Haskell

33

wireapp/wire-server 🇪🇺 Wire back-end services

★ 2.8K ⑂ 334 Haskell

34

diku-dk/futhark :boom::computer::boom: A data-parallel functional programming language

★ 2.8K ⑂ 206 Haskell

35

jaspervdj/patat Terminal-based presentations using Pandoc

★ 2.7K ⑂ 66 Haskell

36

yesodweb/yesod A RESTful Haskell web framework built on WAI.

★ 2.7K ⑂ 384 Haskell

37

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

★ 2.7K ⑂ 157 Haskell

38

sdiehl/wiwinwlh What I Wish I Knew When Learning Haskell

★ 2.7K ⑂ 241 Haskell

39

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

★ 2.6K ⑂ 142 Haskell

40

ghcjs/ghcjs Haskell to JavaScript compiler, based on GHC

★ 2.6K ⑂ 185 Haskell

41

nammayatri/nammayatri A Direct-to-Driver open mobility platform powering the next-generation of mobility applications in …

★ 2.5K ⑂ 385 Haskell

42

dmjio/miso :ramen: A tasty Haskell web framework

★ 2.4K ⑂ 166 Haskell

43

haskell/haskell-ide-engine The engine for haskell ide-integration. Not an IDE

★ 2.4K ⑂ 206 Haskell

44

jgm/gitit A wiki using HAppS, pandoc, and git

★ 2.3K ⑂ 233 Haskell

45

jameysharp/corrode C to Rust translator

★ 2.2K ⑂ 117 Haskell

46

dapphub/dapptools Dapp, Seth, Hevm, and more

★ 2.1K ⑂ 321 Haskell

47

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

★ 2.1K ⑂ 273 Haskell

48

haskell-servant/servant Servant is a Haskell DSL for describing, serving, querying, mocking, documenting web applications a…

★ 2.0K ⑂ 423 Haskell

49

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

★ 1.9K ⑂ 56 Haskell

50

fosskers/aura A multilingual package manager for Arch Linux and the AUR.

★ 1.9K ⑂ 122 Haskell

51

lamdu/lamdu lamdu - towards the next generation IDE

★ 1.9K ⑂ 75 Haskell

52

BurntSushi/erd Translates a plain text description of a relational database schema to a graphical entity-relations…

★ 1.9K ⑂ 153 Haskell

53

nmattia/niv Easy dependency management for Nix projects

★ 1.8K ⑂ 76 Haskell

54

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

★ 1.8K ⑂ 76 Haskell

55

olivierverdier/zsh-git-prompt Informative git prompt for zsh

★ 1.8K ⑂ 393 Haskell

56

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

★ 1.8K ⑂ 134 Haskell

57

haskell/cabal Official upstream development repository for Cabal and cabal-install

★ 1.7K ⑂ 740 Haskell

58

jtdaugherty/brick A declarative Unix terminal UI library written in Haskell

★ 1.7K ⑂ 172 Haskell

59

google-research/dex-lang Research language for array processing in the Haskell/ML family

★ 1.7K ⑂ 117 Haskell

60

mikeizbicki/HLearn Homomorphic machine learning

★ 1.7K ⑂ 134 Haskell

61

IntersectMBO/plutus The Plutus language implementation and tools

★ 1.6K ⑂ 510 Haskell

62

tensorflow/haskell Haskell bindings for TensorFlow

★ 1.6K ⑂ 196 Haskell

63

clash-lang/clash-compiler Haskell to VHDL/Verilog/SystemVerilog compiler

★ 1.6K ⑂ 166 Haskell

64

ndmitchell/hlint Haskell source code suggestions

★ 1.6K ⑂ 208 Haskell

65

maralorn/nix-output-monitor Pipe your nix-build output through the nix-output-monitor a.k.a nom to get additional information w…

★ 1.6K ⑂ 51 Haskell

66

huangzworks/real-world-haskell-cn 《Real World Haskell》中文翻译项目

★ 1.6K ⑂ 227 Haskell

67

haskell-beginners-2022/course-plan 📜 Haskell course info, plan, video lectures, slides

★ 1.6K ⑂ 65 Haskell

68

NixOS/nixfmt The official formatter for Nix code

★ 1.6K ⑂ 75 Haskell

69

srid/neuron Future-proof note-taking and publishing based on Zettelkasten (superseded by Emanote: https://githu…

★ 1.6K ⑂ 144 Haskell

70

yi-editor/yi The Haskell-Scriptable Editor

★ 1.5K ⑂ 196 Haskell

71

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

★ 1.5K ⑂ 37 Haskell

72

fossas/fossa-cli Fast, portable and reliable dependency analysis for any codebase. Supports license & vulnerability…

★ 1.5K ⑂ 202 Haskell

73

valderman/haste-compiler A GHC-based Haskell to JavaScript compiler

★ 1.5K ⑂ 107 Haskell

74

HuwCampbell/grenade Deep Learning in Haskell

★ 1.4K ⑂ 80 Haskell

75

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

★ 1.4K ⑂ 58 Haskell

76

monoscope-tech/monoscope Monoscope lets you ingest and explore your logs, traces and metrics. We store these in S3 compatibl…

★ 1.4K ⑂ 60 Haskell

77

google/haskell-trainings Haskell 101 and 102: slides and codelabs

★ 1.4K ⑂ 108 Haskell

78

input-output-hk/plutus-pioneer-program This repository hosts the lectures of the Plutus Pioneers Program. This program is a training cours…

★ 1.4K ⑂ 1.0K Haskell

79

avh4/elm-format elm-format formats Elm source code according to a standard set of rules based on the official Elm S…

★ 1.3K ⑂ 148 Haskell

80

ucsd-progsys/liquidhaskell Liquid Types For Haskell

★ 1.3K ⑂ 159 Haskell

81

quchen/articles Miscellaneous articles. The readme is the table of contents.

★ 1.3K ⑂ 90 Haskell

82

haskell/aeson A fast Haskell JSON library

★ 1.3K ⑂ 332 Haskell

83

faylang/fay A proper subset of Haskell that compiles to JavaScript

★ 1.3K ⑂ 86 Haskell

84

google/codeworld Educational computer programming environment using Haskell

★ 1.3K ⑂ 200 Haskell

85

fullstack-development/developers-roadmap How to learn front-end or back-end development

★ 1.2K ⑂ 259 Haskell

86

GaloisInc/cryptol Cryptol: The Language of Cryptography

★ 1.2K ⑂ 129 Haskell

87

hasktorch/hasktorch Tensors and neural networks in Haskell

★ 1.2K ⑂ 124 Haskell

88

ndmitchell/ghcid Very low feature GHCi based IDE

★ 1.2K ⑂ 116 Haskell

89

reanimate/reanimate Haskell library for building declarative animations based on SVG graphics

★ 1.2K ⑂ 67 Haskell

90

evincarofautumn/kitten A statically typed concatenative systems programming language.

★ 1.2K ⑂ 41 Haskell

91

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

★ 1.1K ⑂ 81 Haskell

92

hzlmn/haskell-must-watch Huge list of videos, talks, courses for Haskell programming language.

★ 1.1K ⑂ 56 Haskell

93

B-Lang-org/bsc Bluespec Compiler (BSC)

★ 1.1K ⑂ 182 Haskell

94

reflex-frp/reflex Interactive programs without callbacks or side-effects. Functional Reactive Programming (FRP) uses …

★ 1.1K ⑂ 150 Haskell

95

graninas/software-design-in-haskell Software Design in Haskell. A structured set of materials. How to build real-world applications in …

★ 1.1K ⑂ 69 Haskell

96

cachix/cachix Command line client for Nix binary cache hosting:

★ 1.1K ⑂ 56 Haskell

97

polysemy-research/polysemy :gemini: higher-order, no-boilerplate monads

★ 1.1K ⑂ 77 Haskell

98

uber/queryparser Parsing and analysis of Vertica, Hive, and Presto SQL.

★ 1.1K ⑂ 146 Haskell

99

tweag/ormolu A formatter for Haskell source code

★ 1.1K ⑂ 90 Haskell

100

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

★ 1.1K ⑂ 83 Haskell