Trending Haskell Projects

Top 50 Trending Haskell Projects

• simplex-chat

  1 5,363 3.6%

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

  

• cachix

  2 770 3.1%

  Command line client for Nix binary cache hosting:

  

• kmonad

  3 3,570 2.8%

  An advanced keyboard manager

  

• futhark

  4 2,300 2.1%

  :boom::computer::boom: A data-parallel functional programming language

  

• emanote

  5 742 2.0%

  Emanate a structured view of your plain-text notes

  

• postgrest

  6 22,427 1.9%

  REST API for any Postgres database

  

• koka

  7 3,083 1.8%

  Koka language compiler and interpreter

  

• hasktorch

  8 1,024 1.8%

  Tensors and neural networks in Haskell

  

• hadolint

  9 9,793 1.7%

  Dockerfile linter, validate inline bash, written in Haskell

  

• bsc

  10 885 1.6%

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

  

• obelisk

  11 928 1.5%

  Functional reactive web and mobile applications, with batteries included.

  

• implicit

  12 1,293 1.4%

  A math-inspired CAD program in haskell. CSG, bevels, and shells; 2D & 3D geometry; 2D gcode generation...

  

• copilot

  13 594 1.3%

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

  

• wai-conduit

  14 818 1.3%

  Haskell Web Application Interface

  

• clash-ghc

  15 1,377 1.3%

  Haskell to VHDL/Verilog/SystemVerilog compiler

  

• course-plan

  16 1,201 1.2%

  📜 Haskell course info, plan, video lectures, slides

  

• granule

  17 568 1.2%

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

  

• unison

  18 5,577 1.2%

  A friendly programming language from the future

  

• ormolu

  19 924 1.1%

  A formatter for Haskell source code

  

• Agda

  20 2,388 1.0%

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

  

• xmonad-contrib

  21 574 1.0%

  Contributed modules for xmonad

  

• haskell-language-server

  22 2,582 1.0%

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

  

• rio-orphans

  23 836 1.0%

  A standard library for Haskell (by commercialhaskell)

  

• liquidhaskell

  24 1,153 1.0%

  Liquid Types For Haskell

  

• cardano-wallet

  25 747 0.9%

  HTTP server & command-line for managing UTxOs and HD wallets in Cardano.

  

• LambdaHack

  26 614 0.8%

  Haskell game engine library for roguelike dungeon crawlers; please offer feedback, e.g., after trying out the sample game with the web frontend at

  

• matterhorn

  27 1,008 0.8%

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

  

• attoparsec

  28 510 0.8%

  A fast Haskell library for parsing ByteStrings

  

• dex-lang

  29 1,543 0.8%

  Research language for array processing in the Haskell/ML family

  

• hevm

  30 2,055 0.7%

  Dapp, Seth, Hevm, and more

  

• hstream

  31 691 0.7%

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

  

• cryptol

  32 1,111 0.7%

  Cryptol: The Language of Cryptography

  

• streamly

  33 850 0.7%

  High performance, concurrent functional programming abstractions

  

• fossa-cli

  34 1,221 0.7%

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

  

• reanimate

  35 1,105 0.6%

  Haskell library for building declarative animations based on SVG graphics

  

• tttool

  36 636 0.6%

  Trying to understand the file format of Tip Toi

  

• stylish-haskell

  37 969 0.6%

  Haskell code prettifier

  

• learn4haskell

  38 976 0.6%

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

  

• polysemy

  39 1,025 0.6%

  :gemini: higher-order, no-boilerplate monads

  

• yesod-persistent

  40 2,600 0.6%

  A RESTful Haskell web framework built on WAI.

  

• servant

  41 1,777 0.6%

  Main repository for the servant libraries — DSL for describing, serving, querying, mocking, documenting web applications and more!

  

• xmonad

  42 3,251 0.5%

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

  

• Simula

  43 2,872 0.5%

  Linux VR Desktop

  

• ghc

  44 2,973 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).

  

• applied-fp-course

  45 621 0.5%

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

  

• scotty

  46 1,686 0.5%

  Haskell web framework inspired by Ruby's Sinatra, using WAI and Warp (Official Repository)

  

• fused-effects

  47 634 0.5%

  A fast, flexible, fused effect system for Haskell

  

• ihp

  48 4,233 0.5%

  🔥 The fastest way to build type safe web apps. IHP is a new batteries-included web framework optimized for longterm productivity and programmer happiness

  

• hedgehog

  49 663 0.5%

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

  

• accelerate

  50 887 0.5%

  Embedded language for high-performance array computations (by AccelerateHS)

  

Index