| 1 |
shellcheck |
31247 |
1578 |
Haskell |
823 |
ShellCheck, a static analysis tool for shell scripts |
2023-01-16T04:21:00Z |
| 2 |
pandoc |
27769 |
3054 |
Haskell |
828 |
Universal markup converter |
2023-01-29T01:11:30Z |
| 3 |
postgrest |
19970 |
915 |
Haskell |
171 |
REST API for any Postgres database |
2023-01-28T15:30:29Z |
| 4 |
semantic |
8585 |
496 |
Haskell |
102 |
Parsing, analyzing, and comparing source code across many languages |
2022-07-22T15:39:27Z |
| 5 |
hadolint |
8078 |
349 |
Haskell |
132 |
Dockerfile linter, validate inline bash, written in Haskell |
2023-01-27T13:17:08Z |
| 6 |
purescript |
7992 |
563 |
Haskell |
246 |
A strongly-typed language that compiles to JavaScript |
2023-01-28T12:05:35Z |
| 7 |
compiler |
7094 |
648 |
Haskell |
278 |
Compiler for Elm, a functional language for reliable webapps. |
2023-01-06T10:45:32Z |
| 8 |
unison |
5013 |
245 |
Haskell |
887 |
A friendly programming language from the future |
2023-01-28T22:15:18Z |
| 9 |
Carp |
4902 |
167 |
Haskell |
127 |
A statically typed lisp, without a GC, for real-time applications. |
2023-01-27T22:13:00Z |
| 10 |
Haxl |
4160 |
327 |
Haskell |
2 |
A Haskell library that simplifies access to remote data, such as databases or web-based services. |
2022-12-07T04:04:55Z |
| 11 |
fp-course |
3945 |
1176 |
Haskell |
14 |
Functional Programming Course |
2022-10-05T02:57:23Z |
| 12 |
ihp |
3828 |
164 |
Haskell |
187 |
🔥 The fastest way to build type safe web apps. IHP is a new batteries-included web framework optimized for longterm productivity and programmer happiness |
2023-01-28T16:09:52Z |
| 13 |
stack |
3815 |
849 |
Haskell |
891 |
The Haskell Tool Stack |
2023-01-25T23:03:56Z |
| 14 |
duckling |
3781 |
707 |
Haskell |
104 |
Language, engine, and tooling for expressing, testing, and evaluating composable language rules on input strings. |
2022-11-10T18:50:31Z |
| 15 |
cardano-sl |
3753 |
623 |
Haskell |
184 |
Cryptographic currency implementing Ouroboros PoS protocol |
2020-07-30T15:22:04Z |
| 16 |
Idris-dev |
3376 |
661 |
Haskell |
690 |
A Dependently Typed Functional Programming Language |
2022-10-10T19:35:55Z |
| 17 |
write-you-a-haskell |
3216 |
253 |
Haskell |
22 |
Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/) |
2021-01-11T13:56:03Z |
| 18 |
cardano-node |
2881 |
672 |
Haskell |
226 |
The core component that is used to participate in a Cardano decentralised blockchain. |
2023-01-28T18:36:04Z |
| 19 |
awesome-haskell |
2856 |
166 |
Haskell |
10 |
A collection of awesome Haskell links, frameworks, libraries and software. Inspired by awesome projects line. |
2022-12-15T14:45:10Z |
| 20 |
xmonad |
2852 |
273 |
Haskell |
41 |
The core of xmonad, a small but functional ICCCM-compliant tiling window manager |
2023-01-06T18:03:24Z |
| 21 |
ghc |
2807 |
690 |
Haskell |
0 |
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). |
2023-01-28T23:23:14Z |
| 22 |
Functional-Programming |
2656 |
164 |
Haskell |
3 |
Functional Programming concepts, examples and patterns illustrated in Haskell, Ocaml and Python |
2019-08-06T22:00:55Z |
| 23 |
Simula |
2607 |
77 |
Haskell |
46 |
Linux VR Desktop |
2022-12-15T16:38:53Z |
| 24 |
eta |
2566 |
150 |
Haskell |
239 |
The Eta Programming Language, a dialect of Haskell on the JVM |
2022-07-31T17:14:19Z |
| 25 |
ghcjs |
2559 |
191 |
Haskell |
278 |
Haskell to JavaScript compiler, based on GHC |
2023-01-21T23:46:36Z |
| 26 |
hakyll |
2539 |
416 |
Haskell |
92 |
A static website compiler library in Haskell |
2023-01-26T12:57:06Z |
| 27 |
yesod |
2509 |
365 |
Haskell |
91 |
A RESTful Haskell web framework built on WAI. |
2023-01-26T11:11:38Z |
| 28 |
wire-server |
2504 |
343 |
Haskell |
40 |
🇪🇺 Wire back-end services |
2023-01-27T13:14:26Z |
| 29 |
koka |
2472 |
121 |
Haskell |
118 |
Koka language compiler and interpreter |
2023-01-23T22:14:40Z |
| 30 |
kmonad |
2431 |
267 |
Haskell |
147 |
An advanced keyboard manager |
2023-01-08T13:45:15Z |
| 31 |
wiwinwlh |
2430 |
232 |
Haskell |
0 |
What I Wish I Knew When Learning Haskell |
2022-02-25T06:38:14Z |
| 32 |
haskell-ide-engine |
2411 |
223 |
Haskell |
294 |
The engine for haskell ide-integration. Not an IDE |
2020-12-23T06:21:46Z |
| 33 |
simplex-chat |
2348 |
111 |
Haskell |
172 |
SimpleX - the first messaging platform operating without user identifiers of any kind - 100% private by design! iOS and Android apps are released 📱! |
2023-01-28T17:48:43Z |
| 34 |
hledger |
2289 |
274 |
Haskell |
355 |
Robust, fast, intuitive plain text accounting tool with CLI, TUI and web interfaces. |
2023-01-27T21:08:33Z |
| 35 |
haskell-language-server |
2279 |
280 |
Haskell |
496 |
Official haskell ide support via language server (LSP). Successor of ghcide & haskell-ide-engine. |
2023-01-28T19:52:02Z |
| 36 |
wasp |
2259 |
114 |
Haskell |
216 |
A programming language that understands what a web app is. |
2023-01-28T13:31:41Z |
| 37 |
corrode |
2123 |
117 |
Haskell |
66 |
C to Rust translator |
2019-03-10T01:48:47Z |
| 38 |
gitit |
2050 |
220 |
Haskell |
185 |
A wiki using HAppS, pandoc, and git |
2023-01-27T17:01:04Z |
| 39 |
miso |
2033 |
137 |
Haskell |
10 |
🍜 A tasty Haskell front-end framework |
2022-12-12T16:06:42Z |
| 40 |
agda |
2025 |
282 |
Haskell |
856 |
Agda is a dependently typed programming language / interactive theorem prover. |
2023-01-28T22:29:53Z |
| 41 |
asterius |
1998 |
59 |
Haskell |
106 |
DEPRECATED in favor of ghc wasm backend, see https://www.tweag.io/blog/2022-11-22-wasm-backend-merged-in-ghc |
2022-11-14T00:45:01Z |
| 42 |
futhark |
1955 |
144 |
Haskell |
54 |
💥💻💥 A data-parallel functional programming language |
2023-01-27T13:48:09Z |
| 43 |
lens |
1905 |
245 |
Haskell |
85 |
Lenses, Folds, and Traversals - Join us on web.libera.chat #haskell-lens |
2023-01-25T20:01:44Z |
| 44 |
patat |
1901 |
54 |
Haskell |
23 |
Terminal-based presentations using Pandoc |
2022-10-26T16:46:12Z |
| 45 |
dapptools |
1852 |
315 |
Haskell |
141 |
Dapp, Seth, Hevm, and more |
2023-01-28T16:15:42Z |
| 46 |
lamdu |
1810 |
68 |
Haskell |
24 |
lamdu - towards the next generation IDE |
2023-01-12T08:48:58Z |
| 47 |
servant |
1677 |
384 |
Haskell |
256 |
Main repository for the servant libraries — DSL for describing, serving, querying, mocking, documenting web applications and more! |
2023-01-28T12:02:37Z |
| 48 |
erd |
1654 |
147 |
Haskell |
16 |
Translates a plain text description of a relational database schema to a graphical entity-relationship diagram. |
2023-01-19T21:51:35Z |
| 49 |
zsh-git-prompt |
1626 |
394 |
Haskell |
34 |
Informative git prompt for zsh |
2022-03-24T15:50:23Z |
| 50 |
scotty |
1622 |
124 |
Haskell |
44 |
Haskell web framework inspired by Ruby's Sinatra, using WAI and Warp (Official Repository) |
2022-11-20T15:40:41Z |
| 51 |
HLearn |
1597 |
139 |
Haskell |
22 |
Homomorphic machine learning |
2016-05-29T16:51:53Z |
| 52 |
taskell |
1536 |
59 |
Haskell |
45 |
Command-line Kanban board/task manager with support for Trello boards and GitHub projects |
2022-02-03T16:24:25Z |
| 53 |
real-world-haskell-cn |
1518 |
226 |
Haskell |
14 |
《Real World Haskell》中文翻译项目 |
2022-02-14T13:35:16Z |
| 54 |
haskell |
1496 |
200 |
Haskell |
38 |
Haskell bindings for TensorFlow |
2023-01-28T20:53:47Z |
| 55 |
aura |
1476 |
110 |
Haskell |
52 |
A secure, multilingual package manager for Arch Linux and the AUR. |
2023-01-18T07:24:51Z |
| 56 |
yi |
1463 |
200 |
Haskell |
205 |
The Haskell-Scriptable Editor |
2022-12-10T14:19:09Z |
| 57 |
cabal |
1452 |
631 |
Haskell |
1355 |
Official upstream development repository for Cabal and cabal-install |
2023-01-27T22:10:03Z |
| 58 |
neuron |
1447 |
149 |
Haskell |
23 |
Future-proof note-taking and publishing based on Zettelkasten (superseded by Emanote: https://github.com/EmaApps/emanote) |
2022-10-14T14:21:52Z |
| 59 |
haste-compiler |
1446 |
114 |
Haskell |
63 |
A GHC-based Haskell to JavaScript compiler |
2019-03-17T10:49:58Z |
| 60 |
plutus |
1435 |
438 |
Haskell |
68 |
The Plutus language implementation and tools |
2023-01-28T13:22:09Z |