| 1 |
shellcheck |
30898 |
1562 |
Haskell |
805 |
ShellCheck, a static analysis tool for shell scripts |
2022-12-15T23:48:11Z |
| 2 |
pandoc |
27294 |
3037 |
Haskell |
809 |
Universal markup converter |
2022-12-23T01:31:10Z |
| 3 |
postgrest |
19643 |
907 |
Haskell |
171 |
REST API for any Postgres database |
2022-12-23T18:21:08Z |
| 4 |
semantic |
8562 |
499 |
Haskell |
102 |
Parsing, analyzing, and comparing source code across many languages |
2022-07-22T15:39:27Z |
| 5 |
hadolint |
7972 |
347 |
Haskell |
126 |
Dockerfile linter, validate inline bash, written in Haskell |
2022-12-20T16:15:54Z |
| 6 |
purescript |
7955 |
563 |
Haskell |
246 |
A strongly-typed language that compiles to JavaScript |
2022-12-19T22:14:28Z |
| 7 |
compiler |
7044 |
644 |
Haskell |
277 |
Compiler for Elm, a functional language for reliable webapps. |
2022-12-25T15:28:01Z |
| 8 |
unison |
4837 |
244 |
Haskell |
873 |
A friendly programming language from the future |
2022-12-23T17:26:09Z |
| 9 |
Carp |
4813 |
167 |
Haskell |
127 |
A statically typed lisp, without a GC, for real-time applications. |
2022-12-22T22:21:33Z |
| 10 |
Haxl |
4150 |
325 |
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 |
3937 |
1177 |
Haskell |
14 |
Functional Programming Course |
2022-10-05T02:57:23Z |
| 12 |
stack |
3808 |
853 |
Haskell |
890 |
The Haskell Tool Stack |
2022-12-26T01:47:20Z |
| 13 |
ihp |
3783 |
164 |
Haskell |
185 |
🔥 The fastest way to build type safe web apps. IHP is a new batteries-included web framework optimized for longterm productivity and programmer happiness |
2022-12-25T13:20:51Z |
| 14 |
duckling |
3758 |
701 |
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 |
622 |
Haskell |
184 |
Cryptographic currency implementing Ouroboros PoS protocol |
2020-07-30T15:22:04Z |
| 16 |
Idris-dev |
3374 |
660 |
Haskell |
690 |
A Dependently Typed Functional Programming Language |
2022-10-10T19:35:55Z |
| 17 |
write-you-a-haskell |
3210 |
254 |
Haskell |
22 |
Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/) |
2021-01-11T13:56:03Z |
| 18 |
cardano-node |
2864 |
663 |
Haskell |
224 |
The core component that is used to participate in a Cardano decentralised blockchain. |
2022-12-24T21:31:28Z |
| 19 |
awesome-haskell |
2829 |
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 |
2813 |
270 |
Haskell |
41 |
The core of xmonad, a small but functional ICCCM-compliant tiling window manager |
2022-12-19T12:05:40Z |
| 21 |
ghc |
2791 |
689 |
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). |
2022-12-25T19:26:30Z |
| 22 |
Functional-Programming |
2657 |
164 |
Haskell |
3 |
Functional Programming concepts, examples and patterns illustrated in Haskell, Ocaml and Python |
2019-08-06T22:00:55Z |
| 23 |
Simula |
2574 |
78 |
Haskell |
46 |
Linux VR Desktop |
2022-12-15T16:38:53Z |
| 24 |
eta |
2560 |
150 |
Haskell |
239 |
The Eta Programming Language, a dialect of Haskell on the JVM |
2022-07-31T17:14:19Z |
| 25 |
ghcjs |
2556 |
190 |
Haskell |
278 |
Haskell to JavaScript compiler, based on GHC |
2022-12-24T20:28:24Z |
| 26 |
hakyll |
2527 |
411 |
Haskell |
92 |
A static website compiler library in Haskell |
2022-12-24T15:15:21Z |
| 27 |
yesod |
2502 |
366 |
Haskell |
91 |
A RESTful Haskell web framework built on WAI. |
2022-12-09T06:29:32Z |
| 28 |
wire-server |
2495 |
341 |
Haskell |
40 |
🇪🇺 Wire back-end services |
2022-12-23T18:29:42Z |
| 29 |
koka |
2429 |
118 |
Haskell |
118 |
Koka language compiler and interpreter |
2022-12-13T22:31:42Z |
| 30 |
wiwinwlh |
2415 |
234 |
Haskell |
0 |
What I Wish I Knew When Learning Haskell |
2022-02-25T06:38:14Z |
| 31 |
haskell-ide-engine |
2412 |
224 |
Haskell |
294 |
The engine for haskell ide-integration. Not an IDE |
2020-12-23T06:21:46Z |
| 32 |
kmonad |
2348 |
257 |
Haskell |
141 |
An advanced keyboard manager |
2022-11-27T12:49:13Z |
| 33 |
hledger |
2249 |
267 |
Haskell |
349 |
Robust, fast, intuitive plain text accounting tool with CLI, TUI and web interfaces. |
2022-12-23T06:39:16Z |
| 34 |
haskell-language-server |
2249 |
282 |
Haskell |
479 |
Official haskell ide support via language server (LSP). Successor of ghcide & haskell-ide-engine. |
2022-12-25T15:57:22Z |
| 35 |
wasp |
2199 |
114 |
Haskell |
204 |
A programming language that understands what a web app is. |
2022-12-23T16:33:48Z |
| 36 |
corrode |
2122 |
116 |
Haskell |
66 |
C to Rust translator |
2019-03-10T01:48:47Z |
| 37 |
simplex-chat |
2117 |
104 |
Haskell |
116 |
SimpleX - the first messaging platform operating without user identifiers of any kind - 100% private by design! iOS and Android apps are released 📱! |
2022-12-25T13:58:20Z |
| 38 |
gitit |
2040 |
219 |
Haskell |
185 |
A wiki using HAppS, pandoc, and git |
2022-12-24T23:14:15Z |
| 39 |
miso |
2026 |
136 |
Haskell |
10 |
🍜 A tasty Haskell front-end framework |
2022-12-12T16:06:42Z |
| 40 |
asterius |
2004 |
60 |
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 |
| 41 |
agda |
2001 |
279 |
Haskell |
845 |
Agda is a dependently typed programming language / interactive theorem prover. |
2022-12-23T08:27:47Z |
| 42 |
futhark |
1909 |
137 |
Haskell |
57 |
💥💻💥 A data-parallel functional programming language |
2022-12-25T19:40:30Z |
| 43 |
lens |
1902 |
246 |
Haskell |
84 |
Lenses, Folds, and Traversals - Join us on web.libera.chat #haskell-lens |
2022-12-21T08:29:14Z |
| 44 |
patat |
1884 |
55 |
Haskell |
22 |
Terminal-based presentations using Pandoc |
2022-10-26T16:46:12Z |
| 45 |
dapptools |
1819 |
310 |
Haskell |
143 |
Dapp, Seth, Hevm, and more |
2022-10-07T15:08:27Z |
| 46 |
lamdu |
1808 |
68 |
Haskell |
24 |
lamdu - towards the next generation IDE |
2022-12-23T16:06:06Z |
| 47 |
servant |
1668 |
384 |
Haskell |
254 |
Main repository for the servant libraries — DSL for describing, serving, querying, mocking, documenting web applications and more! |
2022-12-23T08:42:52Z |
| 48 |
erd |
1644 |
143 |
Haskell |
16 |
Translates a plain text description of a relational database schema to a graphical entity-relationship diagram. |
2022-11-21T19:18:30Z |
| 49 |
zsh-git-prompt |
1623 |
389 |
Haskell |
34 |
Informative git prompt for zsh |
2022-03-24T15:50:23Z |
| 50 |
scotty |
1617 |
124 |
Haskell |
44 |
Haskell web framework inspired by Ruby's Sinatra, using WAI and Warp (Official Repository) |
2022-11-20T15:40:41Z |
| 51 |
HLearn |
1598 |
138 |
Haskell |
22 |
Homomorphic machine learning |
2016-05-29T16:51:53Z |
| 52 |
taskell |
1518 |
60 |
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 |
1516 |
227 |
Haskell |
14 |
《Real World Haskell》中文翻译项目 |
2022-02-14T13:35:16Z |
| 54 |
haskell |
1488 |
199 |
Haskell |
38 |
Haskell bindings for TensorFlow |
2022-12-22T14:48:53Z |
| 55 |
aura |
1461 |
109 |
Haskell |
52 |
A secure, multilingual package manager for Arch Linux and the AUR. |
2022-11-18T01:28:01Z |
| 56 |
yi |
1460 |
201 |
Haskell |
205 |
The Haskell-Scriptable Editor |
2022-12-10T14:19:09Z |
| 57 |
haste-compiler |
1447 |
115 |
Haskell |
63 |
A GHC-based Haskell to JavaScript compiler |
2019-03-17T10:49:58Z |
| 58 |
cabal |
1441 |
627 |
Haskell |
1348 |
Official upstream development repository for Cabal and cabal-install |
2022-12-25T21:45:01Z |
| 59 |
neuron |
1440 |
150 |
Haskell |
23 |
Future-proof note-taking and publishing based on Zettelkasten (superseded by Emanote: https://github.com/EmaApps/emanote) |
2022-10-14T14:21:52Z |
| 60 |
plutus |
1427 |
439 |
Haskell |
73 |
The Plutus language implementation and tools |
2022-12-26T00:20:39Z |