Haskell

Top repositories by stars

1 jgm
jgm/pandoc Universal markup converter
★ 46.9K ⑂ 4.4K Haskell
4 simplex-chat
simplex-chat/simplex-chat SimpleX - the first messaging network operating without user identifiers of any kind - 100% private…
★ 19.7K ⑂ 1.3K Haskell
5 hadolint
hadolint/hadolint Dockerfile linter, validate inline bash, written in Haskell
★ 12.5K ⑂ 512 Haskell
6 github
github/semantic Parsing, analyzing, and comparing source code across many languages
★ 9.0K ⑂ 470 Haskell
8 elm
elm/compiler Compiler for Elm, a functional language for reliable webapps.
★ 7.9K ⑂ 690 Haskell
10 carp-lang
carp-lang/Carp A statically typed lisp, without a GC, for real-time applications.
★ 6.1K ⑂ 189 Haskell
11 digitallyinduced
digitallyinduced/ihp 🔥 The fastest way to build type safe web apps. IHP is a new batteries-included web framework optimi…
★ 5.4K ⑂ 225 Haskell
13 simonmichael
simonmichael/hledger Robust, fast, intuitive plain text accounting tool with CLI, TUI and web interfaces.
★ 4.7K ⑂ 409 Haskell
14 facebook
facebook/Haxl A Haskell library that simplifies access to remote data, such as databases or web-based services.
★ 4.4K ⑂ 311 Haskell
15 facebook
facebook/duckling Language, engine, and tooling for expressing, testing, and evaluating composable language rules on …
★ 4.3K ⑂ 739 Haskell
20 xmonad
xmonad/xmonad The core of xmonad, a small but functional ICCCM-compliant tiling window manager
★ 3.6K ⑂ 299 Haskell
22 b3nj5m1n
b3nj5m1n/xdg-ninja A shell script which checks your $HOME for unwanted files and directories.
★ 3.4K ⑂ 190 Haskell
23 ghc
ghc/ghc Mirror of the Glasgow Haskell Compiler. Please submit issues and patches to GHC's Gitlab instance (…
★ 3.3K ⑂ 742 Haskell
26 IntersectMBO
IntersectMBO/cardano-node The core component that is used to participate in a Cardano decentralised blockchain.
★ 3.2K ⑂ 764 Haskell
27 agda
agda/agda Agda is a dependently typed programming language / interactive theorem prover.
★ 3.0K ⑂ 432 Haskell
31 diku-dk
diku-dk/futhark :boom::computer::boom: A data-parallel functional programming language
★ 2.8K ⑂ 211 Haskell
34 yesodweb
yesodweb/yesod A RESTful Haskell web framework built on WAI.
★ 2.7K ⑂ 386 Haskell
37 typelead
typelead/eta The Eta Programming Language, a dialect of Haskell on the JVM
★ 2.6K ⑂ 142 Haskell
38 ghcjs
ghcjs/ghcjs Haskell to JavaScript compiler, based on GHC
★ 2.6K ⑂ 184 Haskell
39 nammayatri
nammayatri/nammayatri A Direct-to-Driver open mobility platform powering the next-generation of mobility applications in …
★ 2.6K ⑂ 403 Haskell
40 dmjio
dmjio/miso :ramen: A tasty Haskell web and mobile framework
★ 2.4K ⑂ 171 Haskell
42 jgm
jgm/gitit A wiki using HAppS, pandoc, and git
★ 2.3K ⑂ 232 Haskell
45 ekmett
ekmett/lens Lenses, Folds, and Traversals - Join us on web.libera.chat #haskell-lens
★ 2.1K ⑂ 274 Haskell
46 monoscope-tech
monoscope-tech/monoscope Monoscope lets you ingest and explore your logs, traces and metrics. We store these in S3 compatibl…
★ 2.1K ⑂ 91 Haskell
47 haskell-servant
haskell-servant/servant Servant is a Haskell DSL for describing, serving, querying, mocking, documenting web applications a…
★ 2.0K ⑂ 431 Haskell
48 tweag
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
49 fosskers
fosskers/aura A multilingual package manager for Arch Linux and the AUR.
★ 1.9K ⑂ 123 Haskell
50 lamdu
lamdu/lamdu lamdu - towards the next generation IDE
★ 1.9K ⑂ 77 Haskell
51 nmattia
nmattia/niv Easy dependency management for Nix projects
★ 1.9K ⑂ 75 Haskell
52 BurntSushi
BurntSushi/erd Translates a plain text description of a relational database schema to a graphical entity-relations…
★ 1.9K ⑂ 153 Haskell
54 scotty-web
scotty-web/scotty Haskell web framework inspired by Ruby's Sinatra, using WAI and Warp (Official Repository)
★ 1.8K ⑂ 134 Haskell
56 haskell
haskell/cabal Official upstream development repository for Cabal and cabal-install
★ 1.7K ⑂ 762 Haskell
57 jtdaugherty
jtdaugherty/brick A declarative Unix terminal UI library written in Haskell
★ 1.7K ⑂ 176 Haskell
59 maralorn
maralorn/nix-output-monitor Pipe your nix-build output through the nix-output-monitor a.k.a nom to get additional information w…
★ 1.7K ⑂ 59 Haskell
61 NixOS
NixOS/nixfmt The official formatter for Nix code
★ 1.6K ⑂ 78 Haskell
68 srid
srid/neuron Future-proof note-taking and publishing based on Zettelkasten (superseded by Emanote: https://githu…
★ 1.6K ⑂ 145 Haskell
70 erebe
erebe/greenclip Simple clipboard manager to be integrated with rofi - Static binary available
★ 1.5K ⑂ 38 Haskell
71 fossas
fossas/fossa-cli Fast, portable and reliable dependency analysis for any codebase. Supports license & vulnerability…
★ 1.5K ⑂ 209 Haskell
73 lettier
lettier/gifcurry 😎 The open-source, Haskell-built video editor for GIF makers.
★ 1.5K ⑂ 59 Haskell
76 reanimate
reanimate/reanimate Haskell library for building declarative animations based on SVG graphics
★ 1.4K ⑂ 89 Haskell
79 avh4
avh4/elm-format elm-format formats Elm source code according to a standard set of rules based on the official Elm S…
★ 1.3K ⑂ 150 Haskell
81 quchen
quchen/articles Miscellaneous articles. The readme is the table of contents.
★ 1.3K ⑂ 89 Haskell
82 faylang
faylang/fay A proper subset of Haskell that compiles to JavaScript
★ 1.3K ⑂ 86 Haskell
83 google
google/codeworld Educational computer programming environment using Haskell
★ 1.3K ⑂ 201 Haskell
92 cachix
cachix/cachix Command line client for Nix binary cache hosting:
★ 1.1K ⑂ 59 Haskell
93 reflex-frp
reflex-frp/reflex Interactive programs without callbacks or side-effects. Functional Reactive Programming (FRP) uses …
★ 1.1K ⑂ 150 Haskell
95 utdemir
utdemir/nix-tree Interactively browse dependency graphs of Nix derivations.
★ 1.1K ⑂ 22 Haskell
96 uber
uber/queryparser Parsing and analysis of Vertica, Hive, and Presto SQL.
★ 1.1K ⑂ 146 Haskell
99 tweag
tweag/ormolu A formatter for Haskell source code
★ 1.1K ⑂ 90 Haskell
100 GaloisInc
GaloisInc/HaLVM The Haskell Lightweight Virtual Machine (HaLVM): GHC running on Xen
★ 1.1K ⑂ 83 Haskell
105 vekatze
vekatze/neut A functional programming language with static memory management
★ 1.0K ⑂ 16 Haskell
106 thma
thma/LtuPatternFactory Lambda the ultimate Pattern Factory: FP, Haskell, Typeclassopedia vs Software Design Patterns
★ 1.0K ⑂ 37 Haskell
107 aviaviavi
aviaviavi/toodles Project management directly from the TODOs in your codebase
★ 982 ⑂ 32 Haskell
109 mrkkrp
mrkkrp/megaparsec Industrial-strength monadic parser combinator library
★ 978 ⑂ 94 Haskell
111 srid
srid/emanote Emanate a structured view of your plain-text notes
★ 966 ⑂ 80 Haskell
115 composewell
composewell/streamly High performance, streaming and concurrent functional programming in Haskell
★ 927 ⑂ 71 Haskell
123 yesodweb
yesodweb/wai Haskell Web Application Interface
★ 886 ⑂ 287 Haskell
124 kip-dili
kip-dili/kip A programming language in Turkish where grammatical case and mood are part of the type system.
★ 883 ⑂ 21 Haskell
126 simplex-chat
simplex-chat/simplexmq ⚙️ SimpleXMQ - A reference implementation of the SimpleX Messaging Protocol for simplex queues over…
★ 862 ⑂ 123 Haskell
128 Copilot-Language
Copilot-Language/copilot A stream-based runtime-verification framework for generating hard real-time C code.
★ 840 ⑂ 83 Haskell
129 tmspzz
tmspzz/Rome Carthage cache for S3, Minio, Ceph, Google Storage, Artifactory and many others
★ 823 ⑂ 55 Haskell
135 ad-si
ad-si/Perspec Scriptable desktop app to correct the perspective of images
★ 796 ⑂ 38 Haskell
137 hspec
hspec/hspec A Testing Framework for Haskell
★ 785 ⑂ 111 Haskell
138 GaloisInc
GaloisInc/crucible Crucible is a library for symbolic simulation of imperative programs
★ 781 ⑂ 48 Haskell
140 zachjs
zachjs/sv2v SystemVerilog to Verilog conversion
★ 757 ⑂ 67 Haskell
142 awgn
awgn/cgrep Cgrep: a context-aware grep for source codes
★ 743 ⑂ 40 Haskell
143 granule-project
granule-project/granule A statically-typed linear functional language with graded modal types for fine-grained program reas…
★ 741 ⑂ 46 Haskell
144 taffybar
taffybar/taffybar A gtk based status bar for tiling window managers such as XMonad
★ 711 ⑂ 141 Haskell
145 kowainik
kowainik/summoner 🔮 🔧 Tool for scaffolding batteries-included production-level Haskell projects
★ 709 ⑂ 73 Haskell
147 agrafix
agrafix/Spock Another Haskell web framework for rapid development
★ 677 ⑂ 57 Haskell
148 DanielG
DanielG/ghc-mod Happy Haskell Hacking for editors. DEPRECATED
★ 666 ⑂ 176 Haskell
150 LambdaHack
LambdaHack/LambdaHack Haskell game engine library for roguelike dungeon crawlers; please offer feedback, e.g., after tryi…
★ 659 ⑂ 57 Haskell
152 qfpl
qfpl/applied-fp-course Applied Functional Programming Course - Move from exercises to a working app!
★ 629 ⑂ 176 Haskell
158 nasa
nasa/ogma Generator of runtime monitors for flight and robotics applications.
★ 588 ⑂ 61 Haskell
168 haskell-effectful
haskell-effectful/effectful An easy to use, fast extensible effects library with seamless integration with the existing Haskell…
★ 488 ⑂ 41 Haskell
169 yesodweb
yesodweb/persistent Persistence interface for Haskell allowing multiple storage methods.
★ 486 ⑂ 307 Haskell
172 halogenandtoast
halogenandtoast/ArkhamHorror An unofficial rules-compliant browser based version of Arkham Horror: The Card Game. Not produced, …
★ 465 ⑂ 150 Haskell
173 fourmolu
fourmolu/fourmolu A fourk of ormolu that uses four space indentation and allows arbitrary configuration. Don't like i…
★ 465 ⑂ 79 Haskell
174 vicfryzel
vicfryzel/xmonad-config My xmonad and xmobar configuration, plus necessary scripts to make things more usable.
★ 459 ⑂ 155 Haskell
175 haskell-CI
haskell-CI/haskell-ci Scripts and instructions for using CI services (e.g. Travis CI or Appveyor) with multiple GHC confi…
★ 454 ⑂ 79 Haskell
178 haskell
haskell/lsp Haskell library for the Microsoft Language Server Protocol
★ 426 ⑂ 107 Haskell
179 jonascarpay
jonascarpay/apecs a fast, extensible, type driven Haskell ECS framework for games
★ 425 ⑂ 49 Haskell
180 haskell
haskell/text Haskell library for space- and time-efficient operations over Unicode text.
★ 424 ⑂ 166 Haskell
184 jgm
jgm/texmath A Haskell library for converting LaTeX math to MathML.
★ 410 ⑂ 88 Haskell
185 NixOS
NixOS/cabal2nix Generate Nix build instructions from a Cabal file
★ 402 ⑂ 163 Haskell
186 sol
sol/doctest An implementation of Python's doctest for Haskell
★ 400 ⑂ 78 Haskell
187 bitemyapp
bitemyapp/esqueleto New home of Esqueleto, please file issues so we can get things caught up!
★ 400 ⑂ 108 Haskell
192 reflex-frp
reflex-frp/reflex-dom Web applications without callbacks or side-effects. Reflex-DOM brings the power of functional react…
★ 377 ⑂ 150 Haskell
194 nomeata
nomeata/arbtt arbtt, the automatic rule-based time-tracker
★ 366 ⑂ 40 Haskell
195 argotorg
argotorg/hevm Symbolic and concrete EVM execution engine
★ 362 ⑂ 81 Haskell
196 purerl
purerl/purerl Erlang backend for the PureScript compiler
★ 359 ⑂ 11 Haskell
198 seanhess
seanhess/hyperbole Haskell interactive serverside web framework inspired by HTMX, Elm, and Phoenix LiveView
★ 354 ⑂ 22 Haskell
201 neohaskell
neohaskell/NeoHaskell ⏩ NeoHaskell is a dialect of Haskell that is focused on newcomer-friendliness and productivity.
★ 348 ⑂ 11 Haskell
207 snoyberg
snoyberg/http-client An HTTP client engine, intended as a base layer for more user-friendly packages.
★ 297 ⑂ 199 Haskell
210 Mesabloo
Mesabloo/diagnose A simple library for reporting compiler/interpreter errors
★ 272 ⑂ 26 Haskell
211 Nike-Inc
Nike-Inc/hal hal provides an AWS Lambda Custom Runtime environment for your Haskell applications.
★ 245 ⑂ 16 Haskell
214 chshersh
chshersh/iris 🌈 Haskell CLI Framework supporting Command Line Interface Guidelines
★ 198 ⑂ 22 Haskell
217 pgenie-io
pgenie-io/pgenie SQL-first, type-safe PostgreSQL client code generator
★ 163 ⑂ 2 Haskell
219 ChrisPenner
ChrisPenner/void-space Well-Typed Typing Tutor where you Type Types... in space... yup, you heard me
★ 146 ⑂ 11 Haskell
220 awakesecurity
awakesecurity/hocker Utilities for interacting with the docker registry and generating nix build instructions
★ 128 ⑂ 9 Haskell
223 ChrisPenner
ChrisPenner/eve An extensible event-driven application framework in haskell
★ 111 ⑂ 10 Haskell
224 sdiehl
sdiehl/cabal-edit A utility for managing Hackage dependencies and manipulating Cabal files from the command line.
★ 78 ⑂ 2 Haskell
227 tweag
tweag/tricorder Tricorder provides simple, fast, focused feedback when hacking on Haskell (with or without LLM agen…
★ 70 ⑂ 11 Haskell
229 z1-0
z1-0/nix-ast A Nix library for parsing, inspecting, and transforming AST
★ 64 ⑂ 0 Haskell
230 corsis
corsis/clock High-resolution clock functions: monotonic, realtime, cputime.
★ 61 ⑂ 25 Haskell
232 jez
jez/calz :calendar: A natural language alternative to Unix 'cal'
★ 60 ⑂ 1 Haskell
233 pouyakary
pouyakary/haskell-nota A calculator with a beautiful interface for the Terminal, Including unicode-based charting and rich…
★ 60 ⑂ 4 Haskell
234 aisk
aisk/timeout A standalone implementation of the timeout command.
★ 59 ⑂ 2 Haskell
238 two-twelve
two-twelve/fernery A CLI tool for generating images of ferns 🌿 and other Iterated Function Systems
★ 52 ⑂ 3 Haskell
241 Enecuum
Enecuum/Node Comprehensive framework to build network actors and distributed applications
★ 44 ⑂ 9 Haskell
244 mfussenegger
mfussenegger/mkjson MIRROR. A commandline tool to generate static or random JSON records
★ 38 ⑂ 1 Haskell
245 andreasabel
andreasabel/helf Haskell implementation of the Edinburgh Logical Framework
★ 34 ⑂ 3 Haskell
253 simonmichael
simonmichael/quickbench Easily time one or more commands with one or more executables and show tabular results
★ 25 ⑂ 1 Haskell
256 mirvoxtm
mirvoxtm/Binah Simple Haskell Web Framework inspired by Express.js
★ 21 ⑂ 0 Haskell
258 phadej
phadej/saison Stream Aeson, fruity, spicy, well carbonated.
★ 10 ⑂ 0 Haskell