Trending Haskell Projects

Top 50 Trending Haskell Projects

• simplex-chat

  1 6,041 6.1%

  SimpleX - the first messaging network operating without user identifiers of any kind - 100% private by design! iOS, Android and desktop apps 📱!

  

• kmonad

  2 3,871 2.6%

  An advanced keyboard manager

  

• cachix

  3 821 2.3%

  Command line client for Nix binary cache hosting:

  

• fossa-cli

  4 1,259 2.3%

  Fast, portable and reliable dependency analysis for any codebase. Supports license & vulnerability scanning for large monoliths. Language-agnostic; integrates with 20+ build systems.

  

• emanote

  5 794 2.1%

  Emanate a structured view of your plain-text notes

  

• koka

  6 3,236 1.9%

  Koka language compiler and interpreter

  

• bsc

  7 927 1.8%

  Bluespec Compiler (BSC) (by B-Lang-org)

  

• echidna

  8 2,701 1.7%

  Ethereum smart contract fuzzer

  

• postgrest

  9 23,182 1.5%

  REST API for any Postgres database

  

• copilot

  10 627 1.4%

  A stream-based runtime-verification framework for generating hard real-time C code. (by Copilot-Language)

  

• learn4haskell

  11 992 1.4%

  👩‍🏫 👨‍🏫 Learn Haskell basics in 4 pull requests

  

• tttool

  12 646 1.4%

  Trying to understand the file format of Tip Toi

  

• Agda

  13 2,460 1.3%

  Agda is a dependently typed programming language / interactive theorem prover.

  

• Cabal

  14 1,606 1.2%

  Official upstream development repository for Cabal and cabal-install

  

• clash-ghc

  15 1,417 1.1%

  Haskell to VHDL/Verilog/SystemVerilog compiler

  

• hasktorch

  16 1,056 1.0%

  Tensors and neural networks in Haskell

  

• hadolint

  17 10,232 1.0%

  Dockerfile linter, validate inline bash, written in Haskell

  

• granule

  18 588 1.0%

  A statically-typed linear functional language with graded modal types for fine-grained program reasoning

  

• hstream

  19 707 1.0%

  HStreamDB is an open-source, cloud-native streaming database for IoT and beyond. Modernize your data stack for real-time applications. (by hstreamdb)

  

• liquidhaskell

  20 1,181 0.9%

  Liquid Types For Haskell

  

• aeson

  21 1,248 0.9%

  A fast Haskell JSON library

  

• cryptol

  22 1,135 0.9%

  Cryptol: The Language of Cryptography

  

• matterhorn

  23 1,035 0.9%

  A feature-rich Unix terminal client for the Mattermost chat system

  

• Perspec

  24 583 0.9%

  Scriptable desktop app to correct the perspective of images

  

• plutus

  25 1,557 0.8%

  The Plutus language implementation and tools

  

• haskell-language-server

  26 2,645 0.8%

  Official haskell ide support via language server (LSP). Successor of ghcide & haskell-ide-engine.

  

• unison

  27 5,730 0.8%

  A friendly programming language from the future

  

• xmonad

  28 3,328 0.8%

  The core of xmonad, a small but functional ICCCM-compliant tiling window manager

  

• eff

  29 550 0.7%

  🚧 a work in progress effect system for Haskell 🚧 (by hasura)

  

• swarm

  30 835 0.7%

  Resource gathering + programming game

  

• servant

  31 1,810 0.7%

  Servat is a Haskell DSL for describing, serving, querying, mocking, documenting web applications and more!

  

• stylish-haskell

  32 981 0.7%

  Haskell code prettifier

  

• dex-lang

  33 1,576 0.7%

  Research language for array processing in the Haskell/ML family

  

• Simula

  34 2,938 0.7%

  Linux VR Desktop

  

• applied-fp-course

  35 624 0.6%

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

  

• reanimate

  36 1,116 0.6%

  Haskell library for building declarative animations based on SVG graphics

  

• retrie

  37 500 0.6%

  Retrie is a powerful, easy-to-use codemodding tool for Haskell.

  

• criterion

  38 501 0.6%

  A powerful but simple library for measuring the performance of Haskell code. (by haskell)

  

• hedgehog

  39 673 0.6%

  Release with confidence, state-of-the-art property testing for Haskell.

  

• parsec

  40 842 0.6%

  A monadic parser combinator library

  

• relude

  41 698 0.6%

  🌀 Safe, performant, user-friendly and lightweight Haskell standard library

  

• ormolu

  42 948 0.5%

  A formatter for Haskell source code

  

• H

  43 583 0.5%

  The full power of R in Haskell.

  

• xmonad-contrib

  44 584 0.5%

  Contributed modules for xmonad

  

• ghc

  45 3,023 0.5%

  Mirror of the Glasgow Haskell Compiler. Please submit issues and patches to GHC's Gitlab instance (https://gitlab.haskell.org/ghc/ghc). First time contributors are encouraged to get started with the newcomers info (https://gitlab.haskell.org/ghc/ghc/wikis/contributing).

  

• kit

  46 1,017 0.5%

  Kit: a magical, high performance programming language, designed for game development. (by kitlang)

  

• reflex

  47 1,066 0.5%

  Interactive programs without callbacks or side-effects. Functional Reactive Programming (FRP) uses composable events and time-varying values to describe interactive systems as pure functions. Just like other pure functional code, functional reactive code is easier to get right on the first try, maintain, and reuse. (by reflex-frp)

  

• fused-effects

  48 642 0.5%

  A fast, flexible, fused effect system for Haskell

  

• taffybar

  49 691 0.4%

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

  

• obelisk

  50 948 0.4%

  Functional reactive web and mobile applications, with batteries included.

  

Index