Trending Haskell Projects

Top 50 Trending Haskell Projects

1. nixfmt

   1 1,135 6.0%

   The official (but not yet stable) formatter for Nix code

   

2. course-plan

   2 1,392 4.9%

   📜 Haskell course info, plan, video lectures, slides

   

3. Tidal

   3 2,504 4.7%

   Pattern language

   

4. nix-output-monitor

   4 1,100 3.5%

   Pipe your nix-build output through the nix-output-monitor a.k.a nom to get additional information while building.

   

5. sv2v

   5 628 3.3%

   SystemVerilog to Verilog conversion

   

6. nix-tree

   6 849 2.7%

   Interactively browse dependency graphs of Nix derivations.

   

7. fossa-cli

   7 1,379 2.5%

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

   

8. simplexmq

   8 609 2.5%

   ⚙️ SimpleXMQ - A reference implementation of the SimpleX Messaging Protocol for simplex queues over public networks.

   

9. kmonad

   9 4,473 2.4%

   An advanced keyboard manager

   

10. gwern.net

    10 682 2.3%

    Site infrastructure for gwern.net. Custom Hakyll website with unique link archiving, popup UX, transclusions/collapses, dark+reader mode, bidirectional backlinks, and typography (sidenotes, dropcaps, link icons, inflation-adjustment, subscripted-citations).

    

11. pandoc

    11 37,382 2.2%

    Universal markup converter

    

12. elaboration-zoo

    12 661 2.1%

    Minimal implementations for dependent type checking and elaboration

    

13. copilot

    13 718 1.9%

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

    

14. bsc

    14 1,010 1.9%

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

    

15. hell

    15 600 1.8%

    Haskell-based shell scripting language (by chrisdone)

    

16. hledger

    16 3,265 1.8%

    Robust, fast, intuitive plain text accounting tool with CLI, TUI and web interfaces.

    

17. xdg-ninja

    17 2,834 1.8%

    A shell script which checks your $HOME for unwanted files and directories.

    

18. pact

    18 600 1.7%

    The Pact Smart Contract Language

    

19. monomer

    19 621 1.4%

    An easy to use, cross platform, GUI library for writing Haskell applications.

    

20. Gifcurry

    20 1,394 1.4%

    😎 The open-source, Haskell-built video editor for GIF makers.

    

21. Espial

    21 837 1.4%

    Espial is an open-source, web-based bookmarking server.

    

22. crucible

    22 719 1.4%

    Crucible is a library for symbolic simulation of imperative programs

    

23. echidna

    23 2,890 1.3%

    Ethereum smart contract fuzzer

    

24. granule

    24 616 1.3%

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

    

25. tetris

    25 934 1.3%

    A terminal interface for Tetris

    

26. optparse-applicative

    26 937 1.3%

    Applicative option parser

    

27. distributed-process-tests

    27 732 1.2%

    Cloud Haskell core libraries

    

28. niv

    28 1,712 1.2%

    Easy dependency management for Nix projects

    

29. hadolint

    29 10,926 1.2%

    Dockerfile linter, validate inline bash, written in Haskell

    

30. pandoc-crossref

    30 988 1.2%

    Pandoc filter for cross-references

    

31. obelisk

    31 1,000 1.2%

    Functional reactive web and mobile applications, with batteries included.

    

32. project-m36

    32 929 1.2%

    Project: M36 Relational Algebra Engine

    

33. tttool

    33 771 1.2%

    Trying to understand the file format of Tip Toi

    

34. kitten

    34 1,118 1.2%

    A statically typed concatenative systems programming language.

    

35. emanote

    35 868 1.2%

    Emanate a structured view of your plain-text notes

    

36. hpack

    36 648 1.1%

    hpack: A modern format for Haskell packages

    

37. miso

    37 2,262 1.1%

    :ramen: A tasty Haskell front-end framework

    

38. hlint

    38 1,520 1.1%

    Haskell source code suggestions

    

39. reanimate

    39 1,154 1.0%

    Haskell library for building declarative animations based on SVG graphics

    

40. futhark

    40 2,519 1.0%

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

    

41. Agda

    41 2,630 1.0%

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

    

42. clash-ghc

    42 1,497 1.0%

    Haskell to VHDL/Verilog/SystemVerilog compiler

    

43. postgrest

    43 25,273 1.0%

    REST API for any Postgres database

    

44. neut

    44 1,003 1.0%

    A programming language with static memory management based on λ-calculus

    

45. hasktorch

    45 1,116 1.0%

    Tensors and neural networks in Haskell

    

46. polysemy

    46 1,051 1.0%

    :gemini: higher-order, no-boilerplate monads

    

47. waymonad

    47 853 0.9%

    A wayland compositor based on ideas from and inspired by xmonad

    

48. hoogle

    48 770 0.9%

    Haskell API search engine

    

49. hspec

    49 773 0.9%

    A Testing Framework for Haskell

    

50. koka

    50 3,497 0.9%

    Koka language compiler and interpreter

    

Index