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
436
Total Stars
30
Total Forks

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

Rank
Repository
Stars
Forks
1
1
jgm/pandoc

Universal markup converter

143
9
โญ 143๐Ÿด 9
2
2
PostgREST/postgrest

REST API for any Postgres database

62
4
โญ 62๐Ÿด 4
3
3
mattoxb/cs421-release
1
2
โญ 1๐Ÿด 2
4
4
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 ๐Ÿ“ฑ!

36
4
โญ 36๐Ÿด 4
5
5
koalaman/shellcheck

ShellCheck, a static analysis tool for shell scripts

30
1
โญ 30๐Ÿด 1
6
6
well-typed/haskell-debugger

A modern step-through debugger for GHC Haskell

2
0
โญ 2๐Ÿด 0
7
7
ryukzak/wrench

Wrench - is a tool for educating computer architecture.

1
1
โญ 1๐Ÿด 1
8
8
well-typed/hs-bindgen

Automatically generate Haskell bindings from C header files

1
0
โญ 1๐Ÿด 0
9
9
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
10
10
DataHaskell/dataframe

A fast, safe, and intuitive DataFrame library.

12
0
โญ 12๐Ÿด 0
11
11
b3nj5m1n/xdg-ninja

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

7
2
โญ 7๐Ÿด 2
12
12
hadolint/hadolint

Dockerfile linter, validate inline bash, written in Haskell

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

Haskell implemented with combinators

1
1
โญ 1๐Ÿด 1
14
14
gshen42/HasChor

Functional choreographic programming in Haskell

2
0
โญ 2๐Ÿด 0
15
15
maralorn/nix-output-monitor

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

8
0
โญ 8๐Ÿด 0
16
16
nammayatri/nammayatri

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

1
1
โญ 1๐Ÿด 1
17
17
zw3rk/hydra-tools
1
0
โญ 1๐Ÿด 0
18
18
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.

6
1
โญ 6๐Ÿด 1
19
19
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.

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

Emanate a structured view of your plain-text notes

3
0
โญ 3๐Ÿด 0
21
21
simonmichael/hledger

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

10
0
โญ 10๐Ÿด 0
22
22
simplex-chat/simplexmq

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

5
0
โญ 5๐Ÿด 0
23
23
utdemir/nix-tree

Interactively browse dependency graphs of Nix derivations.

3
0
โญ 3๐Ÿด 0
24
24
crytic/echidna

Ethereum smart contract fuzzer

6
0
โญ 6๐Ÿด 0
25
25
cachix/cachix

Command line client for Nix binary cache hosting:

6
0
โญ 6๐Ÿด 0
26
26
haskell/file-io

File IO (read/write/open) for OsPath API

1
0
โญ 1๐Ÿด 0
27
27
unisonweb/unison

A friendly programming language from the future

8
0
โญ 8๐Ÿด 0
28
28
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
0
โญ 3๐Ÿด 0
29
29
kmonad/kmonad

An advanced keyboard manager

4
0
โญ 4๐Ÿด 0
30
30
CategoricalData/hydra

Graph programming language

1
0
โญ 1๐Ÿด 0
31
31
haskell/haskell-language-server

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

3
0
โญ 3๐Ÿด 0
32
32
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
33
33
kip-dili/kip

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

3
0
โญ 3๐Ÿด 0
34
34
zachjs/sv2v

SystemVerilog to Verilog conversion

4
0
โญ 4๐Ÿด 0
35
35
xmonad/xmonad

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

5
0
โญ 5๐Ÿด 0
36
36
agda/agda

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

5
0
โญ 5๐Ÿด 0
37
37
carp-lang/Carp

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

6
0
โญ 6๐Ÿด 0
38
38
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
39
39
NixOS/nixfmt

The official formatter for Nix code

3
1
โญ 3๐Ÿด 1
40
40
digital-asset/daml

The Daml smart contract language

2
1
โญ 2๐Ÿด 1
41
41
GaloisInc/crucible

Crucible is a library for symbolic simulation of imperative programs

4
0
โญ 4๐Ÿด 0
42
42
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

4
0
โญ 4๐Ÿด 0
43
43
GaloisInc/what4

Symbolic formula representation and solver interaction library

1
0
โญ 1๐Ÿด 0
44
44
argotorg/act

Smart contract specification language

1
0
โญ 1๐Ÿด 0
45
45
IntersectMBO/cardano-db-sync

A component that follows the Cardano chain and stores blocks and transactions in PostgreSQL

1
0
โญ 1๐Ÿด 0
46
46
cdepillabout/password

datatypes and functions for easily working with passwords in Haskell

1
0
โญ 1๐Ÿด 0
47
47
wireapp/wire-server

๐Ÿ‡ช๐Ÿ‡บ Wire back-end services

2
0
โญ 2๐Ÿด 0
48
48
diku-dk/futhark

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

4
0
โญ 4๐Ÿด 0
49
49
fossas/fossa-cli

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

1
1
โญ 1๐Ÿด 1
50
50
tweag/ormolu

A formatter for Haskell source code

1
0
โญ 1๐Ÿด 0

Other Languages

JavaScriptJavaPythonPHPC++C#TypeScriptShellCRubyRustGoView all โ†’

Explore

Trending ReposCollections