koalaman/shellcheck
ShellCheck, a static analysis tool for shell scripts
Haskell - GPL-3.0 - Last pushed - 14.3K stars - 721 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
tidalcycles/Tidal
Pattern language
Haskell - GPL-3.0 - Last pushed - 639 stars - 106 forks
juhp/cabal-rpm
Haskell Cabal RPM packaging tool
Haskell - GPL-3.0 - Last pushed - 20 stars - 9 forks
lamdu/lamdu
lamdu - towards the next generation IDE
Haskell - GPL-3.0 - Last pushed - 1.38K stars - 55 forks
hadolint/hadolint
Dockerfile linter, validate inline bash, written in Haskell
Haskell - GPL-3.0 - Last pushed - 1.25K stars - 69 forks
aurapm/aura
A secure, multilingual package manager for Arch Linux and the AUR.
Haskell - GPL-3.0 - Last pushed - 736 stars - 74 forks
ChrisPenner/rasa
Extremely modular text editor built in Haskell
Haskell - GPL-3.0 - Last pushed - 520 stars - 33 forks
CIFASIS/QuickFuzz
An experimental grammar fuzzer in Haskell using QuickCheck
Haskell - GPL-3.0 - Last pushed - 163 stars - 39 forks
tamarin-prover/tamarin-prover
Main source code repository of the Tamarin prover for security protocol verification.
Haskell - GPL-3.0 - Last pushed - 130 stars - 50 forks
nirum-lang/nirum
Nirum: IDL compiler and RPC/distributed object framework for microservices
Haskell - GPL-3.0 - Last pushed - 110 stars - 29 forks
alevy/postgresql-orm
An Haskell ORM (Object Relational Mapping) and migrations DSL for PostgreSQL.
Haskell - GPL-3.0 - Last pushed - 60 stars - 6 forks
CDSoft/pp
PP - Generic preprocessor (with pandoc in mind) - macros, literate programming, diagrams, scripts...
Haskell - GPL-3.0 - Last pushed - 38 stars - 6 forks
mumuki/mulang
eyeglasses Universal, Multi Language, Multi Paradigm code analyzer
Haskell - GPL-3.0 - Last pushed - 27 stars - 5 forks
byorgey/BlogLiterately
Command-line tool for formatting and publishing blog posts.
Haskell - GPL-3.0 - Last pushed - 16 stars - 4 forks
dfinity/dhc
Compiles Haskell to WebAssembly
Haskell - GPL-3.0 - Last pushed - 129 stars - 8 forks
JackKiefer/herms
stewfork_and_knife A command-line manager for delicious kitchen recipes
Haskell - GPL-3.0 - Last pushed - 80 stars - 20 forks
ruuda/blog
My personal site
Haskell - GPL-3.0 - Last pushed - 50 stars - 4 forks
tidalcycles/tidal-midi
Tidal module for sending patterns over MIDI
Haskell - GPL-3.0 - Last pushed - 48 stars - 30 forks
simonmichael/shelltestrunner
Easy, repeatable testing of CLI programs/commands
Haskell - GPL-3.0 - Last pushed - 37 stars - 2 forks
imalsogreg/reffit
Community mini-reviews for scientific papers
Haskell - GPL-3.0 - Last pushed - 32 stars - 3 forks
mcfilib/codeclimate-shellcheck
codeclimate-shellcheck is a Code Climate engine that wraps ShellCheck
Haskell - GPL-3.0 - Last pushed - 16 stars - 9 forks
DanielG/cabal-helper
Simple interface to some of Cabal's configuration state, used by ghc-mod. CI: https://gitlab.com/...
Haskell - GPL-3.0 - Last pushed - 15 stars - 33 forks
eggzilla/BlastHTTP
Haskell cabal libary for submission and result retrieval from the NCBI Blast REST webservice
Haskell - GPL-3.0 - Last pushed - 4 stars - 1 forks
mattgreen/hython
Haskell-powered Python 3 interpreter
Haskell - GPL-3.0 - Last pushed - 509 stars - 15 forks
frp-arduino/frp-arduino
Arduino programming without the hassle of C.
Haskell - GPL-3.0 - Last pushed - 197 stars - 16 forks
corsis/PortFusion
Haskell-powered cross-platform transport-layer distributed reverse / forward proxy & tunneling so...
Haskell - GPL-3.0 - Last pushed - 153 stars - 35 forks
hinance/hinance
Automated personal bookkeeping for hackers.
Haskell - GPL-3.0 - Last pushed - 93 stars - 4 forks
jcollard/unm-hip
The University of New Mexico's Haskell Image Processing Library
Haskell - GPL-3.0 - Last pushed - 82 stars - 11 forks
danr/hipspec
A hip inductive theorem prover!
Haskell - GPL-3.0 - Last pushed - 65 stars - 6 forks
License
Keyword
Language
Host

Subscribe to an RSS feed of this search