01
jgm/pandoc
Universal markup converter
- Stars
- 45.9K
- Forks
- 3.9K
- Pushed
- Today
Search credible GitHub repositories.
Compare adoption and maintenance signals without opening every result.
Current data onlyNo fabricated star growth or “trending” claims.
Ranked results
Best repositories for “language:Haskell”
Popular ranks GitHub matches by stars. Switch sort to inspect forks or recent maintenance.
GitHub · 12.6K matches
02
koalaman/shellcheck
ShellCheck, a static analysis tool for shell scripts
- Stars
- 39.9K
- Forks
- 1.9K
- Pushed
- 14d ago
03
PostgREST/postgrest
REST API for any Postgres database
- Stars
- 27.6K
- Forks
- 1.2K
- Pushed
- Today
04
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 📱!
- Stars
- 19.3K
- Forks
- 1.3K
- Pushed
- Today
05
hadolint/hadolint
Dockerfile linter, validate inline bash, written in Haskell
- Stars
- 12.4K
- Forks
- 503
- Pushed
- Yesterday
06
purescript/purescript
A strongly-typed language that compiles to JavaScript
- Stars
- 8.9K
- Forks
- 574
- Pushed
- 1mo ago
07
elm/compiler
Compiler for Elm, a functional language for reliable webapps.
- Stars
- 7.9K
- Forks
- 688
- Pushed
- 1mo ago
08
unisonweb/unison
A friendly programming language from the future
- Stars
- 6.7K
- Forks
- 307
- Pushed
- 5d ago
09
carp-lang/Carp
A statically typed lisp, without a GC, for real-time applications.
- Stars
- 6K
- Forks
- 185
- Pushed
- 14d ago
10
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
- Stars
- 5.3K
- Forks
- 224
- Pushed
- Today
11
kmonad/kmonad
An advanced keyboard manager
- Stars
- 5.1K
- Forks
- 336
- Pushed
- 2mo ago
12
simonmichael/hledger
Robust, fast, intuitive plain text accounting tool with CLI, TUI and web interfaces.
- Stars
- 4.6K
- Forks
- 406
- Pushed
- Today
13
facebook/Haxl
A Haskell library that simplifies access to remote data, such as databases or web-based services.
- Stars
- 4.4K
- Forks
- 309
- Pushed
- 5mo ago
14
facebook/duckling
Language, engine, and tooling for expressing, testing, and evaluating composable language rules on input strings.
- Stars
- 4.3K
- Forks
- 741
- Pushed
- 5mo ago
15
system-f/fp-course
Functional Programming Course
- Stars
- 4.2K
- Forks
- 1.2K
- Pushed
- 10mo ago
16
commercialhaskell/stack
The Haskell Tool Stack
- Stars
- 4.1K
- Forks
- 849
- Pushed
- Today
17
HigherOrderCO/Kind
A modern proof language
- Stars
- 3.8K
- Forks
- 150
- Pushed
- 1y ago
18
xmonad/xmonad
The core of xmonad, a small but functional ICCCM-compliant tiling window manager
- Stars
- 3.6K
- Forks
- 295
- Pushed
- 1mo ago
19
sdiehl/write-you-a-haskell
Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)
- Stars
- 3.5K
- Forks
- 256
- Pushed
- 5y ago
20
b3nj5m1n/xdg-ninja
A shell script which checks your $HOME for unwanted files and directories.
- Stars
- 3.4K
- Forks
- 187
- Pushed
- 3mo ago
21
ghc/ghc
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).
- Stars
- 3.3K
- Forks
- 738
- Pushed
- Today
22
SimulaVR/Simula
Linux VR Desktop
- Stars
- 3.2K
- Forks
- 110
- Pushed
- 29d ago
23
IntersectMBO/cardano-node
The core component that is used to participate in a Cardano decentralised blockchain.
- Stars
- 3.2K
- Forks
- 755
- Pushed
- Today
24
crytic/echidna
Ethereum smart contract fuzzer
- Stars
- 3.2K
- Forks
- 432
- Pushed
- 3d ago
25
haskell/haskell-language-server
Official Haskell IDE support via the language server protocol (LSP)
- Stars
- 2.9K
- Forks
- 451
- Pushed
- Yesterday
26
agda/agda
Agda is a dependently typed programming language / interactive theorem prover.
- Stars
- 2.9K
- Forks
- 422
- Pushed
- 3d ago
27
jaspervdj/hakyll
A static website compiler library in Haskell
- Stars
- 2.9K
- Forks
- 426
- Pushed
- 5d ago
28
diku-dk/futhark
:boom::computer::boom: A data-parallel functional programming language
- Stars
- 2.8K
- Forks
- 207
- Pushed
- Today
29
wireapp/wire-server
🇪🇺 Wire back-end services
- Stars
- 2.8K
- Forks
- 332
- Pushed
- Today
30
jaspervdj/patat
Terminal-based presentations using Pandoc
- Stars
- 2.7K
- Forks
- 66
- Pushed
- 1mo ago