Trending Haskell Projects

Top 50 Trending Haskell Projects

• cachix

  1 767 5.6%

  Command line client for Nix binary cache hosting:

  

• kmonad

  2 3,544 4.5%

  An advanced keyboard manager

  

• simplex-chat

  3 5,285 4.4%

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

  

• plutus

  4 1,529 3.5%

  The Plutus language implementation and tools

  

• emanote

  5 739 2.7%

  Emanate a structured view of your plain-text notes

  

• granule

  6 567 2.5%

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

  

• futhark

  7 2,293 2.2%

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

  

• hstream

  8 691 2.2%

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

  

• koka

  9 3,057 2.1%

  Koka language compiler and interpreter

  

• postgrest

  10 22,282 1.9%

  REST API for any Postgres database

  

• copilot

  11 589 1.9%

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

  

• hadolint

  12 9,707 1.8%

  Dockerfile linter, validate inline bash, written in Haskell

  

• obelisk

  13 925 1.7%

  Functional reactive web and mobile applications, with batteries included.

  

• clash-ghc

  14 1,372 1.6%

  Haskell to VHDL/Verilog/SystemVerilog compiler

  

• swarm

  15 788 1.5%

  Resource gathering + programming game

  

• bsc

  16 880 1.5%

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

  

• Agda

  17 2,371 1.5%

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

  

• tttool

  18 634 1.4%

  Trying to understand the file format of Tip Toi

  

• unison

  19 5,555 1.4%

  A friendly programming language from the future

  

• implicit

  20 1,285 1.2%

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

  

• learn4haskell

  21 974 1.2%

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

  

• wai-conduit

  22 816 1.2%

  Haskell Web Application Interface

  

• matterhorn

  23 1,007 1.2%

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

  

• haskell-language-server

  24 2,570 1.1%

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

  

• course-plan

  25 1,196 1.1%

  📜 Haskell course info, plan, video lectures, slides

  

• hasktorch

  26 1,015 1.1%

  Tensors and neural networks in Haskell

  

• fossa-cli

  27 1,218 1.1%

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

  

• xmonad-contrib

  28 571 1.1%

  Contributed modules for xmonad

  

• Simula

  29 2,867 1.0%

  Linux VR Desktop

  

• applied-fp-course

  30 621 1.0%

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

  

• rio-orphans

  31 836 1.0%

  A standard library for Haskell (by commercialhaskell)

  

• ghc

  32 2,971 0.9%

  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).

  

• eff

  33 546 0.9%

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

  

• cardano-node

  34 3,019 0.9%

  The core component that is used to participate in a Cardano decentralised blockchain.

  

• scotty

  35 1,689 0.8%

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

  

• Cabal

  36 1,563 0.7%

  Official upstream development repository for Cabal and cabal-install

  

• duckling

  37 4,019 0.7%

  Language, engine, and tooling for expressing, testing, and evaluating composable language rules on input strings.

  

• xmonad

  38 3,238 0.7%

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

  

• cardano-wallet

  39 745 0.7%

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

  

• egison

  40 900 0.7%

  The Egison Programming Language

  

• ormolu

  41 920 0.7%

  A formatter for Haskell source code

  

• tensorflow

  42 1,564 0.6%

  Haskell bindings for TensorFlow

  

• cryptol

  43 1,107 0.6%

  Cryptol: The Language of Cryptography

  

• stylish-haskell

  44 967 0.6%

  Haskell code prettifier

  

• liquidhaskell

  45 1,148 0.6%

  Liquid Types For Haskell

  

• Elm

  46 7,447 0.6%

  Compiler for Elm, a functional language for reliable webapps.

  

• streamly

  47 848 0.6%

  High performance, concurrent functional programming abstractions

  

• attoparsec

  48 509 0.6%

  A fast Haskell library for parsing ByteStrings

  

• yesod-persistent

  49 2,595 0.6%

  A RESTful Haskell web framework built on WAI.

  

• servant

  50 1,771 0.6%

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

  

Index