Cabal Open Source Projects

Browse 130 Cabal open source projects, ranked by GitHub stars. Find the most popular Cabal tools and libraries.

Share your experience:✍️ Write a Post❓ Ask a Question
1-60 of 130 projects
39,743 stars

koalaman/shellcheck

ShellCheck, a static analysis tool for shell scripts

Metrics details
Stars39,743
3,484 stars

sdiehl/write-you-a-haskell

Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)

Metrics details
Stars3,484
2,940 stars

haskell/haskell-language-server

Official Haskell IDE support via the language server protocol (LSP)

Metrics details
Stars2,940
2,667 stars

sdiehl/wiwinwlh

What I Wish I Knew When Learning Haskell

Metrics details
Stars2,667
2,621 stars

ghcjs/ghcjs

Haskell to JavaScript compiler, based on GHC

Metrics details
Stars2,621
1,950 stars

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
Stars1,950
1,742 stars

haskell/cabal

Official upstream development repository for Cabal and cabal-install

Metrics details
Stars1,742
1,559 stars

serokell/nixfmt

A formatter for Nix code

Metrics details
Stars1,559
1,482 stars

valderman/haste-compiler

A GHC-based Haskell to JavaScript compiler

Metrics details
Stars1,482
1,208 stars

hasktorch/hasktorch

Tensors and neural networks in Haskell

Metrics details
Stars1,208
1,167 stars

evincarofautumn/kitten

A statically typed concatenative systems programming language.

Metrics details
Stars1,167
1,133 stars

B-Lang-org/bsc

Bluespec Compiler (BSC)

Metrics details
Stars1,133
1,067 stars

lierdakil/pandoc-crossref

Pandoc filter for cross-references

Metrics details
Stars1,067
1,038 stars

sdiehl/kaleidoscope

Haskell LLVM JIT Compiler Tutorial

Metrics details
Stars1,038
914 stars

cabal-club/cabal-desktop

Desktop client for Cabal, the p2p/decentralized/local-first chat platform.

Metrics details
Stars914
831 stars

Copilot-Language/copilot

A stream-based runtime-verification framework for generating hard real-time C code.

Metrics details
Stars831
783 stars

jaor/xmobar

A minimalistic status bar

Metrics details
Stars783
744 stars

2mol/pboy

a small .pdf management tool with a command-line UI

Metrics details
Stars744
713 stars

taffybar/taffybar

A gtk based status bar for tiling window managers such as XMonad

Metrics details
Stars713
712 stars

kowainik/summoner

🔮 🔧 Tool for scaffolding batteries-included production-level Haskell projects

Metrics details
Stars712
691 stars

mujx/hakatime

Wakatime server implementation & analytics dashboard

Metrics details
Stars691
690 stars

serras/emacs-haskell-tutorial

Tutorial on setting up Emacs to do Haskell programming

Metrics details
Stars690
686 stars

lspitzner/brittany

haskell source code formatter

Metrics details
Stars686
685 stars

neovimhaskell/haskell-vim

Custom Haskell Vimscripts

Metrics details
Stars685
665 stars

sol/hpack

hpack: A modern format for Haskell packages

Metrics details
Stars665
631 stars

qfpl/applied-fp-course

Applied Functional Programming Course - Move from exercises to a working app!

Metrics details
Stars631
599 stars

mortberg/cubicaltt

Experimental implementation of Cubical Type Theory

Metrics details
Stars599
594 stars

kowainik/stan

🕵️ Haskell STatic ANalyser

Metrics details
Stars594
594 stars

haskell/vscode-haskell

VS Code extension for Haskell, powered by haskell-language-server

Metrics details
Stars594
571 stars

SublimeHaskell/SublimeHaskell

A Sublime Text 3 plugin for Haskell. Features cabal building, error and warning highlighting, smart completion and ghc-mod integration.

Metrics details
Stars571
517 stars

alexwl/haskell-code-explorer

Web application for exploring and understanding Haskell codebases

Metrics details
Stars517
507 stars

google/proto-lens

API for protocol buffers using modern Haskell language and library patterns.

Metrics details
Stars507
477 stars

valderman/selda

A type-safe, high-level SQL library for Haskell

Metrics details
Stars477
466 stars

uhub/awesome-haskell

A curated list of awesome Haskell frameworks, libraries and software.

Metrics details
Stars466
463 stars

haskell/hackage-server

Hackage-Server: A Haskell Package Repository

Metrics details
Stars463
460 stars

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
Stars460
460 stars

haskell-foundation/foundation

Empire strikes back

Metrics details
Stars460
430 stars

owickstrom/komposition

The video editor built for screencasters

Metrics details
Stars430
401 stars

NixOS/cabal2nix

Generate Nix build instructions from a Cabal file

Metrics details
Stars401
397 stars

sol/doctest

An implementation of Python's doctest for Haskell

Metrics details
Stars397
392 stars

nomeata/incredible

The Incredible Proof Machine

Metrics details
Stars392
377 stars

haskell/haskell-platform

Distribution of Haskell with batteries included

Metrics details
Stars377
359 stars

simonmar/parconc-examples

Sample code to accompany the book "Parallel and Concurrent Programming in Haskell"

Metrics details
Stars359
356 stars

joelburget/react-haskell

React bindings for Haskell

Metrics details
Stars356
352 stars

haskell/ghcup-hs

Metrics details
Stars352
342 stars

GaloisInc/reopt

A tool for analyzing x86-64 binaries.

Metrics details
Stars342
342 stars

nmattia/snack

Nix-based incremental build tool for Haskell projects

Metrics details
Stars342
317 stars

justinethier/husk-scheme

A full implementation of the Scheme programming language for the Haskell Platform.

Metrics details
Stars317
314 stars

bjpop/berp

An implementation of Python 3

Metrics details
Stars314
304 stars

cabal-club/cabal-core

Core database and replication for cabal.

Metrics details
Stars304
275 stars

begriffs/heroku-buildpack-ghc

Deploy Haskell apps to Heroku

Metrics details
Stars275
265 stars

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
Stars265
265 stars

haskell/ghcup

DEPRECATED IN FAVOR OF haskell/ghcup-hs

Metrics details
Stars265
262 stars

mwotton/Hubris

Bridge from Ruby to Haskell

Metrics details
Stars262
256 stars

GaloisInc/macaw

Open source binary analysis tools.

Metrics details
Stars256
233 stars

fugue/fregot

Fugue Rego Toolkit

Metrics details
Stars233
231 stars

atom-haskell/ide-haskell

Haskell IDE plugin for Atom editor

Metrics details
Stars231
227 stars

geophf/1HaskellADay

Metrics details
Stars227
218 stars

music-suite/music-suite

Music in Haskell

Metrics details
Stars218
214 stars

axellang/axel

Haskell + Lisp

Metrics details
Stars214
1-60 of 130 projects
Get A Weekly Email With Trending Cabal Projects
Stay updated on Cabal plus related topics you pick below.

Copyright 2018-2026 Awesome Open Source.  All rights reserved.