Cabal Open Source Projects
Browse 130 Cabal open source projects, ranked by GitHub stars. Find the most popular Cabal tools and libraries.
koalaman/shellcheck
ShellCheck, a static analysis tool for shell scripts
Metrics details
| Stars | 39,743 |
sdiehl/write-you-a-haskell
Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)
Metrics details
| Stars | 3,484 |
haskell/haskell-language-server
Official Haskell IDE support via the language server protocol (LSP)
Metrics details
| Stars | 2,940 |
sdiehl/wiwinwlh
What I Wish I Knew When Learning Haskell
Metrics details
| Stars | 2,667 |
ghcjs/ghcjs
Haskell to JavaScript compiler, based on GHC
Metrics details
| Stars | 2,621 |
tweag/asterius
DEPRECATED in favor of ghc wasm backend, see https://www.tweag.io/blog/2022-11-22-wasm-backend-merged-in-ghc
Metrics details
| Stars | 1,950 |
haskell/cabal
Official upstream development repository for Cabal and cabal-install
Metrics details
| Stars | 1,742 |
serokell/nixfmt
A formatter for Nix code
Metrics details
| Stars | 1,559 |
valderman/haste-compiler
A GHC-based Haskell to JavaScript compiler
Metrics details
| Stars | 1,482 |
hasktorch/hasktorch
Tensors and neural networks in Haskell
Metrics details
| Stars | 1,208 |
evincarofautumn/kitten
A statically typed concatenative systems programming language.
Metrics details
| Stars | 1,167 |
B-Lang-org/bsc
Bluespec Compiler (BSC)
Metrics details
| Stars | 1,133 |
lierdakil/pandoc-crossref
Pandoc filter for cross-references
Metrics details
| Stars | 1,067 |
sdiehl/kaleidoscope
Haskell LLVM JIT Compiler Tutorial
Metrics details
| Stars | 1,038 |
cabal-club/cabal-desktop
Desktop client for Cabal, the p2p/decentralized/local-first chat platform.
Metrics details
| Stars | 914 |
Copilot-Language/copilot
A stream-based runtime-verification framework for generating hard real-time C code.
Metrics details
| Stars | 831 |
jaor/xmobar
A minimalistic status bar
Metrics details
| Stars | 783 |
2mol/pboy
a small .pdf management tool with a command-line UI
Metrics details
| Stars | 744 |
taffybar/taffybar
A gtk based status bar for tiling window managers such as XMonad
Metrics details
| Stars | 713 |
kowainik/summoner
🔮 🔧 Tool for scaffolding batteries-included production-level Haskell projects
Metrics details
| Stars | 712 |
mujx/hakatime
Wakatime server implementation & analytics dashboard
Metrics details
| Stars | 691 |
serras/emacs-haskell-tutorial
Tutorial on setting up Emacs to do Haskell programming
Metrics details
| Stars | 690 |
lspitzner/brittany
haskell source code formatter
Metrics details
| Stars | 686 |
neovimhaskell/haskell-vim
Custom Haskell Vimscripts
Metrics details
| Stars | 685 |
sol/hpack
hpack: A modern format for Haskell packages
Metrics details
| Stars | 665 |
qfpl/applied-fp-course
Applied Functional Programming Course - Move from exercises to a working app!
Metrics details
| Stars | 631 |
mortberg/cubicaltt
Experimental implementation of Cubical Type Theory
Metrics details
| Stars | 599 |
kowainik/stan
🕵️ Haskell STatic ANalyser
Metrics details
| Stars | 594 |
haskell/vscode-haskell
VS Code extension for Haskell, powered by haskell-language-server
Metrics details
| Stars | 594 |
SublimeHaskell/SublimeHaskell
A Sublime Text 3 plugin for Haskell. Features cabal building, error and warning highlighting, smart completion and ghc-mod integration.
Metrics details
| Stars | 571 |
alexwl/haskell-code-explorer
Web application for exploring and understanding Haskell codebases
Metrics details
| Stars | 517 |
google/proto-lens
API for protocol buffers using modern Haskell language and library patterns.
Metrics details
| Stars | 507 |
valderman/selda
A type-safe, high-level SQL library for Haskell
Metrics details
| Stars | 477 |
uhub/awesome-haskell
A curated list of awesome Haskell frameworks, libraries and software.
Metrics details
| Stars | 466 |
haskell/hackage-server
Hackage-Server: A Haskell Package Repository
Metrics details
| Stars | 463 |
snapframework/snap
Top-level package for the official Snap Framework libraries, includes the snaplets API as well as infrastructure for sessions, auth, and templates.
Metrics details
| Stars | 460 |
haskell-foundation/foundation
Empire strikes back
Metrics details
| Stars | 460 |
owickstrom/komposition
The video editor built for screencasters
Metrics details
| Stars | 430 |
NixOS/cabal2nix
Generate Nix build instructions from a Cabal file
Metrics details
| Stars | 401 |
sol/doctest
An implementation of Python's doctest for Haskell
Metrics details
| Stars | 397 |
nomeata/incredible
The Incredible Proof Machine
Metrics details
| Stars | 392 |
haskell/haskell-platform
Distribution of Haskell with batteries included
Metrics details
| Stars | 377 |
simonmar/parconc-examples
Sample code to accompany the book "Parallel and Concurrent Programming in Haskell"
Metrics details
| Stars | 359 |
joelburget/react-haskell
React bindings for Haskell
Metrics details
| Stars | 356 |
haskell/ghcup-hs
Metrics details
| Stars | 352 |
GaloisInc/reopt
A tool for analyzing x86-64 binaries.
Metrics details
| Stars | 342 |
nmattia/snack
Nix-based incremental build tool for Haskell projects
Metrics details
| Stars | 342 |
justinethier/husk-scheme
A full implementation of the Scheme programming language for the Haskell Platform.
Metrics details
| Stars | 317 |
bjpop/berp
An implementation of Python 3
Metrics details
| Stars | 314 |
cabal-club/cabal-core
Core database and replication for cabal.
Metrics details
| Stars | 304 |
begriffs/heroku-buildpack-ghc
Deploy Haskell apps to Heroku
Metrics details
| Stars | 275 |
pigworker/CS410-17
being the lecture materials and exercises for the 2017/18 session of CS410 Advanced Functional Programming at the University of Strathclyde
Metrics details
| Stars | 265 |
haskell/ghcup
DEPRECATED IN FAVOR OF haskell/ghcup-hs
Metrics details
| Stars | 265 |
mwotton/Hubris
Bridge from Ruby to Haskell
Metrics details
| Stars | 262 |
GaloisInc/macaw
Open source binary analysis tools.
Metrics details
| Stars | 256 |
fugue/fregot
Fugue Rego Toolkit
Metrics details
| Stars | 233 |
atom-haskell/ide-haskell
Haskell IDE plugin for Atom editor
Metrics details
| Stars | 231 |
geophf/1HaskellADay
Metrics details
| Stars | 227 |
music-suite/music-suite
Music in Haskell
Metrics details
| Stars | 218 |
axellang/axel
Haskell + Lisp
Metrics details
| Stars | 214 |
