1 |
shellcheck |
28611 |
1444 |
Haskell |
756 |
ShellCheck, a static analysis tool for shell scripts |
2022-02-16T08:04:50Z |
2 |
graphql-engine |
26599 |
2265 |
Haskell |
1617 |
Blazing fast, instant realtime GraphQL APIs on your DB with fine grained access control, also trigger webhooks on database events. |
2022-05-01T23:33:10Z |
3 |
pandoc |
25353 |
2893 |
Haskell |
756 |
Universal markup converter |
2022-05-01T19:12:11Z |
4 |
postgrest |
18623 |
869 |
Haskell |
148 |
REST API for any Postgres database |
2022-05-01T05:11:37Z |
5 |
semantic |
8314 |
483 |
Haskell |
98 |
Parsing, analyzing, and comparing source code across many languages |
2022-04-21T13:55:19Z |
6 |
purescript |
7678 |
556 |
Haskell |
246 |
A strongly-typed language that compiles to JavaScript |
2022-05-01T04:14:09Z |
7 |
hadolint |
6823 |
307 |
Haskell |
106 |
Dockerfile linter, validate inline bash, written in Haskell |
2022-04-29T19:03:56Z |
8 |
compiler |
6820 |
624 |
Haskell |
250 |
Compiler for Elm, a functional language for reliable webapps. |
2022-05-01T03:51:55Z |
9 |
Carp |
4496 |
159 |
Haskell |
121 |
A statically typed lisp, without a GC, for real-time applications. |
2022-04-22T19:21:12Z |
10 |
unison |
4349 |
228 |
Haskell |
758 |
A friendly programming language from the future |
2022-05-01T18:42:31Z |
11 |
Haxl |
4080 |
321 |
Haskell |
2 |
A Haskell library that simplifies access to remote data, such as databases or web-based services. |
2022-04-14T15:50:01Z |
12 |
fp-course |
3823 |
1169 |
Haskell |
14 |
Functional Programming Course |
2022-03-12T00:02:05Z |
13 |
cardano-sl |
3751 |
623 |
Haskell |
184 |
Cryptographic currency implementing Ouroboros PoS protocol |
2020-07-30T15:22:04Z |
14 |
stack |
3698 |
828 |
Haskell |
890 |
The Haskell Tool Stack |
2022-05-01T23:17:39Z |
15 |
duckling |
3544 |
676 |
Haskell |
92 |
Language, engine, and tooling for expressing, testing, and evaluating composable language rules on input strings. |
2022-03-11T08:46:20Z |
16 |
Idris-dev |
3344 |
659 |
Haskell |
690 |
A Dependently Typed Functional Programming Language |
2022-04-17T20:48:39Z |
17 |
ihp |
3253 |
140 |
Haskell |
175 |
🔥 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-05-01T13:09:03Z |
18 |
write-you-a-haskell |
3122 |
251 |
Haskell |
21 |
Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/) |
2021-01-11T13:56:03Z |
19 |
ghc |
2698 |
682 |
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-05-02T02:27:18Z |
20 |
awesome-haskell |
2696 |
164 |
Haskell |
10 |
A collection of awesome Haskell links, frameworks, libraries and software. Inspired by awesome projects line. |
2022-02-23T20:40:53Z |
21 |
cardano-node |
2630 |
570 |
Haskell |
430 |
The core component that is used to participate in a Cardano decentralised blockchain. |
2022-05-02T02:13:49Z |
22 |
Functional-Programming |
2631 |
163 |
Haskell |
3 |
Functional Programming concepts, examples and patterns illustrated in Haskell, Ocaml and Python |
2019-08-06T22:00:55Z |
23 |
eta |
2525 |
149 |
Haskell |
240 |
The Eta Programming Language, a dialect of Haskell on the JVM |
2019-11-30T21:26:00Z |
24 |
ghcjs |
2521 |
188 |
Haskell |
275 |
Haskell to JavaScript compiler, based on GHC |
2022-04-10T23:21:40Z |
25 |
xmonad |
2454 |
256 |
Haskell |
41 |
The core of xmonad, a small but functional ICCCM-compliant tiling window manager |
2022-04-24T14:17:05Z |
26 |
yesod |
2451 |
365 |
Haskell |
86 |
A RESTful Haskell web framework built on WAI. |
2022-04-25T16:22:39Z |
27 |
wire-server |
2435 |
330 |
Haskell |
42 |
🇪🇺 Wire back-end services |
2022-04-29T16:42:11Z |
28 |
haskell-ide-engine |
2430 |
226 |
Haskell |
294 |
The engine for haskell ide-integration. Not an IDE |
2020-12-23T06:21:46Z |
29 |
hakyll |
2423 |
409 |
Haskell |
97 |
A static website compiler library in Haskell |
2022-04-28T18:08:44Z |
30 |
Simula |
2409 |
68 |
Haskell |
35 |
Linux VR Desktop |
2022-01-03T23:36:30Z |
31 |
wiwinwlh |
2316 |
227 |
Haskell |
0 |
What I Wish I Knew When Learning Haskell |
2022-02-25T06:38:14Z |
32 |
corrode |
2108 |
116 |
Haskell |
65 |
C to Rust translator |
2019-03-10T01:48:47Z |
33 |
haskell-language-server |
2025 |
232 |
Haskell |
381 |
Official haskell ide support via language server (LSP). Successor of ghcide & haskell-ide-engine. |
2022-05-02T02:40:13Z |
34 |
koka |
2066 |
103 |
Haskell |
91 |
Koka language compiler and interpreter |
2022-04-22T23:30:50Z |
35 |
gitit |
2008 |
216 |
Haskell |
182 |
A wiki using HAppS, pandoc, and git |
2022-03-12T17:39:43Z |
36 |
hledger |
2001 |
254 |
Haskell |
318 |
A reliable, user-friendly Plain Text Accounting tool with command line, terminal and web interfaces. |
2022-04-28T13:16:46Z |
37 |
miso |
1960 |
136 |
Haskell |
11 |
🍜 A tasty Haskell front-end framework |
2022-04-29T16:16:16Z |
38 |
asterius |
1888 |
62 |
Haskell |
100 |
A Haskell to WebAssembly compiler |
2022-04-26T06:33:36Z |
39 |
lens |
1853 |
240 |
Haskell |
80 |
Lenses, Folds, and Traversals - Join us on freenode #haskell-lens |
2022-05-01T17:56:16Z |
40 |
agda |
1805 |
236 |
Haskell |
804 |
Agda is a dependently typed programming language / interactive theorem prover. |
2022-04-30T10:06:54Z |
41 |
futhark |
1783 |
129 |
Haskell |
53 |
💥💻💥 A data-parallel functional programming language |
2022-05-01T20:20:08Z |
42 |
patat |
1778 |
49 |
Haskell |
17 |
Terminal-based presentations using Pandoc |
2022-04-17T15:19:47Z |
43 |
lamdu |
1743 |
68 |
Haskell |
17 |
lamdu - towards the next generation IDE |
2022-05-01T20:17:34Z |
44 |
kmonad |
1731 |
190 |
Haskell |
97 |
An advanced keyboard manager |
2022-05-01T22:09:44Z |
45 |
servant |
1616 |
358 |
Haskell |
242 |
Main repository for the servant libraries — DSL for describing, serving, querying, mocking, documenting web applications and more! |
2022-04-29T14:36:56Z |
46 |
HLearn |
1589 |
137 |
Haskell |
23 |
Homomorphic machine learning |
2016-05-29T16:51:53Z |
47 |
Tidal |
1577 |
214 |
Haskell |
98 |
Pattern language |
2022-04-26T21:27:03Z |
48 |
scotty |
1575 |
125 |
Haskell |
43 |
Haskell web framework inspired by Ruby's Sinatra, using WAI and Warp (Official Repository) |
2021-10-10T15:35:44Z |
49 |
zsh-git-prompt |
1577 |
379 |
Haskell |
34 |
Informative git prompt for zsh |
2022-03-24T15:50:23Z |
50 |
erd |
1557 |
129 |
Haskell |
17 |
Translates a plain text description of a relational database schema to a graphical entity-relationship diagram. |
2021-09-29T18:07:09Z |
51 |
wasp |
1522 |
59 |
Haskell |
163 |
A programming language that understands what a web app is. |
2022-04-29T18:58:53Z |
52 |
dapptools |
1504 |
267 |
Haskell |
139 |
Dapp, Seth, Hevm, and more |
2022-04-24T13:41:51Z |
53 |
real-world-haskell-cn |
1487 |
223 |
Haskell |
14 |
《Real World Haskell》中文翻译项目 |
2022-02-14T13:35:16Z |
54 |
haskell |
1466 |
195 |
Haskell |
35 |
Haskell bindings for TensorFlow |
2021-02-09T17:08:46Z |
55 |
yi |
1447 |
195 |
Haskell |
204 |
The Haskell-Scriptable Editor |
2020-11-20T06:23:22Z |
56 |
haste-compiler |
1432 |
110 |
Haskell |
62 |
A GHC-based Haskell to JavaScript compiler |
2019-03-17T10:49:58Z |
57 |
grenade |
1381 |
84 |
Haskell |
17 |
Deep Learning in Haskell |
2022-04-05T05:27:24Z |
58 |
cabal |
1371 |
606 |
Haskell |
1326 |
Official upstream development repository for Cabal and cabal-install |
2022-05-01T21:03:08Z |
59 |
taskell |
1376 |
48 |
Haskell |
42 |
Command-line Kanban board/task manager with support for Trello boards and GitHub projects |
2022-02-03T16:24:25Z |
60 |
plutus |
1368 |
410 |
Haskell |
51 |
The Plutus language implementation and tools |
2022-05-01T13:47:51Z |