Trending Haskell Projects

Top 50 Trending Haskell Projects

• cachix

  1 763 5.1%

  Command line client for Nix binary cache hosting:

  

• simplex-chat

  2 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 📱!

  

• kmonad

  3 3,529 4.1%

  An advanced keyboard manager

  

• plutus

  4 1,530 3.5%

  The Plutus language implementation and tools

  

• emanote

  5 735 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,291 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)

  

• postgrest

  9 22,282 1.9%

  REST API for any Postgres database

  

• copilot

  10 589 1.9%

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

  

• hadolint

  11 9,707 1.8%

  Dockerfile linter, validate inline bash, written in Haskell

  

• obelisk

  12 924 1.6%

  Functional reactive web and mobile applications, with batteries included.

  

• clash-ghc

  13 1,372 1.6%

  Haskell to VHDL/Verilog/SystemVerilog compiler

  

• koka

  14 3,040 1.6%

  Koka language compiler and interpreter

  

• swarm

  15 788 1.5%

  Resource gathering + programming game

  

• bsc

  16 879 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

  

• wai-conduit

  19 816 1.2%

  Haskell Web Application Interface

  

• haskell-language-server

  20 2,570 1.1%

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

  

• unison

  21 5,555 1.1%

  A friendly programming language from the future

  

• matterhorn

  22 1,006 1.1%

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

  

• implicit

  23 1,285 1.1%

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

  

• course-plan

  24 1,193 1.1%

  📜 Haskell course info, plan, video lectures, slides

  

• hasktorch

  25 1,015 1.1%

  Tensors and neural networks in Haskell

  

• fossa-cli

  26 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

  27 571 1.1%

  Contributed modules for xmonad

  

• learn4haskell

  28 974 1.0%

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

  

• applied-fp-course

  29 621 1.0%

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

  

• rio-orphans

  30 836 1.0%

  A standard library for Haskell (by commercialhaskell)

  

• eff

  31 546 0.9%

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

  

• cardano-node

  32 3,020 0.9%

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

  

• Simula

  33 2,863 0.9%

  Linux VR Desktop

  

• ghc

  34 2,968 0.8%

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

  

• 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

  

• xmonad

  37 3,238 0.7%

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

  

• cardano-wallet

  38 745 0.7%

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

  

• egison

  39 900 0.7%

  The Egison Programming Language

  

• ormolu

  40 920 0.7%

  A formatter for Haskell source code

  

• tensorflow

  41 1,564 0.6%

  Haskell bindings for TensorFlow

  

• cryptol

  42 1,107 0.6%

  Cryptol: The Language of Cryptography

  

• stylish-haskell

  43 967 0.6%

  Haskell code prettifier

  

• liquidhaskell

  44 1,148 0.6%

  Liquid Types For Haskell

  

• duckling

  45 4,015 0.6%

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

  

• Elm

  46 7,447 0.6%

  Compiler for Elm, a functional language for reliable webapps.

  

• attoparsec

  47 509 0.6%

  A fast Haskell library for parsing ByteStrings

  

• yesod-persistent

  48 2,595 0.6%

  A RESTful Haskell web framework built on WAI.

  

• reanimate

  49 1,102 0.5%

  Haskell library for building declarative animations based on SVG graphics

  

• hevm

  50 2,044 0.5%

  Dapp, Seth, Hevm, and more

  

Index