OSS Insight
  • Data Explorer
  • Collections
  • Languages
  • Blog
โ† All Languages

Haskell

Trending Haskell repositories on GitHub โ€” ranked by total activity score (stars, forks, pushes, PRs) over the past month.

50
Trending Repos
421
Total Stars
40
Total Forks

๐Ÿ”ฅ Trending Haskell Repos โ€” Past Month

Rank
Repository
Stars
Forks
1
1
jgm/pandoc

Universal markup converter

136
5
โญ 136๐Ÿด 5
2
2
mattoxb/cs421-release
1
3
โญ 1๐Ÿด 3
3
3
PostgREST/postgrest

REST API for any Postgres database

45
2
โญ 45๐Ÿด 2
4
4
jupyter-xeus/xeus-haskell

jupyter / jupyterlite kernel for Haskell powered by WebAssembly

1
0
โญ 1๐Ÿด 0
5
5
simplex-chat/simplex-chat

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

45
5
โญ 45๐Ÿด 5
6
6
koalaman/shellcheck

ShellCheck, a static analysis tool for shell scripts

33
2
โญ 33๐Ÿด 2
7
7
DataHaskell/dataframe

A fast, safe, and intuitive DataFrame library.

14
0
โญ 14๐Ÿด 0
8
8
ryukzak/wrench

Wrench - is a tool for educating computer architecture.

1
2
โญ 1๐Ÿด 2
9
9
well-typed/haskell-debugger

A modern step-through debugger for GHC Haskell

1
0
โญ 1๐Ÿด 0
10
10
smucclaw/l4-ide

L4 - Rules-as-code - is an open-source functional specification language for business rules, legal contracts, and legislation/regulation, with a CNL syntax for isomorphism.

1
0
โญ 1๐Ÿด 0
11
11
HigherOrderCO/HVM3

HVM3

1
0
โญ 1๐Ÿด 0
12
12
simonmichael/hledger

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

19
1
โญ 19๐Ÿด 1
13
13
augustss/MicroHs

Haskell implemented with combinators

1
1
โญ 1๐Ÿด 1
14
14
maralorn/nix-output-monitor

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

10
0
โญ 10๐Ÿด 0
15
15
tomjaguarpaw/bluefin
1
0
โญ 1๐Ÿด 0
16
16
neohaskell/NeoHaskell

โฉ NeoHaskell is a dialect of Haskell that is focused on newcomer-friendliness and productivity.

1
0
โญ 1๐Ÿด 0
17
17
seanhess/hyperbole

Haskell interactive serverside web framework inspired by HTMX, Elm, and Phoenix LiveView

1
0
โญ 1๐Ÿด 0
18
18
kwanghoon/Lecture_EOPL

EOPL in Haskell

4
6
โญ 4๐Ÿด 6
19
19
halogenandtoast/ArkhamHorror

An unofficial rules-compliant browser based version of Arkham Horror: The Card Game. Not produced, endorsed, or supported by, or affiliated with Fantasy Flight Games.

11
2
โญ 11๐Ÿด 2
20
20
hadolint/hadolint

Dockerfile linter, validate inline bash, written in Haskell

12
1
โญ 12๐Ÿด 1
21
21
simplex-chat/simplexmq

โš™๏ธ SimpleXMQ - A reference implementation of the SimpleX Messaging Protocol for simplex queues over public networks.

7
1
โญ 7๐Ÿด 1
22
22
nammayatri/nammayatri

A Direct-to-Driver open mobility platform powering the next-generation of mobility applications in India.

1
1
โญ 1๐Ÿด 1
23
23
nix-community/nix-vscode-extensions

Nix expressions for VS Code Marketplace and Open VSX extensions [maintainers=@deemp, @ameertaweel]

1
1
โญ 1๐Ÿด 1
24
24
digital-asset/daml-finance
1
0
โญ 1๐Ÿด 0
25
25
unisonweb/unison

A friendly programming language from the future

9
0
โญ 9๐Ÿด 0
26
26
josephsumabat/static-ls
1
0
โญ 1๐Ÿด 0
27
27
absbox/Hastructure

ABS/MBS cashflow engine written in Haskell, with API to Python and C/Java (on the way)

1
0
โญ 1๐Ÿด 0
28
28
kmonad/kmonad

An advanced keyboard manager

5
3
โญ 5๐Ÿด 3
29
29
monoscope-tech/monoscope

Monoscope lets you ingest and explore your logs, traces and metrics. We store these in S3 compatible buckets. Query in natural language via LLMs.

2
0
โญ 2๐Ÿด 0
30
30
carp-lang/Carp

A statically typed lisp, without a GC, for real-time applications.

9
0
โญ 9๐Ÿด 0
31
31
CategoricalData/hydra

Graph programming language

2
0
โญ 2๐Ÿด 0
32
32
gwern/gwern.net

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

3
1
โญ 3๐Ÿด 1
33
33
gren-lang/compiler

Compiler for the Gren programming language

3
0
โญ 3๐Ÿด 0
34
34
srid/emanote

Emanate a structured view of your plain-text notes

2
0
โญ 2๐Ÿด 0
35
35
kip-dili/kip

A programming language in Turkish where grammatical case and mood are part of the type system.

4
0
โญ 4๐Ÿด 0
36
36
NixOS/nixfmt

The official formatter for Nix code

5
1
โญ 5๐Ÿด 1
37
37
kudu-dynamics/blaze-platform

A framework for program analysis with a focus on modeling programmer assumptions, context- and path-sensitive analyses, and type checking.

1
0
โญ 1๐Ÿด 0
38
38
google/mlir-hs

Haskell bindings for MLIR

1
0
โญ 1๐Ÿด 0
39
39
digitallyinduced/ihp

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

6
0
โญ 6๐Ÿด 0
40
40
muhac/chinese-holidays-calendar

Calendar of Public Holidays in China ไธญๅ›ฝๅคง้™†่Š‚ๅ‡ๆ—ฅๆ—ฅๅކ่ฎข้˜… ่‡ชๅŠจ่Š‚ๅ‡ๆ—ฅ้—น้’Ÿ

1
0
โญ 1๐Ÿด 0
41
41
nasa/ogma

Generator of runtime monitors for flight and robotics applications.

1
0
โญ 1๐Ÿด 0
42
42
berberman/nvfetcher

Generate nix sources expr for the latest version of packages

1
0
โญ 1๐Ÿด 0
43
43
utdemir/nix-tree

Interactively browse dependency graphs of Nix derivations.

2
0
โญ 2๐Ÿด 0
44
44
haskell/haskell-language-server

Official Haskell IDE support via the language server protocol (LSP)

3
1
โญ 3๐Ÿด 1
45
45
cardano-scaling/hydra

Implementation of the Hydra Head protocol

1
0
โญ 1๐Ÿด 0
46
46
Gabriella439/grace

A prompt engineering functional programming language

1
0
โญ 1๐Ÿด 0
47
47
lamdera/compiler

The Lamdera compiler extends the official Elm compiler with tooling that works for any regular Elm frontend project, as well as specific features for Elm projects on Lamdera: A delightful platform for full-stack Elm web apps.

1
0
โญ 1๐Ÿด 0
48
48
crytic/echidna

Ethereum smart contract fuzzer

3
0
โญ 3๐Ÿด 0
49
49
B-Lang-org/bsc

Bluespec Compiler (BSC)

2
0
โญ 2๐Ÿด 0
50
50
tweag/ormolu

A formatter for Haskell source code

2
1
โญ 2๐Ÿด 1

Other Languages

JavaScriptJavaPythonPHPC++C#TypeScriptShellCRubyRustGoView all โ†’

Explore

Trending ReposCollections