haskell/cabal
Official upstream development repository for Cabal and cabal-install
Haskell - Other - Last pushed - 963 stars - 455 forks
commercialhaskell/stack
The Haskell Tool Stack
Haskell - Other - Last pushed - 3.14K stars - 703 forks
idris-lang/Idris-dev
A Dependently Typed Functional Programming Language
Haskell - Other - Last pushed - 2.66K stars - 596 forks
spechub/Hets
The Heterogeneous Tool Set
Haskell - GPL-2.0 - Last pushed - 13 stars - 7 forks
jgm/pandoc
Universal markup converter
Haskell - Other - Last pushed - 15.3K stars - 1.72K forks
agda/agda
Agda is a dependently typed programming language / interactive theorem prover.
Haskell - Other - Last pushed - 661 stars - 97 forks
koalaman/shellcheck
ShellCheck, a static analysis tool for shell scripts
Haskell - GPL-3.0 - Last pushed - 14.3K stars - 721 forks
luna/luna-studio
An IDE for hybrid textual and visual functional programming.
Haskell - AGPL-3.0 - Last pushed - 516 stars - 18 forks
ucsd-progsys/liquidhaskell
Liquid Types For Haskell
Haskell - Other - Last pushed - 649 stars - 87 forks
ghcjs/ghcjs
Haskell to JavaScript compiler, based on GHC
Haskell - MIT - Last pushed - 2.11K stars - 158 forks
TorXakis/TorXakis
A tool for Model Based Testing
Haskell - Other - Last pushed - 12 stars - 2 forks
purescript/purescript
A strongly-typed language that compiles to JavaScript
Haskell - Other - Last pushed - 5.95K stars - 437 forks
typelead/eta
The Eta Programming Language, a dialect of Haskell on the JVM
Haskell - Other - Last pushed - 2.04K stars - 134 forks
yi-editor/yi
The Haskell-Scriptable Editor
Haskell - GPL-2.0 - Last pushed - 1.26K stars - 184 forks
haskell/haskell-ide-engine
The engine for haskell ide-integration. Not an IDE
Haskell - Other - Last pushed - 1.36K stars - 147 forks
google/codeworld
Educational computer programming environment using Haskell
Haskell - Apache-2.0 - Last pushed - 864 stars - 137 forks
leksah/leksah
Haskell IDE
Haskell - Other - Last pushed - 757 stars - 106 forks
jgm/gitit
A wiki using HAppS, pandoc, and git
Haskell - Other - Last pushed - 1.61K stars - 181 forks
avh4/elm-format
elm-format formats Elm source code according to a standard set of rules based on the official Elm...
Haskell - BSD-3-Clause - Last pushed - 1.12K stars - 117 forks
haskell/hackage-server
Hackage-Server: A Haskell Package Repository
Haskell - Other - Last pushed - 237 stars - 141 forks
simonmichael/hledger
The hledger command-line/curses/web accounting tool, a Haskell rewrite of ledger.
Haskell - GPL-3.0 - Last pushed - 733 stars - 119 forks
haskell-servant/servant
Main repository for the servant libraries -- DSL for describing, serving, querying, mocking, docu...
Haskell - BSD-3-Clause - Last pushed - 1.1K stars - 239 forks
input-output-hk/cardano-sl
Cryptographic currency implementing Ouroboros PoS protocol
Haskell - Other - Last pushed - 2.49K stars - 380 forks
Super-Fluid/heqet
Organize Euterpea music for real instruments and create scores with Lilypond
Haskell - GPL-3.0 - Last pushed - 4 stars - 2 forks
ndmitchell/shake
Shake build system
Haskell - Other - Last pushed - 506 stars - 89 forks
ndmitchell/hlint
Haskell source code suggestions
Haskell - Other - Last pushed - 702 stars - 94 forks
elm/compiler
Compiler for Elm, a functional language for reliable webapps.
Haskell - Other - Last pushed - 5.19K stars - 417 forks
yesodweb/persistent
Persistence interface for Haskell allowing multiple storage methods.
Haskell - MIT - Last pushed - 296 stars - 197 forks
AmpersandTarski/Ampersand
Build database applications faster than anyone else, and keep your data pollution free as a bonus.
Haskell - GPL-3.0 - Last pushed - 15 stars - 6 forks
haskell/containers
Assorted concrete container types
Haskell - Other - Last pushed - 196 stars - 115 forks
License
Keyword
Language
Host

Subscribe to an RSS feed of this search