Discover Haskell

1

pandoc

Universal markup converter

🔥🔥🔥

2

hadolint

Dockerfile linter, validate inline bash, written in Haskell

🔥

3

nix-output-monitor

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

📣

4

shellcheck

ShellCheck, a static analysis tool for shell scripts

📣

5

sprite-lang

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

📣

6

ditto

A Super Kawaii Dependently Typed Programming Language

📣

7

simplex-chat

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

📣

8

end

Lightweight notification daemon displaying notifications as EWW widgets

⬆️

9

arbtt

arbtt, the automatic rule-based time-tracker

⬆️

10

unison

A friendly programming language from the future

⬆️

11

tetris

A terminal interface for Tetris

⬆️

12

obelisk

Functional reactive web and mobile applications, with batteries included.

⬆️

13

software-design-in-haskell

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

⬆️

14

duckling

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

⬆️

15

pandoc-wasm

The universal document converter, compiled for WebAssembly and running in the browser.

⬆️

16

curator

Haskell Stackage curator build tool

⬆️

17

nix-vscode-extensions

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

⬆️

18

purescript

A strongly-typed language that compiles to JavaScript

⬆️

19

commonmark-simple

Simple interface to https://github.com/jgm/commonmark-hs

⬆️

20

tip-toi-reveng

Trying to understand the file format of Tip Toi

⬆️

21

LambdaQuest

An implementation of System F, System Fsub (F_{<:}) and Finter (F_∧)

⬆️

22

dot-analysis

Analysing dependency graphs produced by Agda

⬆️

23

cleff

Fast and concise extensible effects

⬆️

24

haskell-docs-cli

Browse Hackage from the terminal

⬆️

25

hierarchical-free-monads-the-most-developed-approach-in-haskell

Big article about Hierarchical Free Monads, the most developed approach to build real software in Haskell

⬆️

26

superfluid

A functional language with dependent types and customisable type representations

⬆️

27

postgrest

REST API for any Postgres database

⬆️

28

hakyll

A static website compiler library in Haskell

⬆️

29

compiler

Compiler for Elm, a functional language for reliable webapps.

⬆️

30

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

⬆️

31

ollama-haskell

Haskell bindings for Ollama

⬆️

32

hoodle

hoodle : A pen notetaking program written in haskell

⬆️

33

radix-tree

Haskell implementation of the radix tree data structure

⬆️

34

greenclip

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

⬆️

35

fp-course

Functional Programming Course

⬆️

36

hydra

⬆️

37

semantic

Parsing, analyzing, and comparing source code across many languages

⬆️

38

ghcup-hs

⬆️

39

haskell-code-explorer

Web application for exploring and understanding Haskell codebases

⬆️

40

codex

A ctags file generator for cabal/stack project dependencies.

⬆️

41

tinyapl

TinyAPL, a tiny APL dialect and interpreter in Haskell

⬆️

42

adblock2privoxy

Convert adblock config files to privoxy format

⬆️

43

taskwarrior-habitica-bridge

Sync Taskwarrior tasks with Habitica

⬆️

44

nginx-healthcheck-plugin

Active health checks and monitoring of Nginx upstreams

⬆️

45

cabal-hoogle

⬆️

46

happy

The Happy parser generator for Haskell

⬆️

47

haskell-crypto

Haskell cryptography done right

⬆️

48

coreutils

Unix core utilities implemented in Haskell

⬆️

49

kitten

A statically typed concatenative systems programming language.

⬆️