Discover Haskell

1

simplex-chat

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

🔥🔥🔥

2

pandoc

Universal markup converter

🔥🔥

3

shellcheck

ShellCheck, a static analysis tool for shell scripts

🔥

4

MicroHs

Haskell implemented with combinators

📣

5

postgrest

REST API for any Postgres database

📣

6

hadolint

Dockerfile linter, validate inline bash, written in Haskell

📣

7

wstunnel

Tunneling over websocket protocol - Static binary available

📣

8

xdg-ninja

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

📣

9

static-ls

⬆️

10

nix-output-monitor

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

⬆️

11

unison

A friendly programming language from the future

⬆️

12

hell

Haskell-based shell scripting language

⬆️

13

niv

Easy dependency management for Nix projects

⬆️

14

hledger

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

⬆️

15

turnstyle

Turnstyle is a graphical esoteric programming language based on lambda calculus

⬆️

16

koka

Koka language compiler and interpreter

⬆️

17

agda

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

⬆️

18

futhark

💥💻💥 A data-parallel functional programming language

⬆️

19

nix-tree

Interactively browse dependency graphs of Nix derivations.

⬆️

20

xmonad

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

⬆️

21

purescript

A strongly-typed language that compiles to JavaScript

⬆️

22

project-m36

Project: M36 Relational Algebra Engine

⬆️

23

haskell-language-server

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

⬆️

24

cs316-functional-programming

CS316 "Functional Programming" lecture notes

⬆️

25

ghc-wasm-miso-examples

⬆️

26

nix-vscode-extensions

Nix expressions for VSCode and OpenVSX extensions [maintainers: @deemp, @AmeerTaweel]

⬆️

27

simplexmq

⚙️ SimpleXMQ - A reference implementation of the SimpleX Messaging Protocol for simplex queues over public networks.

⬆️

28

gtk-layers

Demonstration of GTK4 TreeListView with drag-and-drop

⬆️

29

effectful

An easy to use, fast extensible effects library with seamless integration with the existing Haskell ecosystem.

⬆️

30

cachix

Command line client for Nix binary cache hosting:

⬆️

31

ollama-haskell

Haskell bindings for Ollama

⬆️

32

bsc

Bluespec Compiler (BSC)

⬆️

33

aura

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

⬆️

34

Functional-Design-and-Architecture

Code and materials for my book "Functional Design and Architecture"

⬆️

35

elaboration-zoo

Minimal implementations for dependent type checking and elaboration

⬆️

36

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

⬆️

37

typed-protocols

Session types framework with support of protocol pipelining.

⬆️

38

nix-package-versions

Search for old versions of Nix packages

⬆️

39

compiler

Compiler for Elm, a functional language for reliable webapps.

⬆️

40

patat

Terminal-based presentations using Pandoc

⬆️

41

confer

The symbolic links manager for your configuration files

⬆️

42

sprite-lang

An tutorial-style implementation of liquid/refinement types for a subset of Ocaml/Reason.

⬆️

43

yaifl

An interactive fiction (text adventure) library in Haskell, inspired by Inform7.

⬆️

44

copilot

A stream-based runtime-verification framework for generating hard real-time C code.

⬆️

45

distributed-process

Cloud Haskell core libraries

⬆️

46

array

⬆️

47

quickcheck

Automatic testing of Haskell programs.

⬆️

48

kitten

A statically typed concatenative systems programming language.

⬆️

49

efci

⬆️

50

software-design-in-haskell

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

⬆️

51

ArkhamHorror

An unofficial rules-compliant browser based version of Arkham Horror: The Card Game. Not produced, endorsed, or supported by, or affiliated with Fantasy Flight Games.

⬆️

52

hlint

Haskell source code suggestions

⬆️

53

liquidhaskell

Liquid Types For Haskell

⬆️

54

egison

The Egison Programming Language

⬆️

55

greenclip

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

⬆️

56

Simula

Linux VR Desktop

⬆️

57

macaw

Open source binary analysis tools.

⬆️

58

TaskLite

The CLI task manager for power users

⬆️

59

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.

⬆️

60

echidna

Ethereum smart contract fuzzer

⬆️

61

gwern.net

Site infrastructure for gwern.net (CSS/JS/HS/images/icons). Custom Hakyll website with unique automatic link archiving, recursive tooltip popup UX, dark mode, and typography (sidenotes+dropcaps+admonitions+inflation-adjuster).

⬆️

62

matterhorn

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

⬆️

63

obelisk

Functional reactive web and mobile applications, with batteries included.

⬆️

64

Earley

Parsing all context-free grammars using Earley's algorithm in Haskell.

⬆️

65

bech32

Haskell implementation of the Bech32 address format (BIP 0173).

⬆️

66

ormolu

A formatter for Haskell source code

⬆️

67

oama

OAuth credential Manager

⬆️

68

full-fledged-hledger

Tutorial on Hledger setup with multi-year files, multi-source imports and a range of auto-generated reports

⬆️

69

cabal-add

Extend Cabal build-depends from the command line

⬆️

70

semantic

Parsing, analyzing, and comparing source code across many languages

⬆️

71

happy

The Happy parser generator for Haskell

⬆️

72

mtl

The Monad Transformer Library

⬆️

73

GPT-Haskell

A pure Haskell implementation of a decoder-only transformer (GPT)

⬆️

74

monomer

An easy to use, cross platform, GUI library for writing Haskell applications.

⬆️

75

wiwinwlh

What I Wish I Knew When Learning Haskell

⬆️

76

pandoc-crossref

Pandoc filter for cross-references

⬆️

77

bruijn

🧮 Programming language based on pure bruijn-indexed lambda calculus and strong call-by-need reduction using abstract machines

⬆️

78

monocle

Monocle helps teams and individual to better organize daily duties and to detect anomalies in the way changes are produced and reviewed.

⬆️

79

prometheus

Prometheus.io Haskell client.

⬆️

80

falling-turnip

falling sand game with regular parallel arrays.

⬆️

81

mezzo

A Haskell library for typesafe music composition

⬆️

82

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

⬆️

83

dunai

Classic FRP, Arrowized FRP, Reactive Programming, and Stream Programming, all via Monadic Stream Functions

⬆️

84

arbtt

arbtt, the automatic rule-based time-tracker

⬆️

85

pump

reverse dependency build matrix generator

⬆️

86

xrefcheck

Check cross-references in repository documents

⬆️

87

focus

cli utility for hacking and slashing data

⬆️

88

fourmolu

A fourk of ormolu that uses four space indentation and allows arbitrary configuration. Don't like it? PRs welcome!

⬆️

89

corrode

C to Rust translator

⬆️

90

hindley-milner-type-check

Haskell library for type-inference with Hindley-Milner type-system.

⬆️

91

thinking-with-types

📖 source material for Thinking with Types

⬆️

92

fortran-src

Fortran parsing and static analysis infrastructure

⬆️

93

cornelis

agda-mode for neovim

⬆️

94

hakyll

A static website compiler library in Haskell

⬆️

95

emanote

Emanate a structured view of your plain-text notes

⬆️

96

mono-traversable

Type classes for mapping, folding, and traversing monomorphic containers

⬆️

97

hs-opentelemetry

OpenTelemetry support for the Haskell programming language

⬆️

98

optparse-applicative

Applicative option parser

⬆️

99

haskell-ci

Scripts and instructions for using CI services (e.g. Travis CI or Appveyor) with multiple GHC configurations

⬆️

100

typelits-printf

Type-safe printf from parsing GHC TypeLits Symbol

⬆️