Statistics for language Haskell

RepositoryStats tracks 534,551 Github repositories, of these 1,399 are reported to use a primary language of Haskell.

Most starred repositories for language Haskell (view more)

koalaman
shellcheck koalaman
1.7k
35.5k
gpl-3.0
417
ShellCheck, a static analysis tool for shell scripts
bash shell linter haskell developer-tools static-analysis
Created 2012-11-17
2,013 commits to master branch, last one 5 days ago
jgm
pandoc jgm
3.3k
33.1k
other
513
Universal markup converter
markup pandoc haskell document markdown converter commonmark publishing presentation
Created 2010-03-20
17,537 commits to main branch, last one 20 hours ago
PostgREST
postgrest PostgREST
1.0k
22.6k
mit
339
REST API for any Postgres database
pg api sql http rest pgsql server haskell database postgres postgrest postgresql automatic-api
Created 2014-06-13
3,731 commits to main branch, last one 2 days ago
hadolint
hadolint hadolint
407
10.0k
gpl-3.0
67
Dockerfile linter, validate inline bash, written in Haskell
docker linter haskell dockerfile shellcheck static-analysis dockerfile-linter
Created 2015-11-15
1,131 commits to master branch, last one 2 months ago
github
semantic github
449
8.9k
unknown
396
Parsing, analyzing, and comparing source code across many languages
keep
Created 2019-03-15
34,710 commits to main branch, last one about a month ago
purescript
purescript purescript
563
8.5k
other
157
A strongly-typed language that compiles to JavaScript
alt-js haskell javascript purescript typed-language
Created 2013-09-30
4,412 commits to master branch, last one 2 months ago

Trending repositories for language Haskell (view more)

Last 3 days (new repositories)
no newly created repositories trending in the last 3 days
Last 3 days (absolute gain)
koalaman
koalaman/shellcheck

ShellCheck, a static analysis tool for shell scripts

35,470 (+21)
gpl-3.0
jgm
jgm/pandoc

Universal markup converter

33,117 (+14)
input-output-hk
input-output-hk/cardano-sl

Cryptographic currency implementing Ouroboros PoS protocol

3,784 (+9)
apache-2.0
simplex-chat
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 📱!

5,565 (+8)
agpl-3.0
agda
agda/agda

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

2,412 (+5)
Last 3 days (relative gain)
jgm
jgm/citeproc

CSL citation processing library in Haskell

145 (+0.7%)
bsd-2-clause
mujx
mujx/hakatime

Wakatime server implementation & analytics dashboard

610 (+0.5%)
unlicense
augustss
augustss/MicroHs

Haskell implemented with combinators

272 (+0.4%)
fjvallarino
fjvallarino/monomer

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

569 (+0.4%)
bsd-3-clause
tamarin-prover
tamarin-prover/tamarin-prover

Main source code repository of the Tamarin prover for security protocol verification.

394 (+0.3%)
gpl-3.0
Last week (new repositories)
no newly created repositories trending in the last week
Last week (absolute gain)
jgm
jgm/pandoc

Universal markup converter

33,117 (+56)
koalaman
koalaman/shellcheck

ShellCheck, a static analysis tool for shell scripts

35,470 (+52)
gpl-3.0
simplex-chat
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 📱!

5,565 (+35)
agpl-3.0
PostgREST
PostgREST/postgrest

REST API for any Postgres database

22,645 (+19)
mit
gren-lang
gren-lang/compiler

Compiler for the Gren programming language

330 (+15)
Last week (relative gain)
alt-romes
alt-romes/reference-counting

Reference counting with linear types

26 (+117%)
gren-lang
gren-lang/compiler

Compiler for the Gren programming language

330 (+5%)
turion
turion/rhine

Haskell Functional Reactive Programming framework with type-level clocks

117 (+3%)
lsrcz
lsrcz/grisette

A monadic library for symbolic evaluation

50 (+2%)
bsd-3-clause
pdobsan
pdobsan/oama

OAuth credential Manager

102 (+2%)
bsd-3-clause
Last month (new repositories)
matthunz
matthunz/shmonad

A shell prompt with infinite customization

26
apache-2.0
Last month (absolute gain)
digitallyinduced
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,841 (+582)
mit
jgm
jgm/pandoc

Universal markup converter

33,117 (+357)
koalaman
koalaman/shellcheck

ShellCheck, a static analysis tool for shell scripts

35,470 (+221)
gpl-3.0
simplex-chat
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 📱!

5,565 (+157)
agpl-3.0
PostgREST
PostgREST/postgrest

REST API for any Postgres database

22,645 (+133)
mit
Last month (relative gain)
alt-romes
alt-romes/reference-counting

Reference counting with linear types

26 (+225%)
matthunz
matthunz/shmonad

A shell prompt with infinite customization

26 (+53%)
apache-2.0
seanhess
seanhess/hyperbole

Haskell interactive serverside web framework inspired by HTMX

72 (+22%)
ners
ners/dosh

The power of Haskell in your terminal!

41 (+17%)
gpl-3.0
digitallyinduced
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,841 (+14%)
mit
Last 12-months (new repositories)
ambulancja
ambulancja/mariposa

A toy programming language with time travel

285
gpl-3.0
neohaskell
neohaskell/NeoHaskell

⏩ NeoHaskell is a dialect of Haskell that is focused on newcomer-friendliness and productivity.

256
apache-2.0
cmoog
cmoog/traderjoes

Price tracking program and website for Trader Joe's, updated daily.

195
mit
eldexterr
eldexterr/ttyd64

PM64 romhack that adds TTYD's gameplay into the original Paper Mario.

132
marvinborner
marvinborner/birb

:bird: *cheep cheep shriek caw*

79
mit
Last 12-months (absolute gain)
jgm
jgm/pandoc

Universal markup converter

33,117 (+3,860)
koalaman
koalaman/shellcheck

ShellCheck, a static analysis tool for shell scripts

35,470 (+3,050)
gpl-3.0
simplex-chat
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 📱!

5,565 (+2,149)
agpl-3.0
PostgREST
PostgREST/postgrest

REST API for any Postgres database

22,645 (+1,906)
mit
hadolint
hadolint/hadolint

Dockerfile linter, validate inline bash, written in Haskell

10,033 (+1,298)
gpl-3.0
Last 12-months (relative gain)
eldexterr
eldexterr/ttyd64

PM64 romhack that adds TTYD's gameplay into the original Paper Mario.

132 (+1,000%)
neohaskell
neohaskell/NeoHaskell

⏩ NeoHaskell is a dialect of Haskell that is focused on newcomer-friendliness and productivity.

256 (+885%)
apache-2.0
bradrn
bradrn/wlhs

Haskell bindings to wlroots (and libwayland)

48 (+860%)
DanRyba253
DanRyba253/smh

String manipulation tool written in haskell

28 (+600%)
mit
seanhess
seanhess/web-view

Typed HTML with simplified layout, and easy composable styles. Inspired by Tailwindcss and Elm UI

32 (+540%)