Language · Haskell

Haskell

Tracked open-source repos with Haskell as the primary language, sorted by stars.

154 repos

#91
streamly@composewellHaskell
High performance, streaming and concurrent functional programming in Haskell
★ 922+0Star change over the last 7 days
#92
swarm@swarm-gameHaskell
Resource gathering + programming game
★ 917+1Star change over the last 7 days
#93
conduit@snoybergHaskell
A streaming data library
★ 914+0Star change over the last 7 days
#94
daml@digital-assetHaskell
The Daml smart contract language
★ 914+1Star change over the last 7 days
#95
espial@jonschoningHaskell
Espial is an open-source, web-based bookmarking server.
★ 913+2Star change over the last 7 days
#96
bench@Gabriella439Haskell
Command-line benchmark tool
★ 910+1Star change over the last 7 days
#97
parsec@haskellHaskell
A monadic parser combinator library
★ 894+1Star change over the last 7 days
#98
kip@kip-diliHaskell
A programming language in Turkish where grammatical case and mood are part of the type system.
★ 880+2Star change over the last 7 days
#99
wai@yesodwebHaskell
Haskell Web Application Interface
★ 878+1Star change over the last 7 days
#100
tip-toi-reveng@entropiaHaskell
Trying to understand the file format of Tip Toi
★ 874+2Star change over the last 7 days
#101
rio@commercialhaskellHaskell
A standard library for Haskell
★ 867+1Star change over the last 7 days
#102
simplexmq@simplex-chatHaskell
⚙️ SimpleXMQ - A reference implementation of the SimpleX Messaging Protocol for simplex queues over public networks.
★ 847+4Star change over the last 7 days
#103
copilot@Copilot-LanguageHaskell
A stream-based runtime-verification framework for generating hard real-time C code.
★ 833+1Star change over the last 7 days
#104
cardano-wallet@cardano-foundationHaskell
HTTP server & command-line for managing UTxOs and HD wallets in Cardano.
★ 821+1Star change over the last 7 days
#105
hoogle@ndmitchellHaskell
Haskell API search engine
★ 803+2Star change over the last 7 days
#106
shake@ndmitchellHaskell
Shake build system
★ 802+1Star change over the last 7 days
#107
elaboration-zoo@AndrasKovacsHaskell
Minimal implementations for dependent type checking and elaboration
★ 795+1Star change over the last 7 days
#108
quickcheck@nick8325Haskell
Automatic testing of Haskell programs.
★ 785+0Star change over the last 7 days
#109
hspec@hspecHaskell
A Testing Framework for Haskell
★ 785+1Star change over the last 7 days
#110
Perspec@ad-siHaskell
Scriptable desktop app to correct the perspective of images
★ 780+22Star change over the last 7 days
#111
crucible@GaloisIncHaskell
Crucible is a library for symbolic simulation of imperative programs
★ 774-1Star change over the last 7 days
#112
MicroHs@augustssHaskell
Haskell implemented with combinators
★ 772+1Star change over the last 7 days
#113
alga@snowleopardHaskell
Algebraic graphs
★ 761+0Star change over the last 7 days
#114
distributed-process@haskell-distributedHaskell
Cloud Haskell core libraries
★ 750+0Star change over the last 7 days
#115
sv2v@zachjsHaskell
SystemVerilog to Verilog conversion
★ 749+1Star change over the last 7 days
#116
cgrep@awgnHaskell
Cgrep: a context-aware grep for source codes
★ 744+0Star change over the last 7 days
#117
relude@kowainikHaskell
🌀 Safe, performant, user-friendly and lightweight Haskell standard library
★ 742+0Star change over the last 7 days
#118
granule@granule-projectHaskell
A statically-typed linear functional language with graded modal types for fine-grained program reasoning
★ 732+1Star change over the last 7 days
#119
hstream@hstreamdbHaskell
HStreamDB is an open-source, cloud-native streaming database for IoT and beyond. Modernize your data stack for real-time applications.
★ 722+0Star change over the last 7 days
#120
taffybar@taffybarHaskell
A gtk based status bar for tiling window managers such as XMonad
★ 713+0Star change over the last 7 days

← Back to languages