Discover Haskell

1

shellcheck

ShellCheck, a static analysis tool for shell scripts

🔥🔥🔥

2

pandoc

Universal markup converter

🔥🔥

3

postgrest

REST API for any Postgres database

🔥🔥

4

semantic

Parsing, analyzing, and comparing source code across many languages

📣

5

purescript

A strongly-typed language that compiles to JavaScript

📣

6

hadolint

Dockerfile linter, validate inline bash, written in Haskell

📣

7

compiler

Compiler for Elm, a functional language for reliable webapps.

📣

8

Carp

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

📣

9

unison

A friendly programming language from the future

⬆️

10

Haxl

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

⬆️

11

stack

The Haskell Tool Stack

⬆️

12

duckling

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

⬆️

13

Idris-dev

A Dependently Typed Functional Programming Language

⬆️

14

write-you-a-haskell

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

⬆️

15

koka

Koka language compiler and interpreter

⬆️

16

ghcjs

Haskell to JavaScript compiler, based on GHC

⬆️

17

eta

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

⬆️

18

ghc

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

⬆️

19

hakyll

A static website compiler library in Haskell

⬆️

20

corrode

C to Rust translator

⬆️

21

simplex-chat

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

⬆️

22

haskell-ide-engine

The engine for haskell ide-integration. Not an IDE

⬆️

23

ihp

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

⬆️

24

Functional-Programming

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

⬆️

25

patat

Terminal-based presentations using Pandoc

⬆️

26

futhark

💥💻💥 A data-parallel functional programming language

⬆️

27

wiwinwlh

What I Wish I Knew When Learning Haskell

⬆️

28

Simula

Linux VR Desktop

⬆️

29

yesod

A RESTful Haskell web framework built on WAI.

⬆️

30

wstunnel

Tunneling over websocket protocol - Static binary available

⬆️

31

agda

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

⬆️

32

cardano-sl

Cryptographic currency implementing Ouroboros PoS protocol

⬆️

33

hledger

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

⬆️

34

lens

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

⬆️

35

miso

🍜 A tasty Haskell front-end framework

⬆️

36

awesome-haskell

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

⬆️

37

xmonad

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

⬆️

38

haskell-language-server

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

⬆️

39

asterius

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

⬆️

40

lamdu

lamdu - towards the next generation IDE

⬆️

41

wire-server

🇪🇺 Wire back-end services

⬆️

42

gitit

A wiki using HAppS, pandoc, and git

⬆️

43

scotty

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

⬆️

44

servant

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

⬆️

45

haste-compiler

A GHC-based Haskell to JavaScript compiler

⬆️

46

cabal

Official upstream development repository for Cabal and cabal-install

⬆️

47

fay

A proper subset of Haskell that compiles to JavaScript

⬆️

48

dex-lang

Research language for array processing in the Haskell/ML family

⬆️

49

elm-format

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

⬆️

50

niv

Easy dependency management for Nix projects

⬆️

51

echidna

Ethereum smart contract fuzzer

⬆️

52

brick

A declarative Unix terminal UI library written in Haskell

⬆️

53

yi

The Haskell-Scriptable Editor

⬆️

54

aeson

A fast Haskell JSON library

⬆️

55

HLearn

Homomorphic machine learning

⬆️

56

aura

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

⬆️

57

haskell

Haskell bindings for TensorFlow

⬆️

58

grenade

Deep Learning in Haskell

⬆️

59

erd

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

⬆️

60

hlint

Haskell source code suggestions

⬆️

61

zsh-git-prompt

Informative git prompt for zsh

⬆️

62

xdg-ninja

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

⬆️

63

articles

Miscellaneous articles. The readme is the table of contents.

⬆️

64

dapptools

Dapp, Seth, Hevm, and more

⬆️

65

ghcid

Very low feature GHCi based IDE

⬆️

66

taskell

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

⬆️

67

clash-compiler

Haskell to VHDL/Verilog/SystemVerilog compiler

⬆️

68

kit

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

⬆️

69

neuron

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

⬆️

70

kitten

A statically typed concatenative systems programming language.

⬆️

71

grin

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

⬆️

72

liquidhaskell

Liquid Types For Haskell

⬆️

73

intero

⬆️

74

fossa-cli

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

⬆️

75

reflex

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.

⬆️

76

optparse-applicative

Applicative option parser

⬆️

77

codeworld

Educational computer programming environment using Haskell

⬆️

78

stylish-haskell

Haskell code prettifier

⬆️

79

HaLVM

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

⬆️

80

polysemy

♊ higher-order, no-boilerplate monads

⬆️

81

cryptol

Cryptol: The Language of Cryptography

⬆️

82

megaparsec

Industrial-strength monadic parser combinator library

⬆️

83

ormolu

A formatter for Haskell source code

⬆️

84

haskell-trainings

Haskell 101 and 102: slides and codelabs

⬆️

85

kaleidoscope

Haskell LLVM JIT Compiler Tutorial

⬆️

86

real-world-haskell-cn

《Real World Haskell》中文翻译项目

⬆️

87

sixten

Functional programming with fewer indirections

⬆️

88

egison

The Egison Programming Language

⬆️

89

hasktorch

Tensors and neural networks in Haskell

⬆️

90

cardano-node

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

⬆️

91

radicle-alpha

A peer-to-peer stack for code collaboration

⬆️

92

turtle

Shell programming, Haskell style

⬆️

93

unused

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

⬆️

94

shake

Shake build system

⬆️

95

brittany

haskell source code formatter

⬆️

96

hspec

A Testing Framework for Haskell

⬆️

97

conduit

A streaming data library

⬆️

98

reanimate

Haskell library for building declarative animations based on SVG graphics

⬆️

99

streamly

High performance, concurrent functional programming abstractions

⬆️

100

bench

Command-line benchmark tool

⬆️