| 1 |
pandoc |
16969 |
1957 |
Haskell |
523 |
Universal markup converter |
2019-10-16T16:25:59Z |
| 2 |
shellcheck |
16784 |
847 |
Haskell |
447 |
ShellCheck, a static analysis tool for shell scripts |
2019-10-14T03:37:54Z |
| 3 |
postgrest |
12972 |
613 |
Haskell |
92 |
REST API for any Postgres database |
2019-10-16T17:45:39Z |
| 4 |
semantic |
6362 |
237 |
Haskell |
104 |
Parsing, analyzing, and comparing source code across many languages |
2019-10-17T09:05:07Z |
| 5 |
purescript |
6042 |
445 |
Haskell |
227 |
A strongly-typed language that compiles to JavaScript |
2019-10-15T07:20:24Z |
| 6 |
compiler |
5457 |
441 |
Haskell |
124 |
Compiler for Elm, a functional language for reliable webapps. |
2019-10-14T22:41:23Z |
| 7 |
Haxl |
3631 |
296 |
Haskell |
7 |
A Haskell library that simplifies access to remote data, such as databases or web-based services. |
2019-10-08T18:10:41Z |
| 8 |
luna |
3359 |
99 |
Haskell |
89 |
Hybrid textual and visual functional programming. |
2019-06-27T08:28:48Z |
| 9 |
cardano-sl |
3317 |
573 |
Haskell |
213 |
Cryptographic currency implementing Ouroboros PoS protocol |
2019-10-16T16:19:29Z |
| 10 |
stack |
3195 |
729 |
Haskell |
659 |
The Haskell Tool Stack |
2019-10-10T05:52:07Z |
| 11 |
Carp |
3125 |
112 |
Haskell |
62 |
A statically typed lisp, without a GC, for real-time applications. |
2019-10-17T10:03:18Z |
| 12 |
fp-course |
3041 |
1001 |
Haskell |
13 |
Functional Programming Course |
2019-10-08T02:29:49Z |
| 13 |
Idris-dev |
3002 |
643 |
Haskell |
669 |
A Dependently Typed Functional Programming Language |
2019-10-11T15:27:26Z |
| 14 |
hadolint |
2672 |
110 |
Haskell |
47 |
Dockerfile linter, validate inline bash, written in Haskell |
2019-10-06T11:13:09Z |
| 15 |
duckling |
2627 |
452 |
Haskell |
104 |
Language, engine, and tooling for expressing, testing, and evaluating composable language rules on input strings. |
2019-10-11T19:03:24Z |
| 16 |
unison |
2594 |
111 |
Haskell |
178 |
Next generation programming language, currently in development |
2019-10-16T19:57:05Z |
| 17 |
write-you-a-haskell |
2593 |
208 |
Haskell |
20 |
Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/) |
2019-09-22T20:51:18Z |
| 18 |
Functional-Programming |
2525 |
151 |
Haskell |
7 |
Functional Programming concepts, examples and patterns illustrated in Haskell, Ocaml and Python |
2019-08-06T22:00:55Z |
| 19 |
eta |
2317 |
146 |
Haskell |
233 |
The Eta Programming Language, a dialect of Haskell on the JVM |
2019-07-16T06:56:45Z |
| 20 |
ghc |
2220 |
620 |
Haskell |
8 |
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). |
2019-10-17T10:59:51Z |
| 21 |
ghcjs |
2208 |
167 |
Haskell |
257 |
Haskell to JavaScript compiler, based on GHC |
2019-10-08T19:26:36Z |
| 22 |
yesod |
2144 |
335 |
Haskell |
103 |
A RESTful Haskell web framework built on WAI. |
2019-10-10T03:44:56Z |
| 23 |
hakyll |
2044 |
347 |
Haskell |
112 |
A static website compiler library in Haskell |
2019-10-10T14:34:07Z |
| 24 |
wire-server |
2008 |
262 |
Haskell |
31 |
🇪🇺 Wire back-end services |
2019-10-17T10:47:54Z |
| 25 |
corrode |
1966 |
107 |
Haskell |
81 |
C to Rust translator |
2019-03-10T01:48:47Z |
| 26 |
haskell-ide-engine |
1947 |
196 |
Haskell |
237 |
The engine for haskell ide-integration. Not an IDE |
2019-10-16T15:17:56Z |
| 27 |
gitit |
1702 |
189 |
Haskell |
194 |
A wiki using HAppS, pandoc, and git |
2019-10-14T16:00:02Z |
| 28 |
penrose |
1691 |
36 |
Haskell |
105 |
Create beautiful diagrams just by typing mathematical notation in plain text. |
2019-10-16T19:23:16Z |
| 29 |
lamdu |
1600 |
61 |
Haskell |
3 |
lamdu - towards the next generation IDE |
2019-10-15T21:18:08Z |
| 30 |
wiwinwlh |
1572 |
173 |
Haskell |
3 |
What I Wish I Knew When Learning Haskell |
2019-06-26T09:04:23Z |
| 31 |
lens |
1552 |
221 |
Haskell |
70 |
Lenses, Folds, and Traversals - Join us on freenode #haskell-lens |
2019-10-01T12:59:56Z |
| 32 |
HLearn |
1517 |
137 |
Haskell |
24 |
Homomorphic machine learning |
2016-05-29T16:51:53Z |
| 33 |
miso |
1405 |
99 |
Haskell |
19 |
🍜 A tasty Haskell front-end framework |
2019-10-16T17:39:36Z |
| 34 |
haste-compiler |
1369 |
108 |
Haskell |
63 |
A GHC-based Haskell to JavaScript compiler |
2019-03-17T10:49:58Z |
| 35 |
scotty |
1351 |
116 |
Haskell |
57 |
Haskell web framework inspired by Ruby's Sinatra, using WAI and Warp (Official Repository) |
2019-10-05T10:40:28Z |
| 36 |
yi |
1298 |
184 |
Haskell |
210 |
The Haskell-Scriptable Editor |
2019-03-24T15:27:08Z |
| 37 |
xmonad |
1283 |
167 |
Haskell |
60 |
The core of xmonad, a small but functional ICCCM-compliant tiling window manager |
2019-07-25T19:18:32Z |
| 38 |
zsh-git-prompt |
1266 |
312 |
Haskell |
52 |
Informative git prompt for zsh |
2019-09-11T14:25:52Z |
| 39 |
servant |
1254 |
272 |
Haskell |
188 |
Main repository for the servant libraries -- DSL for describing, serving, querying, mocking, documenting web applications and more! |
2019-10-08T03:23:30Z |
| 40 |
grenade |
1249 |
71 |
Haskell |
22 |
Deep Learning in Haskell |
2019-10-12T23:15:29Z |
| 41 |
haskell |
1239 |
165 |
Haskell |
32 |
Haskell bindings for TensorFlow |
2019-09-23T05:14:59Z |
| 42 |
hledger |
1234 |
172 |
Haskell |
257 |
Robust command-line/curses/web plaintext accounting tools, a Haskell rewrite of Ledger. |
2019-10-16T23:04:31Z |
| 43 |
real-world-haskell-cn |
1225 |
193 |
Haskell |
18 |
《Real World Haskell》中文翻译项目 |
2019-10-08T08:53:00Z |
| 44 |
patat |
1209 |
39 |
Haskell |
9 |
Terminal-based presentations using Pandoc |
2019-10-09T15:21:21Z |
| 45 |
fay |
1206 |
88 |
Haskell |
17 |
A proper subset of Haskell that compiles to JavaScript |
2019-05-02T08:47:30Z |
| 46 |
elm-format |
1141 |
119 |
Haskell |
177 |
elm-format formats Elm source code according to a standard set of rules based on the official Elm Style Guide |
2019-10-16T04:32:56Z |
| 47 |
cabal |
1064 |
483 |
Haskell |
1306 |
Official upstream development repository for Cabal and cabal-install |
2019-10-17T10:06:01Z |
| 48 |
erd |
1062 |
87 |
Haskell |
13 |
Translates a plain text description of a relational database schema to a graphical entity-relationship diagram. |
2019-10-15T21:04:05Z |
| 49 |
haskell-trainings |
1057 |
69 |
Haskell |
4 |
Haskell 101 and 102: slides and codelabs |
2019-09-17T16:03:51Z |
| 50 |
intero |
1035 |
135 |
Haskell |
33 |
Complete interactive development program for Haskell |
2019-10-08T00:29:15Z |
| 51 |
futhark |
1006 |
67 |
Haskell |
35 |
💥💻💥 A data-parallel functional programming language |
2019-10-17T09:39:56Z |
| 52 |
codeworld |
997 |
169 |
Haskell |
245 |
Educational computer programming environment using Haskell |
2019-10-17T02:04:25Z |
| 53 |
asterius |
991 |
28 |
Haskell |
62 |
A Haskell to WebAssembly compiler |
2019-10-16T13:13:09Z |
| 54 |
articles |
983 |
77 |
Haskell |
2 |
Miscellaneous articles. The readme is the table of contents. |
2019-07-05T10:16:22Z |
| 55 |
agda |
979 |
132 |
Haskell |
585 |
Agda is a dependently typed programming language / interactive theorem prover. |
2019-10-16T15:12:07Z |
| 56 |
HaLVM |
971 |
86 |
Haskell |
37 |
The Haskell Lightweight Virtual Machine (HaLVM): GHC running on Xen |
2018-12-06T17:24:40Z |
| 57 |
Tidal |
968 |
140 |
Haskell |
71 |
Pattern language |
2019-10-16T14:56:51Z |
| 58 |
haskell-must-watch |
957 |
53 |
Haskell |
0 |
Huge list of videos, talks, courses for Haskell programming language. |
2017-10-17T13:24:26Z |
| 59 |
toodles |
940 |
34 |
Haskell |
15 |
Project management directly from the TODOs in your codebase |
2019-08-20T23:25:09Z |
| 60 |
fp-course |
906 |
123 |
Haskell |
16 |
Functional Programming Course |
2019-03-12T06:19:53Z |
| 61 |
kit |
888 |
24 |
Haskell |
12 |
Kit: a magical, high performance programming language, designed for game development. Pre-alpha! |
2019-08-10T18:29:19Z |
| 62 |
leksah |
884 |
109 |
Haskell |
220 |
Haskell IDE |
2019-09-22T01:52:33Z |
| 63 |
hlint |
865 |
113 |
Haskell |
199 |
Haskell source code suggestions |
2019-10-16T21:26:10Z |
| 64 |
aeson |
858 |
207 |
Haskell |
70 |
A fast Haskell JSON library |
2019-10-17T02:52:16Z |
| 65 |
radicle |
842 |
31 |
Haskell |
49 |
A peer-to-peer stack for code collaboration |
2019-10-17T09:40:35Z |
| 66 |
unused |
838 |
26 |
Haskell |
19 |
A command line tool to identify unused code. |
2018-08-29T17:08:00Z |
| 67 |
cryptol |
817 |
85 |
Haskell |
116 |
Cryptol: The Language of Cryptography |
2019-09-17T17:08:55Z |
| 68 |
brick |
815 |
101 |
Haskell |
3 |
A declarative Unix terminal UI programming library written in Haskell |
2019-10-03T14:32:56Z |
| 69 |
reflex |
788 |
108 |
Haskell |
64 |
Reflex FRP is a composable, cross-platform functional reactive programming framework for Haskell. It allows you to build interactive components in pure functional style, working in harmony with established Haskell techniques and improving the quality and elegance of your applications. |
2019-10-12T04:46:48Z |
| 70 |
elm-platform |
783 |
130 |
Haskell |
9 |
Bundle of all core development tools for Elm |
2018-08-22T20:51:38Z |
| 71 |
ImplicitCAD |
763 |
104 |
Haskell |
36 |
A math-inspired CAD program in haskell. CSG, bevels, and shells; 2D & 3D; gcode generation... |
2019-10-16T15:11:01Z |
| 72 |
aura |
761 |
74 |
Haskell |
25 |
A secure, multilingual package manager for Arch Linux and the AUR. |
2019-09-03T11:56:35Z |
| 73 |
kaleidoscope |
750 |
104 |
Haskell |
7 |
Haskell LLVM JIT Compiler Tutorial |
2017-12-27T12:47:34Z |
| 74 |
kitten |
745 |
31 |
Haskell |
64 |
A statically typed concatenative systems programming language. |
2019-10-02T15:29:00Z |
| 75 |
queryparser |
743 |
84 |
Haskell |
19 |
Parsing and analysis of Vertica, Hive, and Presto SQL. |
2019-04-22T20:54:52Z |
| 76 |
clash-compiler |
741 |
80 |
Haskell |
127 |
Haskell to VHDL/Verilog/SystemVerilog compiler |
2019-10-17T10:47:18Z |
| 77 |
oden |
739 |
25 |
Haskell |
15 |
The Oden Programming Language (NO LONGER IN ACTIVE DEVELOPMENT) |
2017-04-11T12:26:50Z |
| 78 |
ghcid |
734 |
72 |
Haskell |
74 |
Very low feature GHCi based IDE |
2019-10-13T13:25:23Z |
| 79 |
Haskell-Turtle-Library |
719 |
78 |
Haskell |
30 |
Shell programming, Haskell style |
2019-09-29T04:02:34Z |
| 80 |
liquidhaskell |
715 |
97 |
Haskell |
301 |
Liquid Types For Haskell |
2019-10-14T06:09:36Z |
| 81 |
koka |
692 |
46 |
Haskell |
51 |
Koka language compiler and interpreter |
2019-08-28T23:08:55Z |
| 82 |
dnngraph |
690 |
57 |
Haskell |
8 |
A DSL for deep neural networks, supporting Caffe and Torch |
2015-12-07T04:39:34Z |
| 83 |
ghc-mod |
688 |
189 |
Haskell |
115 |
Happy Haskell Hacking for editors. CI: https://gitlab.com/dxld/ghc-mod/pipelines |
2019-06-17T17:22:20Z |
| 84 |
egison |
678 |
30 |
Haskell |
16 |
Egison is a purely functional programming language with non-linear pattern-matching against non-free data types. We can directly pattern-match against a wide range of data types such as lists, multisets, sets, trees and graphs with Egison. |
2019-10-13T01:34:19Z |
| 85 |
cgrep |
676 |
38 |
Haskell |
1 |
Cgrep: a context-aware grep for source codes |
2019-08-31T11:03:24Z |
| 86 |
conduit |
668 |
166 |
Haskell |
25 |
A streaming data library |
2019-07-03T08:07:45Z |
| 87 |
accelerate |
647 |
84 |
Haskell |
60 |
Embedded language for high-performance array computations |
2019-10-08T07:52:41Z |
| 88 |
stanford-cs240h |
636 |
65 |
Haskell |
1 |
Course materials for Stanford CS240h, "Functional Systems in Haskell" |
2011-10-25T23:32:37Z |
| 89 |
stylish-haskell |
627 |
88 |
Haskell |
67 |
Haskell code prettifier |
2019-10-08T13:13:50Z |
| 90 |
bench |
624 |
17 |
Haskell |
8 |
Command-line benchmark tool |
2019-07-06T22:36:29Z |
| 91 |
distributed-process |
621 |
84 |
Haskell |
68 |
Cloud Haskell core library |
2018-11-27T21:33:46Z |
| 92 |
Haskell-Data-Analysis-Cookbook |
605 |
110 |
Haskell |
0 |
Accompanying Source Code for the Haskell Data Analysis Cookbook |
2015-10-03T19:58:11Z |
| 93 |
legion |
603 |
39 |
Haskell |
0 |
Simple blockchain server written in haskell. Feedback welcome. |
2018-03-01T08:19:04Z |
| 94 |
helm |
596 |
73 |
Haskell |
23 |
A functionally reactive game engine, with headgear to protect you from the headache of game development provided. |
2018-12-01T21:50:12Z |
| 95 |
luna-studio |
592 |
30 |
Haskell |
388 |
An IDE for hybrid textual and visual functional programming. |
2019-07-17T11:00:09Z |
| 96 |
wai |
588 |
193 |
Haskell |
51 |
Haskell Web Application Interface |
2019-10-10T03:41:00Z |
| 97 |
transient |
587 |
26 |
Haskell |
10 |
A full stack, reactive architecture for general purpose programming. Algebraic and monadically composable primitives for concurrency, parallelism, event handling, transactions, multithreading, Web, and distributed computing with complete de-inversion of control (No callbacks, no blocking, pure state) |
2019-07-21T21:25:26Z |
| 98 |
detexify-hs-backend |
578 |
41 |
Haskell |
1 |
Detexify Backend written in Haskell |
2016-12-26T21:00:50Z |
| 99 |
matterhorn |
577 |
39 |
Haskell |
41 |
A feature-rich Unix terminal client for the Mattermost chat system |
2019-10-10T16:40:55Z |
| 100 |
shake |
575 |
100 |
Haskell |
149 |
Shake build system |
2019-09-16T19:52:41Z |