| 21533 |
1105 |
611 |
29 days ago |
shellcheck/1 |
ShellCheck, a static analysis tool for shell scripts |
| 20485 |
2488 |
713 |
an hour ago |
pandoc/2 |
Universal markup converter |
| 18920 |
1637 |
1276 |
a day ago |
graphql-engine/3 |
Blazing fast, instant realtime GraphQL APIs on Postgres with fine grained access control, also trigger webhooks on database events. |
| 14871 |
728 |
127 |
2 days ago |
postgrest/4 |
REST API for any Postgres database |
| 7778 |
421 |
94 |
2 days ago |
semantic/5 |
Parsing, analyzing, and comparing source code across many languages |
| 6715 |
489 |
256 |
11 days ago |
purescript/6 |
A strongly-typed language that compiles to JavaScript |
| 6154 |
535 |
205 |
5 months ago |
compiler/7 |
Compiler for Elm, a functional language for reliable webapps. |
| 4645 |
223 |
157 |
7 days ago |
penrose/8 |
Create beautiful diagrams just by typing mathematical notation in plain text. |
| 4108 |
180 |
93 |
a day ago |
hadolint/9 |
Dockerfile linter, validate inline bash, written in Haskell |
| 3852 |
307 |
9 |
9 hours ago |
Haxl/10 |
A Haskell library that simplifies access to remote data, such as databases or web-based services. |
| 3605 |
133 |
90 |
2 days ago |
Carp/11 |
A statically typed lisp, without a GC, for real-time applications. |
| 3446 |
765 |
761 |
14 days ago |
stack/12 |
The Haskell Tool Stack |
| 3426 |
582 |
189 |
3 months ago |
cardano-sl/13 |
Cryptographic currency implementing Ouroboros PoS protocol |
| 3425 |
164 |
477 |
an hour ago |
unison/14 |
A friendly programming language from the future |
| 3376 |
1069 |
13 |
a month ago |
fp-course/15 |
Functional Programming Course |
| 3246 |
662 |
701 |
a month ago |
Idris-dev/16 |
A Dependently Typed Functional Programming Language |
| 3082 |
576 |
158 |
10 days ago |
duckling/17 |
Language, engine, and tooling for expressing, testing, and evaluating composable language rules on input strings. |
| 2828 |
231 |
25 |
3 years ago |
write-you-a-haskell/18 |
Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/) |
| 2582 |
161 |
7 |
2 years ago |
Functional-Programming/19 |
Functional Programming concepts, examples and patterns illustrated in Haskell, Ocaml and Python |
| 2462 |
232 |
302 |
a day ago |
haskell-ide-engine/20 |
The engine for haskell ide-integration. Not an IDE |
| 2435 |
145 |
241 |
1 year, 2 months ago |
eta/21 |
The Eta Programming Language, a dialect of Haskell on the JVM |
| 2413 |
629 |
9 |
3 days ago |
ghc/22 |
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). |
| 2371 |
171 |
277 |
7 months ago |
ghcjs/23 |
Haskell to JavaScript compiler, based on GHC |
| 2281 |
349 |
93 |
a day ago |
yesod/24 |
A RESTful Haskell web framework built on WAI. |
| 2209 |
300 |
55 |
4 hours ago |
wire-server/25 |
🇪🇺 Wire back-end services |
| 2208 |
374 |
122 |
8 days ago |
hakyll/26 |
A static website compiler library in Haskell |
| 2193 |
139 |
12 |
2 days ago |
awesome-haskell/27 |
A collection of awesome Haskell links, frameworks, libraries and software. Inspired by awesome projects line. |
| 2180 |
233 |
36 |
16 days ago |
IHaskell/28 |
A Haskell kernel for IPython. |
| 2029 |
109 |
79 |
3 years ago |
corrode/29 |
C to Rust translator |
| 1940 |
205 |
6 |
25 days ago |
wiwinwlh/30 |
What I Wish I Knew When Learning Haskell |
| 1840 |
206 |
205 |
3 months ago |
gitit/31 |
A wiki using HAppS, pandoc, and git |
| 1689 |
124 |
25 |
5 days ago |
miso/32 |
🍜 A tasty Haskell front-end framework |
| 1674 |
232 |
89 |
4 days ago |
lens/33 |
Lenses, Folds, and Traversals - Join us on freenode #haskell-lens |
| 1651 |
61 |
4 |
7 days ago |
lamdu/34 |
lamdu - towards the next generation IDE |
| 1567 |
137 |
24 |
4 years ago |
HLearn/35 |
Homomorphic machine learning |
| 1566 |
190 |
74 |
a month ago |
xmonad/36 |
The core of xmonad, a small but functional ICCCM-compliant tiling window manager |
| 1541 |
210 |
309 |
3 days ago |
hledger/37 |
easy-to-use command-line/curses/web plaintext accounting tool; a modern and largely compatible Haskell rewrite of Ledger |
| 1459 |
123 |
47 |
17 days ago |
scotty/38 |
Haskell web framework inspired by Ruby's Sinatra, using WAI and Warp (Official Repository) |
| 1435 |
46 |
103 |
10 days ago |
asterius/39 |
A Haskell to WebAssembly compiler |
| 1430 |
348 |
57 |
4 years ago |
zsh-git-prompt/40 |
Informative git prompt for zsh |
| 1412 |
41 |
8 |
20 days ago |
patat/41 |
Terminal-based presentations using Pandoc |
| 1401 |
312 |
217 |
7 days ago |
servant/42 |
Main repository for the servant libraries -- DSL for describing, serving, querying, mocking, documenting web applications and more! |
| 1398 |
109 |
64 |
1 year, 6 months ago |
haste-compiler/43 |
A GHC-based Haskell to JavaScript compiler |
| 1359 |
209 |
21 |
3 years ago |
real-world-haskell-cn/44 |
《Real World Haskell》中文翻译项目 |
| 1357 |
171 |
717 |
an hour ago |
agda/45 |
Agda is a dependently typed programming language / interactive theorem prover. |
| 1348 |
183 |
40 |
4 months ago |
haskell/46 |
Haskell bindings for TensorFlow |
| 1342 |
90 |
34 |
2 minutes ago |
futhark/47 |
💥💻💥 A data-parallel functional programming language |
| 1335 |
193 |
214 |
4 days ago |
yi/48 |
The Haskell-Scriptable Editor |
| 1329 |
81 |
22 |
5 months ago |
grenade/49 |
Deep Learning in Haskell |
| 1304 |
34 |
11 |
3 days ago |
Simula/50 |
Linux VR Desktop |
| 1260 |
105 |
12 |
3 months ago |
erd/51 |
Translates a plain text description of a relational database schema to a graphical entity-relationship diagram. |
| 1226 |
86 |
18 |
6 months ago |
fay/52 |
A proper subset of Haskell that compiles to JavaScript |
| 1219 |
172 |
101 |
59 minutes ago |
Tidal/53 |
Pattern language |
| 1215 |
133 |
207 |
10 days ago |
elm-format/54 |
elm-format formats Elm source code according to a standard set of rules based on the official Elm Style Guide |
| 1187 |
84 |
4 |
10 months ago |
haskell-trainings/55 |
Haskell 101 and 102: slides and codelabs |
| 1178 |
516 |
1413 |
4 days ago |
cabal/56 |
Official upstream development repository for Cabal and cabal-install |
| 1115 |
190 |
273 |
8 days ago |
codeworld/57 |
Educational computer programming environment using Haskell |
| 1061 |
56 |
80 |
a day ago |
ihp/58 |
λ IHP is a modern batteries-included Web Framework, built on top of Haskell and Nix. |
| 1046 |
145 |
30 |
8 months ago |
intero/59 |
None |
| 1045 |
135 |
154 |
a day ago |
hlint/60 |
Haskell source code suggestions |
| 1029 |
82 |
3 |
8 months ago |
articles/61 |
Miscellaneous articles. The readme is the table of contents. |
| 1028 |
37 |
27 |
3 days ago |
taskell/62 |
Command-line Kanban board/task manager with support for Trello boards and GitHub projects |
| 1000 |
58 |
0 |
2 years ago |
haskell-must-watch/63 |
Huge list of videos, talks, courses for Haskell programming language. |
| 998 |
86 |
37 |
1 year, 10 months ago |
HaLVM/64 |
The Haskell Lightweight Virtual Machine (HaLVM): GHC running on Xen |
| 996 |
79 |
145 |
3 hours ago |
haskell-language-server/65 |
Integration point for ghcide and haskell-ide-engine. One IDE to rule them all. |
| 995 |
109 |
6 |
7 days ago |
brick/66 |
A declarative Unix terminal UI programming library written in Haskell |
| 962 |
30 |
16 |
10 months ago |
kit/67 |
Kit: a magical, high performance programming language, designed for game development. Pre-alpha! |
| 958 |
225 |
60 |
5 days ago |
aeson/68 |
A fast Haskell JSON library |
| 954 |
33 |
15 |
1 year, 1 month ago |
toodles/69 |
Project management directly from the TODOs in your codebase |
| 950 |
132 |
17 |
4 months ago |
fp-course/70 |
Functional Programming Course |
| 930 |
109 |
226 |
2 months ago |
leksah/71 |
Haskell IDE |
| 925 |
79 |
11 |
21 hours ago |
aura/72 |
A secure, multilingual package manager for Arch Linux and the AUR. |
| 906 |
33 |
45 |
6 months ago |
radicle-alpha/73 |
A peer-to-peer stack for code collaboration |
| 904 |
93 |
112 |
6 days ago |
cryptol/74 |
Cryptol: The Language of Cryptography |
| 896 |
95 |
171 |
10 days ago |
clash-compiler/75 |
Haskell to VHDL/Verilog/SystemVerilog compiler |
| 893 |
122 |
46 |
a month ago |
ImplicitCAD/76 |
A math-inspired CAD program in haskell. CSG, bevels, and shells; 2D & 3D; gcode generation... |
| 892 |
88 |
85 |
a month ago |
ghcid/77 |
Very low feature GHCi based IDE |
| 889 |
126 |
77 |
a month ago |
reflex/78 |
Interactive programs without callbacks or side-effects. Functional Reactive Programming (FRP) uses composable events and time-varying values to describe interactive systems as pure functions. Just like other pure functional code, functional reactive code is easier to get right on the first try, maintain, and reuse. |
| 888 |
27 |
1 |
4 months ago |
unused/79 |
Deprecated; see https://github.com/unused-code/unused |
| 859 |
109 |
20 |
1 year, 6 months ago |
queryparser/80 |
Parsing and analysis of Vertica, Hive, and Presto SQL. |
| 849 |
50 |
59 |
17 days ago |
koka/81 |
Koka language compiler and interpreter |
| 839 |
114 |
9 |
2 years ago |
kaleidoscope/82 |
Haskell LLVM JIT Compiler Tutorial |
| 826 |
33 |
64 |
1 year, 7 days ago |
kitten/83 |
A statically typed concatenative systems programming language. |
| 802 |
101 |
357 |
a day ago |
liquidhaskell/84 |
Liquid Types For Haskell |
| 779 |
31 |
22 |
a day ago |
egison/85 |
The Egison Programming Language |
| 778 |
25 |
23 |
6 days ago |
grin/86 |
GRIN is a compiler back-end for lazy and strict functional languages with whole program optimization support. |
| 777 |
129 |
9 |
2 years ago |
elm-platform/87 |
Bundle of all core development tools for Elm |
| 776 |
84 |
34 |
a month ago |
Haskell-Turtle-Library/88 |
Shell programming, Haskell style |
| 768 |
5 |
4 |
4 months ago |
neut/89 |
A dependently-typed programming language with compile-time malloc/free determination |
| 759 |
56 |
40 |
7 days ago |
matterhorn/90 |
A feature-rich Unix terminal client for the Mattermost chat system |
| 757 |
53 |
67 |
23 days ago |
polysemy/91 |
♊ higher-order, no-boilerplate monads |
| 738 |
26 |
15 |
3 years ago |
oden/92 |
The Oden Programming Language (NO LONGER IN ACTIVE DEVELOPMENT) |
| 723 |
107 |
86 |
9 hours ago |
stylish-haskell/93 |
Haskell code prettifier |
| 720 |
93 |
47 |
4 hours ago |
accelerate/94 |
Embedded language for high-performance array computations |
| 717 |
171 |
30 |
a day ago |
conduit/95 |
A streaming data library |
| 707 |
32 |
12 |
a month ago |
gifcurry/96 |
😎 The open-source, Haskell-built video editor for GIF makers. |
| 703 |
17 |
8 |
a month ago |
bench/97 |
Command-line benchmark tool |
| 702 |
36 |
6 |
17 days ago |
LtuPatternFactory/98 |
Lambda the ultimate Pattern Factory: FP, Haskell, Typeclassopedia vs Software Design Patterns |
| 692 |
58 |
8 |
5 years ago |
dnngraph/99 |
A DSL for deep neural networks, supporting Caffe and Torch |
| 690 |
187 |
115 |
1 year, 3 months ago |
ghc-mod/100 |
Happy Haskell Hacking for editors. DEPRECATED |
| 687 |
38 |
1 |
7 months ago |
cgrep/101 |
Cgrep: a context-aware grep for source codes |
| 680 |
45 |
25 |
a month ago |
Rome/102 |
Carthage cache for S3, Minio, Ceph, Google Storage, Artifactory and many others |
| 671 |
87 |
34 |
6 minutes ago |
optparse-applicative/103 |
Applicative option parser |
| 669 |
39 |
68 |
a month ago |
project-m36/104 |
Project: M36 Relational Algebra Engine |
| 667 |
35 |
0 |
a month ago |
software-design-in-haskell/105 |
Software Design in Haskell. A structured set of materials. How to build real-world applications in Haskell. |
| 667 |
49 |
31 |
24 days ago |
rio/106 |
A standard library for Haskell |
| 666 |
41 |
1 |
4 years ago |
detexify-hs-backend/107 |
Detexify Backend written in Haskell |
| 664 |
32 |
28 |
9 hours ago |
dex-lang/108 |
Research language for array processing in the Haskell/ML family |
| 651 |
212 |
47 |
3 days ago |
wai/109 |
Haskell Web Application Interface |
| 642 |
67 |
1 |
8 years ago |
stanford-cs240h/110 |
Course materials for Stanford CS240h, "Functional Systems in Haskell" |
| 641 |
109 |
155 |
21 days ago |
shake/111 |
Shake build system |
| 639 |
25 |
36 |
a month ago |
sixten/112 |
Functional programming with fewer indirections |
| 639 |
66 |
10 |
2 months ago |
wstunnel/113 |
Tunneling over websocket protocol - Static binary available |
| 637 |
92 |
72 |
a month ago |
distributed-process/114 |
Cloud Haskell core library |
| 635 |
20 |
10 |
14 days ago |
pboy/115 |
a small .pdf management tool with a command-line UI |
| 628 |
69 |
8 |
12 days ago |
megaparsec/116 |
Industrial-strength monadic parser combinator library |
| 624 |
113 |
0 |
5 years ago |
Haskell-Data-Analysis-Cookbook/117 |
Accompanying Source Code for the Haskell Data Analysis Cookbook |
| 619 |
27 |
9 |
7 months ago |
transient/118 |
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) |
| 612 |
69 |
62 |
a day ago |
hasktorch/119 |
Tensors and neural networks in Haskell |
| 610 |
58 |
35 |
a month ago |
Spock/120 |
Another Haskell web framework for rapid development |
| 606 |
65 |
118 |
2 months ago |
brittany/121 |
haskell source code formatter |
| 601 |
15 |
5 |
3 days ago |
glance/122 |
A visual Haskell |
| 600 |
81 |
58 |
2 hours ago |
neuron/123 |
Future-proof and simple-to-use notes system based on Zettelkasten. |
| 599 |
39 |
0 |
2 years ago |
legion/124 |
Simple blockchain server written in haskell |
| 599 |
29 |
392 |
6 months ago |
luna-studio/125 |
Looking for Luna, the WYSIWYG language for data processing? Development has moved 👉 |
| 597 |
73 |
23 |
2 years ago |
helm/126 |
A functionally reactive game engine, with headgear to protect you from the headache of game development provided. |
| 597 |
58 |
43 |
4 months ago |
alga/127 |
Algebraic graphs |
| 591 |
41 |
19 |
1 year, 11 months ago |
rasa/128 |
Extremely modular text editor built in Haskell |
| 588 |
12 |
13 |
1 year, 5 months ago |
waymonad/129 |
A wayland compositor based on ideas from and inspired by xmonad |
| 587 |
67 |
32 |
6 months ago |
parsec/130 |
A monadic parser combinator library |
| 575 |
96 |
114 |
2 days ago |
ghcide/131 |
A library for building Haskell IDE tooling |
| 571 |
101 |
71 |
3 months ago |
quickcheck/132 |
Automatic testing of Haskell programs. |
| 570 |
83 |
54 |
22 days ago |
hspec/133 |
A Testing Framework for Haskell |
| 564 |
89 |
86 |
7 hours ago |
haskell-hedgehog/134 |
Release with confidence, state-of-the-art property testing for Haskell. |
| 555 |
32 |
67 |
10 days ago |
niv/135 |
Easy dependency management for Nix projects |
| 540 |
20 |
0 |
3 years ago |
hython/136 |
Haskell-powered Python 3 interpreter |
| 533 |
33 |
2 |
7 months ago |
FP-Course-ITMO/137 |
Slides and other materials for functional programming lectures ITMO university |
| 533 |
157 |
7 |
3 months ago |
applied-fp-course/138 |
Applied Functional Programming Course - Move from exercises to a working app! |
| 532 |
46 |
236 |
a month ago |
streamly/139 |
Beautiful Streaming, Concurrent and Reactive Composition (Haskell) |
| 531 |
59 |
36 |
4 hours ago |
ormolu/140 |
A formatter for Haskell source code |
| 530 |
17 |
7 |
5 months ago |
greenclip/141 |
Simple clipboard manager to be integrated with rofi - Static binary available |
| 526 |
61 |
21 |
9 days ago |
summoner/142 |
🔮 🔧 Tool for scaffolding batteries-included production-level Haskell projects |
| 525 |
152 |
57 |
a month ago |
xmobar/143 |
A minimalistic, mostly text-based status bar |
| 521 |
85 |
42 |
17 days ago |
spago/144 |
🍝 PureScript package manager and build tool powered by Dhall and package-sets |
| 511 |
29 |
0 |
4 years ago |
carnival/145 |
An unobtrusive, developer-friendly way to add comments |
| 501 |
102 |
79 |
27 days ago |
haskell-opaleye/146 |
None |
| 501 |
29 |
12 |
2 days ago |
purescript-native/147 |
A native compiler backend for PureScript (via C++ or Golang) |
| 498 |
90 |
1 |
2 months ago |
haskoin-core/148 |
Haskoin Core is a Bitcoin and Bitcoin Cash library |
| 496 |
13 |
8 |
4 months ago |
forest-compiler/149 |
A multi-syntax functional programming language that compiles to WebAssembly. |
| 495 |
154 |
0 |
4 years ago |
FP101x-Content-2015/150 |
FP101x - Functional Programming MOOC 2015 Content Repository |
| 494 |
109 |
67 |
a month ago |
hindent/151 |
Haskell pretty printer |
| 493 |
106 |
111 |
a month ago |
hoogle/152 |
Haskell API search engine |
| 485 |
18 |
1 |
10 months ago |
bartosz-basics-of-haskell/153 |
Code and exercises from Bartosz Milewski's Basics of Haskell Tutorial |
| 484 |
77 |
97 |
14 days ago |
echidna/154 |
Ethereum smart contract fuzzer |
| 483 |
23 |
19 |
14 hours ago |
reanimate/155 |
Haskell library for building declarative animations based on SVG graphics |
| 471 |
114 |
55 |
12 days ago |
taffybar/156 |
A gtk based status bar for tiling window managers such as XMonad |
| 471 |
34 |
3 |
1 year, 2 months ago |
intro_to_parsing/157 |
Introduction to parsing with Haskell and Parsec |
| 468 |
34 |
26 |
2 months ago |
fused-effects/158 |
A fast, flexible, fused effect system for Haskell |
| 468 |
68 |
12 |
23 days ago |
tasty/159 |
Modern and extensible testing framework for Haskell |
| 467 |
25 |
0 |
27 days ago |
tetris/160 |
A terminal interface for Tetris |
| 467 |
45 |
37 |
a month ago |
pandoc-crossref/161 |
Pandoc filter for cross-references |
| 463 |
32 |
20 |
3 months ago |
HaskellR/162 |
The full power of R in Haskell. |
| 462 |
37 |
3 |
2 years ago |
hell/163 |
None |
| 461 |
23 |
0 |
3 years ago |
10-minute-vim-exercises/164 |
The exercise files from 10 Minute Vim, for convenience of readers |
| 461 |
50 |
0 |
2 years ago |
DeepDarkFantasy/165 |
A Programming Language for Deep Learning |
| 451 |
65 |
1 |
2 months ago |
haskell-exercises/166 |
A little course to learn about some of the more obscure GHC extensions. |
| 451 |
26 |
0 |
7 months ago |
bulletproofs/167 |
Bulletproofs are short non-interactive zero-knowledge proofs that require no trusted setup |
| 447 |
81 |
0 |
2 years ago |
hpffp-resources/168 |
Haskell Programming From First Principles - Follow-up Resources |
| 446 |
65 |
130 |
19 days ago |
obelisk/169 |
Functional reactive web and mobile applications, with batteries included. |
| 445 |
68 |
58 |
1 year, 4 months ago |
reactive-banana/170 |
Library for functional reactive programming in Haskell. |
| 445 |
50 |
7 |
3 years ago |
juno/171 |
Smart Contracts Running on a BFT Hardened Raft |
| 444 |
160 |
134 |
2 months ago |
amazonka/172 |
A comprehensive Amazon Web Services SDK for Haskell. |
| 441 |
64 |
31 |
20 days ago |
snap/173 |
Top-level package for the official Snap Framework libraries, includes the snaplets API as well as infrastructure for sessions, auth, and templates. |
| 440 |
18 |
19 |
6 months ago |
haskell-code-explorer/174 |
Web application for exploring and understanding Haskell codebases |
| 439 |
23 |
18 |
3 years ago |
frp-zoo/175 |
Comparing many FRP implementations by reimplementing the same toy app in each. |
| 438 |
23 |
20 |
1 year, 11 months ago |
hylogen/176 |
GLSL embedded in Haskell |
| 436 |
71 |
22 |
1 year, 11 months ago |
cubicaltt/177 |
Experimental implementation of Cubical Type Theory |
| 435 |
19 |
5 |
2 months ago |
jl/178 |
Functional sed for JSON |
| 434 |
81 |
35 |
4 months ago |
hpack/179 |
hpack: A modern format for Haskell packages |
| 430 |
163 |
4 |
2 years ago |
xmonad-config/180 |
My xmonad and xmobar configuration, plus necessary scripts to make things more usable. |
| 428 |
72 |
17 |
2 months ago |
Haskell-Pipes-Library/181 |
Compositional pipelines |
| 427 |
71 |
27 |
6 months ago |
attoparsec/182 |
A fast Haskell library for parsing ByteStrings |
| 426 |
20 |
37 |
29 days ago |
linux_notification_center/183 |
A notification daemon/center for linux |
| 425 |
21 |
1 |
3 years ago |
time.gif/184 |
GIF that always shows the current time in UTC |
| 424 |
102 |
82 |
14 days ago |
beam/185 |
A type-safe, non-TH Haskell SQL library and ORM |
| 422 |
18 |
4 |
1 year, 3 months ago |
zero-bullshit-haskell/186 |
Learn Haskell, without the bullshit. |
| 421 |
63 |
45 |
2 years ago |
elm-reactor/187 |
Interactive development tool that makes it easy to develop and debug Elm programs. |
| 414 |
44 |
28 |
3 days ago |
selda/188 |
A type-safe, high-level SQL library for Haskell |
| 411 |
98 |
32 |
6 months ago |
tip-toi-reveng/189 |
Trying to understand the file format of Tip Toi |
| 409 |
28 |
22 |
1 year, 3 months ago |
sparkle/190 |
Haskell on Apache Spark. |
| 406 |
33 |
95 |
3 days ago |
LambdaHack/191 |
Haskell game engine library for roguelike dungeon crawlers; please offer feedback, e.g., after trying out the sample game with the web frontend at |
| 405 |
43 |
21 |
2 months ago |
hasql/192 |
An efficient PostgreSQL driver with a flexible mapping API |
| 403 |
43 |
18 |
4 years ago |
subhask/193 |
Type safe interface for working in subcategories of Hask |
| 402 |
23 |
23 |
9 months ago |
komposition/194 |
The video editor built for screencasters |
| 401 |
13 |
12 |
1 year, 4 months ago |
compleat/195 |
Generate command-line completions using a simple DSL. |
| 401 |
86 |
1 |
15 hours ago |
scheme/196 |
Write You a Scheme |
| 400 |
14 |
0 |
5 months ago |
WhyHaskellMatters/197 |
In this article I try to explain why Haskell keeps being such an important language by presenting some of its most important and distinguishing features and detailing them with working code examples. The presentation aims to be self-contained and does not require any previous knowledge of the language. |
| 400 |
35 |
63 |
10 months ago |
graphql-api/198 |
Write type-safe GraphQL services in Haskell |
| 400 |
72 |
120 |
7 months ago |
foundation/199 |
Empire strikes back |
| 396 |
41 |
33 |
2 days ago |
generic-lens/200 |
Generically derive traversals, lenses, and prisms. |
| 392 |
23 |
7 |
2 years ago |
webify/201 |
webfont generator - converts ttf to woff, eot and svg |
| 392 |
47 |
0 |
2 years ago |
gists/202 |
With way too messy gist.github pages this is an attempt to organise my snippets |
| 391 |
112 |
40 |
6 months ago |
bloodhound/203 |
Haskell Elasticsearch client and query DSL |
| 390 |
53 |
50 |
2 years ago |
rest/204 |
Packages for defining APIs, running them, generating client code and documentation. |
| 387 |
6 |
12 |
3 days ago |
brok/205 |
Find broken links in text documents |
| 388 |
183 |
2 |
2 years ago |
xmonad-ubuntu-conf/206 |
My xmonad config for Ubuntu 18.04, 16.04, 14.04, and 12.04, including package list, config files, and instructions. |
| 385 |
51 |
10 |
a day ago |
relude/207 |
🌀 Safe, performant, user-friendly and lightweight Haskell standard library |
| 380 |
17 |
28 |
10 months ago |
granule/208 |
A statically typed linear functional language with graded modal types for fine-grained program reasoning |
| 378 |
15 |
6 |
3 months ago |
eff/209 |
🚧 a work in progress effect system for Haskell 🚧 |
| 377 |
12 |
2 |
4 years ago |
Caramel/210 |
A modern syntax for the λ-calculus. |
| 376 |
37 |
5 |
4 years ago |
LambdaNet/211 |
Purely functional artificial neural network library implemented in Haskell. |
| 374 |
17 |
6 |
1 year, 1 month ago |
stgi/212 |
A user-centric visual STG implementation to help understand GHC/Haskell's execution model. |
| 374 |
64 |
72 |
24 days ago |
bsc/213 |
Bluespec Compiler (BSC) |
| 371 |
249 |
178 |
10 days ago |
persistent/214 |
Persistence interface for Haskell allowing multiple storage methods. |
| 369 |
77 |
42 |
2 months ago |
hs-tls/215 |
TLS/SSL implementation in haskell |
| 369 |
16 |
4 |
3 months ago |
pLam/216 |
An interpreter for learning and exploring pure λ-calculus |
| 366 |
9 |
8 |
21 hours ago |
retrie/217 |
Retrie is a powerful, easy-to-use codemodding tool for Haskell. |
| 365 |
79 |
36 |
a month ago |
proto-lens/218 |
API for protocol buffers using modern Haskell language and library patterns. |
| 364 |
81 |
74 |
4 months ago |
haskell-platform/219 |
Distribution of Haskell with batteries included |
| 362 |
39 |
7 |
2 months ago |
protolude/220 |
A sensible starting Prelude template. |
| 360 |
114 |
3 |
5 months ago |
constellation/221 |
Peer-to-peer encrypted message exchange |
| 359 |
82 |
39 |
8 days ago |
Shelly.hs/222 |
Haskell shell scripting |
| 359 |
66 |
48 |
13 days ago |
threepenny-gui/223 |
GUI framework that uses the web browser as a display. |
| 356 |
70 |
12 |
1 year, 8 months ago |
wreq/224 |
None |
| 356 |
6 |
9 |
9 months ago |
Son/225 |
Work in progress. Best alternative: https://matrix.org/docs/spec/appendices.html#canonical-json |
| 354 |
21 |
0 |
1 year, 3 months ago |
DontFearTheProfunctorOptics/226 |
Don't Fear the Profunctor Optics! |
| 352 |
17 |
16 |
4 years ago |
haskell-emacs/227 |
Write Emacs extensions in Haskell |
| 352 |
105 |
39 |
3 months ago |
websockets/228 |
A Haskell library for creating WebSocket-capable servers |
| 352 |
70 |
57 |
7 months ago |
haskell-chart/229 |
A 2D charting library for haskell |
| 351 |
22 |
13 |
3 years ago |
call-haskell-from-anything/230 |
Call Haskell functions from any programming language via serialization and dynamic libraries |
| 350 |
25 |
14 |
11 months ago |
Haskell-Morte-Library/231 |
A bare-bones calculus-of-constructions |
| 348 |
35 |
33 |
2 years ago |
haskell-do/232 |
✏️ 📊 - The Haskell code editor focused on interactive development. |
| 347 |
21 |
4 |
7 years ago |
CloudHaskell/233 |
A distributed computing framework for Haskell |
| 345 |
58 |
0 |
4 months ago |
pi-forall/234 |
A demo implementation of a simple dependently-typed language |
| 344 |
25 |
22 |
7 months ago |
ivory/235 |
The Ivory EDSL |
| 343 |
46 |
71 |
5 days ago |
pact/236 |
The Pact Smart Contract Language |
| 341 |
99 |
60 |
a month ago |
hmatrix/237 |
Linear algebra and numerical computation |
| 340 |
27 |
31 |
3 days ago |
kmonad/238 |
An advanced keyboard manager |
| 340 |
185 |
42 |
2 months ago |
github/239 |
The github API for Haskell |
| 339 |
133 |
25 |
5 months ago |
haskell/240 |
Exercism exercises in Haskell. |
| 337 |
12 |
0 |
1 year, 15 days ago |
hnes/241 |
🎮 NES Emulator written in Haskell |
| 337 |
19 |
3 |
a month ago |
Functional-Design-and-Architecture/242 |
Code and materials for book "Functional Design and Architecture" |
| 337 |
36 |
33 |
3 months ago |
concat/243 |
Compiling to Categories |
| 336 |
24 |
12 |
4 years ago |
markup.rocks/244 |
Pandoc based document editor and converter in your browser. |
| 335 |
23 |
14 |
5 years ago |
react-haskell/245 |
React bindings for Haskell |
| 333 |
12 |
0 |
3 days ago |
haskus-system/246 |
System programming in Haskell on top of Linux |
| 333 |
45 |
47 |
17 days ago |
haskell-ci/247 |
Scripts and instructions for using CI services (e.g. Travis CI or Appveyor) with multiple GHC configurations |
| 331 |
9 |
4 |
2 years ago |
verve-lang/248 |
A functional language for the working hacker |
| 331 |
65 |
19 |
28 days ago |
clay/249 |
A CSS preprocessor as embedded Haskell. |
| 323 |
20 |
9 |
2 years ago |
movie-monad/250 |
📺 A free and simple to use video player made with Haskell. |
| 322 |
21 |
12 |
a month ago |
massiv/251 |
Efficient Haskell Arrays featuring Parallel computation |
| 319 |
11 |
3 |
1 year, 7 months ago |
mezzo/252 |
A Haskell library for typesafe music composition |
| 319 |
13 |
15 |
1 year, 9 months ago |
infernu/253 |
Type inference and checking for a safer JavaScript. |
| 315 |
42 |
167 |
2 days ago |
saw-script/254 |
The SAW scripting language. |
| 314 |
16 |
58 |
6 days ago |
stan/255 |
🕵️ Haskell STatic ANalyser |
| 312 |
36 |
20 |
10 months ago |
yst/256 |
create static websites from YAML data and string templates |
| 311 |
37 |
2 |
7 years ago |
aima-haskell/257 |
Algorithms from AIMA in Haskell |
| 311 |
72 |
2 |
2 months ago |
gloss/258 |
Painless 2D vector graphics, animations and simulations. |
| 311 |
44 |
17 |
6 days ago |
machines/259 |
Networks of composable stream transducers |
| 310 |
76 |
24 |
29 days ago |
snap-core/260 |
Core type definitions (Snap monad, HTTP types, etc) and utilities for web handlers. |
| 310 |
21 |
10 |
7 months ago |
Earley/261 |
Parsing all context-free grammars using Earley's algorithm in Haskell. |
| 310 |
23 |
35 |
5 months ago |
funflow/262 |
Functional workflows |
| 304 |
56 |
66 |
2 days ago |
doctest/263 |
An implementation of Python's doctest for Haskell |
| 302 |
20 |
26 |
7 days ago |
squeal/264 |
Squeal, a deep embedding of SQL in Haskell |
| 301 |
11 |
11 |
5 years ago |
dbignore/265 |
.gitignore for Dropbox |
| 300 |
76 |
54 |
21 days ago |
esqueleto/266 |
New home of Esqueleto, please file issues so we can get things caught up! |
| 300 |
10 |
2 |
6 years ago |
berp/267 |
An implementation of Python 3 |
| 300 |
5 |
11 |
2 months ago |
ptghci/268 |
High-powered REPL for Haskell, inspired by IPython |
| 298 |
12 |
67 |
3 months ago |
hawk/269 |
Haskell text processor for the command-line |
| 297 |
11 |
1 |
1 year, 9 months ago |
quine-central/270 |
A quine generator |
| 297 |
8 |
5 |
3 years ago |
FuncShell/271 |
Improve your shell by making it functional through Haskell! (An update to Awkward) |
| 295 |
193 |
76 |
7 days ago |
xmonad-contrib/272 |
Contributed modules for xmonad |
| 294 |
51 |
16 |
6 days ago |
ad/273 |
Automatic Differentiation |
| 293 |
163 |
194 |
2 days ago |
hackage-server/274 |
Hackage-Server: A Haskell Package Repository |
| 292 |
88 |
2 |
2 years ago |
parconc-examples/275 |
Sample code to accompany the book "Parallel and Concurrent Programming in Haskell" |
| 291 |
121 |
52 |
24 days ago |
reflex-dom/276 |
Web applications without callbacks or side-effects. Reflex-DOM brings the power of functional reactive programming (FRP) to the web. Build HTML and other Document Object Model (DOM) data with a pure functional interface. |
| 291 |
22 |
14 |
5 months ago |
Reduceron/277 |
FPGA Haskell machine with game changing performance. Reduceron is Matthew Naylor, Colin Runciman and Jason Reich's high performance FPGA softcore for running lazy functional programs, including hardware garbage collection. Reduceron has been implemented on various FPGAs with clock frequency ranging from 60 to 150 MHz depending on the FPGA. A high degree of parallelism allows Reduceron to implement graph evaluation very efficiently. This fork aims to continue development on this, with a view to practical applications. Comments, questions, etc are welcome. |
| 291 |
65 |
11 |
2 years ago |
fp-course/278 |
Fork of the original Data61 course to be more Stack friendly |
| 290 |
20 |
69 |
a day ago |
cachix/279 |
Command line client for Nix binary cache hosting: |
| 289 |
27 |
9 |
1 year, 2 months ago |
Angel/280 |
Process Monitoring/Management, Like Daemontools |
| 284 |
36 |
7 |
13 days ago |
Yampa/281 |
Functional Reactive Programming domain-specific language embedded in Haskell, for programming efficient hybrid (mixed discrete-time and continuous-time) systems. |
| 283 |
29 |
40 |
2 months ago |
hakaru/282 |
A probabilistic programming language |
| 282 |
12 |
0 |
24 days ago |
tart/283 |
Tart - draw ASCII art in the terminal with your mouse! |
| 281 |
69 |
23 |
a month ago |
hedis/284 |
A Redis client library for Haskell. |
| 280 |
21 |
12 |
3 months ago |
vaultenv/285 |
Launch processes with Vault secrets in the environment |
| 280 |
72 |
36 |
6 days ago |
sdl2/286 |
Haskell bindings to the SDL2 library |
| 275 |
27 |
5 |
4 months ago |
apecs/287 |
a fast, type driven, extensible ECS for game development |
| 274 |
115 |
179 |
13 hours ago |
cardano-node/288 |
The core component that is used to participate in a Cardano decentralised blockchain. |
| 273 |
8 |
6 |
9 days ago |
nuri/289 |
누리 : 함수형 한글 프로그래밍 언어 |
| 272 |
83 |
10 |
2 years ago |
HaskellKoans/290 |
Haskell Koans for the Vancouver's Haskell UnMeetup |
| 271 |
79 |
79 |
a day ago |
dapptools/291 |
Dapp, Seth, Hevm, and more |
| 271 |
46 |
10 |
a month ago |
trifecta/292 |
Parser combinators with highlighting, slicing, layout, literate comments, Clang-style diagnostics and the kitchen sink |
| 271 |
26 |
1 |
2 months ago |
slides/293 |
Slides from talks that I give |
| 271 |
100 |
60 |
4 days ago |
vector/294 |
An efficient implementation of Int-indexed arrays (both mutable and immutable), with a powerful loop optimisation framework . |
| 270 |
18 |
6 |
3 months ago |
friday/295 |
Fast image IO and transformations. |
| 271 |
62 |
2 |
2 months ago |
monad-challenges/296 |
A set of challenges for jump starting your understanding of monads. |
| 267 |
10 |
28 |
a day ago |
optics/297 |
Optics as an abstract interface |
| 267 |
29 |
18 |
7 days ago |
incredible/298 |
The Incredible Proof Machine |
| 266 |
23 |
28 |
2 years ago |
ru-haskell-book/299 |
учебник по Haskell |
| 266 |
13 |
6 |
10 months ago |
Expresso/300 |
A simple expressions language with polymorphic extensible row types. |
| 265 |
30 |
6 |
6 days ago |
req/301 |
Easy-to-use, type-safe, expandable, high-level HTTP client library |
| 263 |
54 |
15 |
5 months ago |
async/302 |
Run IO operations asynchronously and wait for their results |
| 264 |
107 |
74 |
7 months ago |
package.elm-lang.org/303 |
website for browsing packages and exploring documentation |
| 263 |
6 |
0 |
1 year, 5 months ago |
vado/304 |
A demo web browser engine written in Haskell |
| 263 |
65 |
63 |
18 days ago |
pandoc-citeproc/305 |
Library and executable for using citeproc with pandoc |
| 262 |
8 |
0 |
6 years ago |
z/306 |
A strict, impure, curried, partially applied programming language with rather peculiar syntax. |
| 261 |
18 |
0 |
3 years ago |
lit/307 |
A modern tool for literate programming |
| 261 |
15 |
4 |
5 years ago |
Hubris/308 |
Bridge from Ruby to Haskell |
| 259 |
51 |
21 |
3 months ago |
monad-bayes/309 |
A library for probabilistic programming in Haskell. |
| 259 |
142 |
142 |
6 days ago |
containers/310 |
Assorted concrete container types |
| 259 |
32 |
6 |
5 months ago |
scalpel/311 |
A high level web scraping library for Haskell. |
| 259 |
43 |
6 |
6 months ago |
servant-persistent/312 |
A brief example of Servant with Persistent |
| 258 |
6 |
0 |
7 years ago |
Sirea/313 |
Simply Reactive! Declarative orchestration in Haskell using RDP |
| 257 |
17 |
51 |
1 year, 8 months ago |
haskell-tools/314 |
Developer tools for Haskell |
| 257 |
39 |
67 |
3 months ago |
Frames/315 |
Data frames for tabular data. |
| 256 |
19 |
25 |
4 years ago |
haskell-tor/316 |
A Haskell implementation of the Tor protocol. |
| 254 |
8 |
1 |
5 months ago |
holmes/317 |
A reference library for constraint-solving with propagators and CDCL. |
| 254 |
20 |
0 |
3 years ago |
haskell-course/318 |
Introductory Haskell course materials (originally CIS 194 @ UPenn) |
| 253 |
35 |
18 |
5 days ago |
termonad/319 |
Terminal emulator configurable in Haskell. |
| 253 |
6 |
1 |
5 months ago |
api.unverified.email/320 |
A service to help with testing of sending the right emails |
| 253 |
23 |
0 |
1 year, 11 months ago |
dth/321 |
Examples of Dependently-typed programs in Haskell |
| 252 |
64 |
40 |
10 months ago |
statistics/322 |
A fast, high quality library for computing with statistics in Haskell. |
| 250 |
31 |
2 |
3 years ago |
dotfiles-tilingwm/323 |
Tiling window manager related files (XMonad / i3) including configuration for components that create a good, minimal desktop-environment replacement. |
| 249 |
36 |
22 |
2 days ago |
morpheus-graphql/324 |
Haskell GraphQL Api, Client and Tools |
| 248 |
20 |
14 |
4 months ago |
halive/325 |
Live recompiler for Haskell |
| 247 |
25 |
27 |
4 months ago |
husk-scheme/326 |
A full implementation of the Scheme programming language for the Haskell Platform. |
| 246 |
146 |
26 |
20 days ago |
network/327 |
Low-level networking interface |
| 244 |
29 |
15 |
2 months ago |
csound-expression/328 |
Haskell Framework for Electronic Music |
| 243 |
6 |
0 |
6 years ago |
typo/329 |
A programming language that runs in Haskell's type system. |
| 243 |
24 |
5 |
2 years ago |
hue-dashboard/330 |
A web interface for monitoring and controlling Philips Hue lights |
| 243 |
53 |
29 |
21 days ago |
acid-state/331 |
Add ACID guarantees to any serializable Haskell data structure |
| 241 |
26 |
14 |
8 months ago |
haskanoid/332 |
A breakout game in Haskell using SDL and FRP, with Wiimote and Kinect support. |
| 241 |
33 |
20 |
3 days ago |
singletons/333 |
Fake dependent types in Haskell using singletons |
| 241 |
65 |
51 |
9 days ago |
keter/334 |
Web app deployment manager |
| 239 |
43 |
9 |
18 days ago |
inline-c/335 |
None |
| 238 |
31 |
14 |
7 days ago |
microlens/336 |
A lightweight (but compatible with ‘lens’) lenses library |
| 238 |
18 |
2 |
3 years ago |
atom/337 |
A DSL for embedded hard realtime applications. |
| 237 |
7 |
3 |
8 months ago |
silica/338 |
optics for Haskell with the most amazing type errors you've seen |
| 237 |
13 |
10 |
6 months ago |
airship/339 |
Helium + Webmachine = Airship. A toolkit for building declarative, RESTful web apps. |
| 237 |
19 |
17 |
1 year, 5 months ago |
frp-arduino/340 |
Arduino programming without the hassle of C. |
| 234 |
45 |
32 |
2 months ago |
Vinyl/341 |
Extensible Records for Haskell. Pull requests welcome! Come visit us on #vinyl on freenode. |
| 233 |
41 |
15 |
2 months ago |
mtl/342 |
The Monad Transformer Library |
| 233 |
6 |
0 |
8 months ago |
sjsp/343 |
Simple JavaScript Profiler |
| 232 |
15 |
8 |
1 year, 2 months ago |
three-layer/344 |
3️⃣ 🍰 Architecture of the Haskell web applications |
| 232 |
20 |
3 |
27 days ago |
postgres-websockets/345 |
PostgreSQL + Websockets |
| 231 |
20 |
14 |
5 months ago |
gi-gtk-declarative/346 |
Declarative GTK+ programming in Haskell |
| 231 |
8 |
3 |
an hour ago |
espial/347 |
Espial is an open-source, web-based bookmarking server. |
| 230 |
7 |
1 |
6 months ago |
smalltt/348 |
Demo for high-performance type theory elaboration |
| 230 |
39 |
23 |
4 days ago |
recursion-schemes/349 |
Generalized bananas, lenses and barbed wire |
| 230 |
105 |
64 |
2 months ago |
text/350 |
An efficient packed, immutable Unicode text type for Haskell, with a powerful loop fusion optimization framework. |
| 230 |
15 |
6 |
3 years ago |
hbro/351 |
[Unmaintained] A minimal web-browser written and configured in Haskell. |
| 230 |
258 |
30 |
53 minutes ago |
learn4haskell/352 |
👩🏫 👨🏫 Learn Haskell basics in 4 pull requests |
| 229 |
7 |
13 |
3 years ago |
record/353 |
Anonymous records |
| 228 |
81 |
49 |
4 months ago |
gogol/354 |
A comprehensive Google Services SDK for Haskell. |
| 228 |
28 |
27 |
3 years ago |
combinatorrent/355 |
A bittorrent client written in Haskell |
| 227 |
17 |
1 |
5 hours ago |
haskell/356 |
A curated list of awesome things related to Haskell. |
| 227 |
42 |
12 |
7 days ago |
vty/357 |
A high-level ncurses alternative written in Haskell |
| 227 |
16 |
41 |
1 year, 4 months ago |
magic-haskell/358 |
魔力haskell官方网站 |
| 226 |
46 |
27 |
7 months ago |
psc-package/359 |
A package manager for PureScript based on package sets |
| 224 |
21 |
13 |
7 years ago |
pronk/360 |
A small command line application for load testing web servers. Think of it as similar to httperf or ab, only more modern and simpler to deal with. |
| 222 |
26 |
23 |
1 year, 8 months ago |
ohaskell.guide/361 |
Ваша первая книга о языке Haskell |
| 220 |
20 |
1 |
5 years ago |
cheatsheet/362 |
A Haskell CheatSheet in PDF and literate source formats. |
| 220 |
26 |
1 |
5 months ago |
lucid/363 |
Clear to write, read and edit DSL for writing HTML |
| 221 |
35 |
0 |
27 days ago |
1HaskellADay/364 |
None |
| 219 |
12 |
0 |
2 years ago |
nstack/365 |
Type-safe, composable microservices for data analytics |
| 219 |
12 |
0 |
5 years ago |
summer-2015-haskell-class/366 |
Summer 2015 Haskell Class |
| 219 |
100 |
42 |
7 months ago |
aws/367 |
Amazon Web Services for Haskell |
| 218 |
21 |
22 |
2 months ago |
prettyprinter/368 |
A modern, extensible and well-documented prettyprinter. |
| 218 |
32 |
13 |
4 months ago |
haskell-relational-record/369 |
This repository includes a joined query generator based on typefull relational algebra, and mapping tools between SQL values list and Haskell record type. |
| 217 |
13 |
2 |
2 years ago |
owlcloud/370 |
OwnCloud for owls done via The Microservice Architecture |
| 217 |
16 |
1 |
3 years ago |
mmaclone/371 |
A simple Wolfram Language clone in Haskell |
| 216 |
70 |
54 |
2 years ago |
elm-package/372 |
Command line tool to share Elm libraries |
| 216 |
30 |
25 |
4 years ago |
twidge/373 |
Command-line twitter/identica client [Haskell] |
| 215 |
34 |
31 |
a month ago |
tagsoup/374 |
Haskell library for parsing and extracting information from (possibly malformed) HTML/XML documents |
| 212 |
89 |
9 |
1 year, 8 months ago |
lets-lens/375 |
Course material for lens |
| 211 |
26 |
2 |
7 years ago |
par-tutorial/376 |
A tutorial on Parallel and Concurrent Haskell |
| 211 |
23 |
12 |
a month ago |
aws-lambda-haskell-runtime/377 |
⚡Haskell runtime for AWS Lambda |
| 210 |
5 |
1 |
11 months ago |
givegif/378 |
GIFs on the command line |
| 209 |
30 |
1 |
3 years ago |
haskelldocumentation/379 |
Repository for collaborative Haskell documentation |
| 205 |
16 |
13 |
2 years ago |
ermine/380 |
The Ermine Programming Language - Join us on irc.freenode.net #ermine |
| 205 |
4 |
13 |
2 years ago |
inline-rust/381 |
Use snippets of Rust inline in your Haskell programs |
| 204 |
75 |
77 |
a month ago |
postgresql-simple/382 |
Mid-level client library for accessing PostgreSQL from Haskell |
| 204 |
20 |
6 |
2 years ago |
hi/383 |
Generate scaffold for a Haskell project |
| 203 |
114 |
48 |
26 days ago |
cabal2nix/384 |
Generate Nix build instructions from a Cabal file |
| 203 |
40 |
39 |
1 year, 8 months ago |
hadrian/385 |
Hadrian: a new build system for the Glasgow Haskell Compiler. Now merged into the GHC tree! |
| 204 |
25 |
0 |
1 year, 9 months ago |
quine/386 |
haskell, opengl, toy project |
| 200 |
46 |
22 |
a month ago |
Juicy.Pixels/387 |
Haskell library to load & save pictures |
| 200 |
7 |
3 |
2 years ago |
thesis/388 |
Richard A. Eisenberg's PhD Dissertation |
| 198 |
16 |
7 |
a month ago |
nvim-hs/389 |
Neovim API for Haskell plugins as well as the plugin provider |
| 198 |
61 |
25 |
5 months ago |
alex/390 |
A lexical analyser generator for Haskell |
| 197 |
20 |
3 |
3 years ago |
antigen-hs/391 |
A fast zsh plugin manager |
| 197 |
15 |
19 |
26 days ago |
quickspec/392 |
Equational laws for free |
| 196 |
16 |
4 |
1 year, 3 months ago |
9m/393 |
9m Unicode URL Shortener |
| 195 |
16 |
4 |
2 days ago |
serverless-haskell/394 |
Deploying Haskell applications to AWS Lambda with Serverless |
| 195 |
42 |
29 |
5 months ago |
blaze-html/395 |
A blazingly fast HTML combinator library for Haskell. |
| 194 |
75 |
27 |
14 days ago |
snap-server/396 |
A fast HTTP server library, which runs Snap web handlers. |
| 193 |
12 |
28 |
6 months ago |
quickcheck-state-machine/397 |
Test monadic programs using state machine based models |
| 192 |
83 |
69 |
6 days ago |
unordered-containers/398 |
Efficient hashing-based container types |
| 192 |
4 |
20 |
8 hours ago |
wasp/399 |
A programming language that understands what a web app is. |
| 191 |
4 |
26 |
14 days ago |
amulet/400 |
An ML-like functional programming language |
| 191 |
12 |
13 |
6 days ago |
inline-java/401 |
Haskell/Java interop via inline Java code in Haskell modules. |
| 191 |
14 |
24 |
4 months ago |
pp/402 |
PP - Generic preprocessor (with pandoc in mind) - macros, literate programming, diagrams, scripts... |
| 190 |
17 |
4 |
10 years ago |
Algorithm-W-Step-By-Step/403 |
Classic Algorithm W for type inference. |
| 190 |
9 |
17 |
20 days ago |
hal/404 |
hal provides an AWS Lambda Custom Runtime environment for your Haskell applications. |
| 190 |
152 |
41 |
a month ago |
http-client/405 |
An HTTP client engine, intended as a base layer for more user-friendly packages. |
| 190 |
37 |
21 |
a month ago |
co-log/406 |
📓 Flexible and configurable modern #Haskell logging framework |
| 189 |
44 |
20 |
1 year, 7 months ago |
QuickFuzz/407 |
An experimental grammar fuzzer in Haskell using QuickCheck |
| 189 |
43 |
2 |
a month ago |
ruhaskell/408 |
Главный сайт сообщества |
| 189 |
67 |
75 |
a day ago |
tamarin-prover/409 |
Main source code repository of the Tamarin prover for security protocol verification. |
| 187 |
2 |
0 |
1 year, 4 months ago |
dynamic/410 |
Dynamic typing in Haskell |
| 186 |
89 |
50 |
2 months ago |
cryptonite/411 |
lowlevel set of cryptographic primitives for haskell |
| 186 |
93 |
50 |
6 months ago |
cassava/412 |
A CSV parsing and encoding library optimized for ease of use and high performance |
| 186 |
81 |
98 |
4 months ago |
haskell-src-exts/413 |
Manipulating Haskell source: abstract syntax, lexer, parser, and pretty-printer |
| 186 |
18 |
1 |
27 days ago |
guanxi/414 |
Relational programming in Haskell. Mostly developed on twitch. |
| 185 |
14 |
1 |
3 years ago |
idris-erlang/415 |
Erlang Backend for Idris Compiler |
| 185 |
9 |
9 |
4 months ago |
freer-simple/416 |
A friendly effect system for Haskell |
| 186 |
14 |
7 |
5 months ago |
lhc/417 |
The LLVM LHC Haskell Optimization System |
| 185 |
5 |
17 |
5 months ago |
nixfmt/418 |
A formatter for Nix code |
| 183 |
22 |
9 |
7 days ago |
Haskell-Optparse-Generic-Library/419 |
Auto-generate a command-line parser for your datatype |
| 182 |
6 |
14 |
3 months ago |
copilot/420 |
A stream-based runtime-verification framework for generating hard real-time C code. |
| 182 |
51 |
24 |
3 days ago |
haskell-lsp/421 |
Haskell library for the Microsoft Language Server Protocol |
| 182 |
7 |
2 |
12 days ago |
muesli/422 |
An alternative approach to food |
| 181 |
21 |
0 |
6 years ago |
lex-pass/423 |
manipulate a php codebase using haskell to transform the abstract-syntax-tree |
| 180 |
5 |
10 |
5 years ago |
HerbiePlugin/424 |
GHC plugin that improves Haskell code's numerical stability |
| 179 |
12 |
3 |
2 years ago |
android-lint-summary/425 |
Prettier display of Android Lint issues |
| 180 |
34 |
18 |
3 months ago |
hint/426 |
Runtime Haskell interpreter |
| 179 |
48 |
13 |
7 years ago |
scion/427 |
OLD, DEPRECATED: Use this instead https://github.com/haskell/haskell-ide-engine |
| 179 |
62 |
18 |
1 year, 1 month ago |
haskell-telegram-api/428 |
Telegram Bot API for Haskell |
| 179 |
14 |
0 |
2 years ago |
lambdacube-edsl/429 |
Previous version of LambdaCube 3D as Embedded Domain Specific Language in Haskell. Check the latest system: |
| 178 |
47 |
29 |
2 years ago |
elm-make/430 |
A build tool for Elm projects |
| 178 |
50 |
42 |
4 years ago |
esqueleto/431 |
Bare bones, type-safe EDSL for SQL queries on persistent backends. |
| 177 |
6 |
3 |
3 days ago |
cmt/432 |
Write consistent git commit messages based on a custom template |
| 177 |
15 |
3 |
3 months ago |
Haskell-Typed-Spreadsheet-Library/433 |
Typed and composable spreadsheets |
| 177 |
46 |
27 |
1 year, 1 month ago |
hdevtools/434 |
REPO UNMAINTAINED!!! Try this: https://github.com/hdevtools/hdevtools/ |
| 177 |
15 |
0 |
3 years ago |
unit-test-example/435 |
Unit test example for Haskell |
| 176 |
20 |
26 |
2 years ago |
legacy-old-hercules/436 |
Abandoned |
| 176 |
43 |
7 |
11 months ago |
yesod-cookbook/437 |
Cookbook documentation |
| 175 |
43 |
27 |
12 days ago |
haskell-gi/438 |
Generate Haskell bindings for GObject-Introspection capable libraries |
| 175 |
59 |
36 |
19 days ago |
happy/439 |
The Happy parser generator for Haskell |
| 174 |
97 |
23 |
3 months ago |
stack-templates/440 |
Project templates for stack new |
| 174 |
36 |
9 |
4 years ago |
PortFusion/441 |
Haskell-powered cross-platform transport-layer distributed reverse / forward proxy & tunneling solution – currently available for all TCP protocols (RDP, VNC, HTTP(S), SSH, ...). |
| 174 |
25 |
0 |
1 year, 6 months ago |
glambda/442 |
The home of the Glamorous Glambda interpreter |
| 173 |
7 |
2 |
a day ago |
gotta-go-fast/443 |
A command line utility for practicing typing and measuring your WPM and accuracy. |
| 173 |
34 |
55 |
2 years ago |
elm-repl/444 |
A REPL for Elm |
| 172 |
21 |
13 |
21 hours ago |
pretty-simple/445 |
pretty-printer for Haskell data types that have a Show instance |
| 170 |
4 |
0 |
5 years ago |
gifstream/446 |
Make interactive games in Haskell using GIF streams that can be shown in the web browser |
| 169 |
6 |
6 |
5 days ago |
elaboration-zoo/447 |
Minimal implementations for dependent type checking and elaboration |
| 169 |
4 |
145 |
a day ago |
juvix/448 |
A more elegant language for a more civilized age. |
| 169 |
9 |
1 |
1 year, 5 months ago |
foldilocks/449 |
Tutorial using ghci to make folds easier. Come for the tutorial, stay for the fold puns. |
| 167 |
65 |
21 |
1 year, 3 months ago |
hs-webdriver/450 |
A Haskell client for the Selenium WebDriver protocol. |
| 167 |
15 |
11 |
17 days ago |
floskell/451 |
Floskell is a flexible Haskell source code pretty printer. |
| 167 |
6 |
6 |
7 days ago |
mu-haskell/452 |
Mu (μ) is a purely functional framework for building micro services. |
| 167 |
27 |
1 |
10 years ago |
c-repl/453 |
a C read-eval-print loop (abandoned) |
| 167 |
35 |
2 |
5 days ago |
geordi/454 |
IRC C++ eval bot |
| 166 |
10 |
0 |
1 year, 3 months ago |
auto/455 |
Haskell DSL and platform providing denotational, compositional api for discrete-step, locally stateful, interactive programs, games & automations. http://hackage.haskell.org/package/auto |
| 166 |
24 |
6 |
3 years ago |
graphql-haskell/456 |
Haskell GraphQL implementation |
| 166 |
40 |
66 |
a month ago |
c2hs/457 |
c2hs is a pre-processor for Haskell FFI bindings to C libraries |
| 166 |
10 |
2 |
2 years ago |
ghc-hotswap/458 |
Example code for how we swap compiled code within a running Haskell process. |
| 165 |
144 |
8 |
3 years ago |
learn-you-a-haskell-exercises/459 |
None |
| 164 |
11 |
0 |
2 years ago |
dino-rush/460 |
🌋 Endless runner game |
| 164 |
9 |
6 |
a month ago |
capability/461 |
Extensional capabilities and deriving combinators |
| 164 |
30 |
63 |
13 days ago |
smos/462 |
A comprehensive self-management System |
| 164 |
18 |
1 |
1 year, 8 months ago |
ddc/463 |
The Disco Discus Compiler |
| 162 |
10 |
1 |
1 year, 7 months ago |
dhc/464 |
Compiles Haskell to WebAssembly |
| 162 |
8 |
14 |
10 months ago |
HaskellSpriteKit/465 |
Haskell binding to Apple's SpriteKit framework |
| 162 |
45 |
18 |
5 days ago |
linear/466 |
Low-dimensional linear algebra primitives for Haskell. |
| 162 |
13 |
1 |
3 years ago |
idris-php/467 |
Yes, really... |
| 162 |
33 |
13 |
6 months ago |
codex/468 |
A ctags file generator for cabal/stack project dependencies. |
| 162 |
15 |
16 |
3 months ago |
dejafu/469 |
Systematic concurrency testing meets Haskell. |
| 162 |
38 |
20 |
a month ago |
groundhog/470 |
This library maps datatypes to a relational model, in a way similar to what ORM libraries do in OOP. See the tutorial https://www.schoolofhaskell.com/user/lykahb/groundhog for introduction |
| 161 |
9 |
2 |
8 months ago |
tinyjit/471 |
Haskell JIT |
| 161 |
4 |
3 |
1 year, 1 month ago |
frank/472 |
Frank compiler |
| 160 |
24 |
4 |
8 days ago |
extensible-effects/473 |
Extensible Effects: An Alternative to Monad Transformers |
| 159 |
16 |
2 |
6 years ago |
HaskellStarter/474 |
A project that demonstrates getting up and running with Haskell. |
| 159 |
12 |
2 |
4 years ago |
hask/475 |
Category theory for Haskell with a lens flavor (you need GHC 7.8.3, not 7.8.2 to build this!) |
| 159 |
45 |
25 |
a month ago |
gRPC-haskell/476 |
Haskell gRPC support |
| 158 |
31 |
0 |
4 years ago |
pearls/477 |
Pearls of Functional Algorithm Design by Richard Bird - Haskell Code |
| 158 |
48 |
11 |
a month ago |
katip/478 |
A structured logging framework for Haskell |
| 157 |
53 |
32 |
11 days ago |
haskeline/479 |
A Haskell library for line input in command-line programs. |
| 157 |
40 |
12 |
1 year, 3 months ago |
Euterpea2/480 |
Euterpea version 2 |
| 156 |
52 |
21 |
22 days ago |
HTTP/481 |
Haskell HTTP package |
| 156 |
43 |
18 |
10 days ago |
herms/482 |
🍲🍴 A command-line manager for delicious kitchen recipes |
| 157 |
37 |
11 |
7 months ago |
Lol/483 |
Λ ⚬ λ: Functional Lattice Cryptography |
| 156 |
84 |
49 |
a day ago |
bytestring/484 |
An efficient compact, immutable byte string type (both strict and lazy) suitable for binary or 8-bit character data. |
| 155 |
9 |
7 |
26 days ago |
music-suite/485 |
Music in Haskell |
| 155 |
3 |
1 |
1 year, 5 months ago |
proofsweeper/486 |
Play Minesweeper by formally proving your moves in Idris |
| 155 |
78 |
107 |
2 months ago |
gtk2hs/487 |
GUI library for Haskell based on GTK+ |
| 154 |
2 |
16 |
1 year, 4 months ago |
compiler/488 |
The compiler for Keli |
| 154 |
9 |
3 |
6 years ago |
shade/489 |
Interactive, client-side web apps in Haskell |
| 153 |
41 |
26 |
19 days ago |
texmath/490 |
A Haskell library for converting LaTeX math to MathML. |
| 153 |
23 |
25 |
2 months ago |
haskell-phrasebook/491 |
The Haskell Phrasebook: a quick intro to Haskell via small annotated example programs |
| 153 |
3 |
0 |
2 years ago |
elm-beam/492 |
Exploring Elm on the Erlang VM |
| 152 |
21 |
3 |
1 year, 11 months ago |
haskell-scotty-realworld-example-app/493 |
Exemplary real world backend API built with Haskell/Scotty https://realworld.io |
| 152 |
63 |
36 |
2 days ago |
servant-auth/494 |
None |
| 151 |
17 |
11 |
1 year, 8 months ago |
styx/495 |
A nix-based Haskell project manager |
| 151 |
39 |
23 |
1 year, 2 months ago |
gitlib/496 |
None |
| 151 |
12 |
3 |
3 months ago |
backprop/497 |
Heterogeneous automatic differentiation ("backpropagation") in Haskell |
| 151 |
8 |
1 |
2 years ago |
shentong/498 |
A Haskell implementation of the Shen programming language. |
| 151 |
15 |
6 |
6 months ago |
higgledy/499 |
Higher-kinded data via generics |
| 151 |
7 |
0 |
4 months ago |
flow/500 |
💧 Write more understandable Haskell. |
| 151 |
27 |
47 |
5 years ago |
cabal-dev/501 |
A wrapper program around cabal and cabal-install that maintains sandboxed build environments. |
| 151 |
11 |
4 |
9 days ago |
alfred-margaret/502 |
Fast Aho-Corasick string searching |
| 150 |
65 |
36 |
a month ago |
lambdabot/503 |
A friendly IRC bot and apprentice coder, written in Haskell. |
| 150 |
42 |
25 |
2 months ago |
fgl/504 |
A Functional Graph Library for Haskell |
| 149 |
18 |
8 |
21 days ago |
stratosphere/505 |
Haskell EDSL and type-checker for AWS CloudFormation templates |
| 149 |
9 |
0 |
6 months ago |
blackstar/506 |
A black hole raytracer written in Haskell |
| 149 |
5 |
1 |
1 year, 2 months ago |
codec-beam/507 |
Generate Erlang VM byte code from Haskell |
| 148 |
9 |
29 |
2 days ago |
Allure/508 |
Allure of the Stars is a near-future Sci-Fi roguelike and tactical squad combat game written in Haskell; please offer feedback, e.g., after trying out the web frontend version at |
| 148 |
43 |
20 |
6 hours ago |
HaTeX/509 |
The Haskell LaTeX library. |
| 147 |
5 |
0 |
2 years ago |
ditto/510 |
A Super Kawaii Dependently Typed Programming Language |
| 147 |
47 |
6 |
5 months ago |
twitter-conduit/511 |
Twitter API package for Haskell, including enumerator interfaces and Streaming API supports. |
| 147 |
13 |
4 |
a month ago |
TypedFlow/512 |
Typed frontend to TensorFlow and higher-order deep learning |
| 146 |
6 |
0 |
1 year, 1 month ago |
tiny-optimising-compiler/513 |
A tiny optimising compiler for an imperative programming language written in haskell |
| 145 |
46 |
2 |
1 year, 6 months ago |
haskell-exercises/514 |
Haskell exercises with automatic tests |
| 145 |
7 |
10 |
1 year, 11 months ago |
haskell-game-programming/515 |
A central repository of Haskell Game Programming resources, put together by Keera Studios |
| 145 |
13 |
6 |
11 months ago |
coda/516 |
A language experiment -- irc.freenode.net ##coda |
| 145 |
5 |
13 |
2 months ago |
blip/517 |
A bytecode compiler for Python 3 |
| 145 |
6 |
4 |
2 years ago |
zero-to-quake-3/518 |
Implementing Quake 3 in Haskell & Vulkan |
| 145 |
6 |
1 |
1 year, 5 months ago |
deli/519 |
None |
| 145 |
20 |
7 |
4 years ago |
zeromq-haskell/520 |
This repository has been moved to https://gitlab.com/twittner/zeromq-haskell |
| 145 |
39 |
16 |
a day ago |
haskell-opencv/521 |
Haskell binding to OpenCV-3.x |
| 143 |
68 |
19 |
a month ago |
stripe/522 |
💰 Stripe API |
| 144 |
14 |
45 |
3 months ago |
ff/523 |
A distributed note taker and task manager. |
| 144 |
14 |
1 |
3 years ago |
hulk/524 |
Haskell IRC daemon. |
| 143 |
18 |
11 |
3 months ago |
pdf-toolbox/525 |
A collection of tools for processing PDF files in Haskell |
| 143 |
6 |
1 |
22 days ago |
hascard/526 |
flashcard TUI with markdown cards |
| 143 |
7 |
2 |
2 years ago |
caledon/527 |
higher order dependently typed logic programing |
| 143 |
32 |
51 |
11 days ago |
nixpkgs-update/528 |
Updating nixpkgs packages since 2018 |
| 143 |
6 |
2 |
10 months ago |
pie-hs/529 |
An implementation of Pie in Haskell |
| 143 |
1 |
2 |
24 days ago |
finkel/530 |
Haskell in S-expression |
| 143 |
4 |
0 |
3 years ago |
rei/531 |
Process lists easily |
| 143 |
27 |
2 |
1 year, 2 months ago |
engine.io/532 |
A Haskell server implementation of the Engine.IO and Socket.IO (1.0) protocols |
| 142 |
16 |
4 |
2 months ago |
inspection-testing/533 |
Inspection Testing for Haskell |
| 142 |
14 |
0 |
3 months ago |
full-fledged-hledger/534 |
Tutorial on Hledger setup with multi-year files, multi-source imports and a range of auto-generated reports |
| 142 |
66 |
47 |
4 months ago |
digestive-functors/535 |
A general way to consume input using applicative functors |
| 142 |
4 |
0 |
7 months ago |
duet/536 |
A tiny language, a subset of Haskell aimed at aiding teachers teach Haskell |
| 142 |
7 |
1 |
5 years ago |
chips/537 |
A clone of Chips Challenge in Haskell |
| 142 |
3 |
5 |
a day ago |
fregot/538 |
Fugue Rego Toolkit |
| 141 |
59 |
34 |
a month ago |
cborg/539 |
Binary serialisation in the CBOR format |
| 141 |
45 |
14 |
5 months ago |
servant-elm/540 |
Automatically derive Elm functions to query servant webservices |
| 141 |
13 |
1 |
1 year, 4 months ago |
cellularAutomata/541 |
a collection of cellular automata written in Haskell with Diagrams |
| 141 |
17 |
30 |
3 years ago |
language-c-inline/542 |
Inline C & Objective-C in Haskell |
| 141 |
4 |
2 |
7 years ago |
visi/543 |
The Visi Language and iPad IDE |
| 140 |
30 |
2 |
6 months ago |
AoPL/544 |
A book on programming languages, using Haskell |
| 140 |
6 |
11 |
a month ago |
keera-hails/545 |
Keera Hails: Haskell on Rails - Reactive Programming Framework for Interactive Haskell applications |
| 140 |
5 |
3 |
16 days ago |
sixty/546 |
Dependent type checker using normalisation by evaluation |
| 139 |
16 |
9 |
4 hours ago |
DSLsofMath/547 |
Domain Specific Languages of Mathematics |
| 139 |
17 |
2 |
2 years ago |
redo/548 |
djb's redo implementation in Haskell (for Haskell from Scratch video series) |
| 139 |
30 |
4 |
3 days ago |
formatting/549 |
Format strings type-safely with combinators |
| 138 |
9 |
10 |
7 months ago |
diagrams/550 |
Embedded domain-specific language for declarative vector graphics (wrapper package) |
| 138 |
9 |
1 |
5 years ago |
BigPixel/551 |
Pixel art for games |
| 138 |
10 |
1 |
5 years ago |
Copilot/552 |
A (Haskell DSL) stream language for generating hard real-time C code. |
| 138 |
13 |
2 |
7 months ago |
transient-universe/553 |
A Cloud monad based on transient for the creation of Web and reactive distributed applications that are fully composable, where Web browsers are first class nodes in the cloud |
| 137 |
14 |
8 |
2 years ago |
grpc-haskell/554 |
gRPC library binding for Haskell. |
| 137 |
12 |
1 |
4 years ago |
aws-lambda-haskell/555 |
Running Haskell code on AWS Lambda |
| 137 |
12 |
12 |
3 days ago |
curl-runnings/556 |
A declarative test framework for quickly and easily writing integration tests against JSON API's. |
| 137 |
9 |
4 |
2 years ago |
ComonadSheet/557 |
A library for expressing "spreadsheet-like" computations with absolute and relative references, using fixed-points of n-dimensional comonads. |
| 136 |
37 |
5 |
6 years ago |
critbit/558 |
A Haskell implementation of crit-bit trees. |
| 136 |
14 |
19 |
3 hours ago |
macaw/559 |
Open source binary analysis tools. |
| 136 |
22 |
12 |
3 months ago |
GPipe-Core/560 |
Core library of new GPipe, encapsulating OpenGl and providing a type safe minimal library |
| 136 |
45 |
15 |
6 months ago |
language-javascript/561 |
Parser for JavaScript, in Haskell |
| 136 |
6 |
1 |
1 year, 11 months ago |
ghc-proofs/562 |
Let GHC prove program equations for you |
| 135 |
17 |
7 |
a month ago |
arbtt/563 |
arbtt, the automatic rule-based time-tracker |
| 134 |
61 |
15 |
10 days ago |
logger/564 |
A fast logging system for Haskell |
| 134 |
41 |
31 |
4 years ago |
llvm-general/565 |
Rich LLVM bindings for Haskell (with transfer of LLVM IR to and from C++, detailed compilation pass control, etc.) |
| 134 |
24 |
19 |
1 year, 4 months ago |
OpenGL/566 |
Haskell bindings to OpenGL |
| 134 |
27 |
19 |
3 days ago |
generics-sop/567 |
Generic Programming using True Sums of Products |
| 134 |
18 |
3 |
a month ago |
haskellers/568 |
haskellers.com site |
| 133 |
16 |
9 |
2 years ago |
bake/569 |
UNMAINTAINED: Continuous integration server |
| 133 |
18 |
53 |
2 years ago |
dyna/570 |
Dyna2 compiler and REPL |
| 133 |
13 |
13 |
6 months ago |
json-autotype/571 |
Automatic Haskell type inference from JSON input |
| 133 |
10 |
0 |
4 years ago |
haskeleton/572 |
💀 A Haskell package skeleton. |
| 132 |
19 |
9 |
4 years ago |
lambda-ccc/573 |
Convert lambda expressions to CCC combinators |
| 132 |
30 |
5 |
29 days ago |
accelerate-llvm/574 |
LLVM backend for Accelerate |
| 132 |
28 |
45 |
1 year, 4 months ago |
ajhc/575 |
A fork of jhc. And also a Haskell compiler. |
| 132 |
9 |
2 |
5 months ago |
elsa/576 |
Elsa is a lambda calculus evaluator |
| 132 |
4 |
3 |
1 year, 8 days ago |
cherchord/577 |
🎸 Find chords for any string instrument quicky & easily 🎸 |
| 131 |
1 |
1 |
3 years ago |
higher-order-unification/578 |
A small implementation of higher-order unification |
| 131 |
5 |
6 |
8 months ago |
plate/579 |
Principled schema system for JSON. Work in progress. |
| 131 |
31 |
25 |
3 years ago |
HaRe/580 |
The Haskell Refactoring Tool |
| 131 |
7 |
1 |
2 years ago |
redish/581 |
A multi-threaded, TCP, key-value store inspired by Redis implemented in Haskell. |
| 131 |
7 |
6 |
7 days ago |
git-mediate/582 |
Become a conflict resolution hero |
| 131 |
48 |
65 |
12 days ago |
pursuit/583 |
Website for hosting and searching PureScript API documentation |
| 130 |
7 |
3 |
11 months ago |
wc/584 |
Beating unix wc in Haskell |
| 130 |
21 |
0 |
2 months ago |
refined/585 |
Refinement types with static and runtime checking |
| 130 |
53 |
24 |
2 months ago |
mono-traversable/586 |
Type classes for mapping, folding, and traversing monomorphic containers |
| 129 |
10 |
43 |
a month ago |
hoodle/587 |
hoodle : A pen notetaking program written in haskell |
| 129 |
15 |
15 |
6 months ago |
numerical/588 |
Numerical is the core library for Numerical Haskell |
| 129 |
9 |
38 |
23 hours ago |
linear-base/589 |
Standard library for linear types in Haskell. |
| 129 |
5 |
38 |
8 months ago |
axel/590 |
Haskell + Lisp |
| 129 |
12 |
5 |
8 years ago |
haskelllive/591 |
Source code of the Haskell Live episodes. |
| 128 |
10 |
0 |
a month ago |
registry/592 |
Components as records of functions for Haskell |
| 128 |
20 |
34 |
10 months ago |
mafia/593 |
Provides protection against cabal swindling, robbing, injuring or sabotaging people with chopsticks. |
| 128 |
56 |
37 |
7 days ago |
free/594 |
free monads |
| 128 |
4 |
16 |
2 years ago |
idris-vimscript/595 |
Compile Idris to Vimscript, like you always wanted. |
| 128 |
10 |
0 |
4 years ago |
tal/596 |
An implementation of Typed Assembly Language (Morrisett, Walker, Crary, Glew) |
| 127 |
15 |
3 |
5 months ago |
envy/597 |
😠 Environmentally friendly environment variables |
| 127 |
22 |
28 |
a month ago |
universum/598 |
🌌 Prelude written in @Serokell |
| 127 |
10 |
0 |
27 days ago |
dotfiles/599 |
My main configuration files |
| 127 |
26 |
21 |
6 years ago |
configurator/600 |
A Haskell library supporting flexible, dynamic file-based configuration. |
| 127 |
26 |
21 |
6 years ago |
configurator/601 |
A Haskell library supporting flexible, dynamic file-based configuration. |
| 126 |
37 |
9 |
3 months ago |
hs-web3/602 |
Web3 API for Haskell. |
| 126 |
3 |
1 |
3 months ago |
Kei/603 |
A small and expressive dependently typed language |
| 126 |
9 |
13 |
2 years ago |
idris-cil/604 |
A Common Intermediate Language backend for Idris. |
| 126 |
15 |
21 |
5 months ago |
vimus/605 |
An MPD client with vim-like key bindings, written in Haskell |
| 126 |
37 |
18 |
a month ago |
mongodb/606 |
MongoDB driver for Haskell |
| 125 |
13 |
69 |
18 hours ago |
Carnap/607 |
A formal logic framework that runs in the browser |
| 125 |
9 |
2 |
7 months ago |
hamilton/608 |
Simulate physics on generalized coordinate systems using Hamiltonian Mechanics and automatic differentiation. Don't throw away your shot. |
| 125 |
22 |
22 |
2 months ago |
hsdev/609 |
Haskell development tool |
| 125 |
29 |
109 |
a day ago |
kore/610 |
The symbolic execution engine powering the K Framework |
| 125 |
45 |
45 |
a day ago |
cardano-wallet/611 |
HTTP server & command-line for managing UTxOs and HD wallets in Cardano. |
| 125 |
12 |
2 |
9 months ago |
slick/612 |
Static site generator built on Shake configured in Haskell |
| 124 |
9 |
10 |
3 months ago |
weeder/613 |
Detect dead exports or package imports |
| 124 |
11 |
41 |
8 months ago |
cql/614 |
CQL: Categorical Query Language implementation in Haskell |
| 124 |
10 |
3 |
3 years ago |
micro-ci/615 |
A tiny CI server built around GitHub and Nix |
| 124 |
47 |
17 |
4 days ago |
Haskell-Foldl-Library/616 |
Composable, streaming, and efficient left folds |
| 124 |
11 |
9 |
2 years ago |
typed-wire/617 |
Language independent type-safe communication |
| 124 |
18 |
17 |
2 years ago |
uhc/618 |
None |
| 124 |
9 |
0 |
8 months ago |
learn-physics/619 |
A library of functions for vector calculus, calculation of electric field, electric flux, magnetic field, and other quantities in mechanics and electromagnetic theory. |
| 124 |
11 |
5 |
7 years ago |
logitext/620 |
Beautiful, interactive visualizations of logical inference |
| 124 |
17 |
0 |
5 months ago |
example-servant-elm/621 |
Example for a web app with a servant backend and an elm frontend |
| 123 |
76 |
17 |
1 year, 1 day ago |
msgpack-haskell/622 |
Haskell implementation of MessagePack / msgpack.org[Haskell] |
| 123 |
18 |
14 |
4 years ago |
HandsomeSoup/623 |
Easy HTML parsing for Haskell |
| 123 |
12 |
1 |
1 year, 5 months ago |
smudge/624 |
A domain-specific language for state machines. |
| 123 |
23 |
25 |
2 months ago |
streaming/625 |
An optimized general monad transformer for streaming applications, with a simple prelude of functions |
| 123 |
12 |
0 |
4 years ago |
datagraph/626 |
None |
| 122 |
8 |
0 |
6 years ago |
Botworld/627 |
A cellular automaton for studying self-modifying agents which are embedded in their environment |
| 122 |
30 |
2 |
a month ago |
repa/628 |
High performance, regular, shape polymorphic parallel arrays. |
| 121 |
17 |
6 |
10 months ago |
propagators/629 |
The Art of the Propagator. See also: |
| 121 |
30 |
19 |
6 years ago |
hsenv/630 |
Virtual Haskell Environment builder |
| 121 |
27 |
31 |
4 months ago |
ThreadScope/631 |
A graphical tool for profiling parallel Haskell programs |
| 121 |
4 |
1 |
1 year, 10 months ago |
master-plan/632 |
Project Management for Hackers |
| 120 |
12 |
4 |
2 years ago |
idris-py/633 |
Python backend for Idris (generates Python source, not bytecode). |
| 120 |
12 |
1 |
3 years ago |
haskell-sdl2-examples/634 |
SDL2 tutorial code in Haskell |
| 120 |
9 |
3 |
7 months ago |
cradle/635 |
Let's Build a Compiler (in Haskell) |
| 120 |
22 |
13 |
2 months ago |
zoomhub/636 |
Share and view high-resolution images effortlessly |
| 120 |
17 |
7 |
4 months ago |
mighttpd2/637 |
File/CGI web server on warp |
| 120 |
16 |
46 |
4 years ago |
ide-backend/638 |
ide-backend drives the GHC API to build, query, and run your code |
| 120 |
42 |
8 |
9 months ago |
configuration/639 |
Like some files bro |
| 119 |
72 |
24 |
a month ago |
shakespeare/640 |
Haml-like template files that are compile-time checked |
| 119 |
16 |
3 |
9 days ago |
sv2v/641 |
SystemVerilog to Verilog conversion |
| 119 |
43 |
13 |
24 days ago |
skylighting/642 |
A Haskell syntax highlighting library with tokenizers derived from KDE syntax highlighting descriptions |
| 119 |
12 |
6 |
3 years ago |
kontiki/643 |
An implementation of the Raft consensus protocol |
| 119 |
8 |
1 |
1 year, 11 months ago |
getting-started-with-haskell/644 |
notes on where to find Haskell tutorials and tips to complete them |
| 119 |
10 |
5 |
a month ago |
toysolver/645 |
My sandbox for experimenting solver algorithms. |
| 119 |
9 |
0 |
5 years ago |
cubical/646 |
Implementation of Univalence in Cubical Sets |
| 119 |
14 |
3 |
18 hours ago |
fakedata/647 |
Haskell Library for producing quality fake data |
| 119 |
1 |
1 |
a month ago |
calico/648 |
cat, but for colors 😼 |
| 119 |
12 |
0 |
5 years ago |
Neks/649 |
A dead simple networked key/value store |
| 119 |
8 |
0 |
2 years ago |
fugacious/650 |
An example Haskell web application |
| 119 |
6 |
2 |
11 months ago |
Paskell/651 |
A Pascal to LLVM compiler in Haskell |
| 119 |
29 |
39 |
1 year, 8 months ago |
nirum/652 |
Nirum: IDL compiler and RPC/distributed object framework for microservices |
| 118 |
13 |
10 |
3 months ago |
safe-money/653 |
Haskell library for type-safe and lossless encoding and manipulation of world currencies and precious metals |
| 118 |
5 |
7 |
5 years ago |
mote/654 |
None |
| 118 |
14 |
11 |
1 year, 17 days ago |
hfmt/655 |
Format Haskell programs. Inspired by the gofmt utility. |
| 118 |
5 |
0 |
2 years ago |
nn/656 |
A tiny neural network 🧠 |
| 118 |
8 |
8 |
2 hours ago |
ghc-lib/657 |
The GHC API, decoupled from GHC versions |
| 117 |
18 |
3 |
a month ago |
validity/658 |
Validity and validity-based testing |
| 117 |
49 |
20 |
3 years ago |
elm-export/659 |
Create Elm types and JSON decoders from Haskell source. |
| 117 |
3 |
3 |
4 months ago |
ghc-grin/660 |
GRIN backend for GHC |
| 117 |
14 |
0 |
2 years ago |
awesome-open-science/661 |
some links to projects/tools related to "open science". |
| 116 |
7 |
7 |
a month ago |
powerline-hs/662 |
A lightning fast reimplementation of the Powerline prompt generator in Haskell. |
| 116 |
29 |
31 |
10 months ago |
monad-par/663 |
None |
| 116 |
8 |
2 |
7 years ago |
wisp/664 |
small-but-featureful embeddable lisp interpreter written in haskell. |
| 116 |
3 |
0 |
5 years ago |
rust-haskell-ffi/665 |
Toy example of calling Rust from Haskell |
| 116 |
2 |
1 |
1 year, 11 months ago |
ghc-justdoit/666 |
A magic typeclass that just does it |
| 116 |
14 |
39 |
3 months ago |
fficxx/667 |
Haskell-C++ Foreign Function Interface Generator |
| 115 |
12 |
0 |
6 years ago |
1HAD/668 |
1 Haskell A Day exercises |
| 115 |
29 |
8 |
4 months ago |
amqp/669 |
Haskell AMQP client library |
| 115 |
7 |
4 |
1 year, 1 month ago |
magicbane/670 |
A web framework that integrates Servant, EKG, fast-logger, wai-cli… |
| 115 |
9 |
5 |
4 years ago |
elerea/671 |
A simple FRP library providing leak-free first-class streams. |
| 115 |
7 |
36 |
a month ago |
fragnix/672 |
Fragment-based code distribution! |
| 115 |
13 |
8 |
3 years ago |
neural/673 |
Neural Nets in native Haskell |
| 115 |
9 |
0 |
1 year, 6 months ago |
quantfin/674 |
quant finance in pure haskell |
| 114 |
13 |
4 |
5 years ago |
regex-genex/675 |
Given a list of regexes, generate all possible strings that matches all of them. |
| 114 |
8 |
1 |
10 months ago |
SitePipe/676 |
Yet another static site generator - non-opinionated, value-level. Less magic == easier to understand |
| 114 |
1 |
2 |
10 months ago |
lens-regex-pcre/677 |
Text lenses using PCRE regexes |
| 114 |
19 |
2 |
a month ago |
graphmod/678 |
A utility for displaying the module dependencies of Haskell programs. |
| 114 |
16 |
3 |
a month ago |
safe-exceptions/679 |
Safe, consistent, and easy exception handling |
| 113 |
15 |
8 |
7 months ago |
discrimination/680 |
Fast linear time sorting and discrimination for a large class of data types |
| 113 |
5 |
0 |
10 years ago |
Lemmachine/681 |
REST'ful web framework in Agda |
| 113 |
14 |
9 |
18 days ago |
Rasterific/682 |
A drawing engine in Haskell |
| 113 |
23 |
22 |
1 year, 3 months ago |
open/683 |
DiffusionKinetics open-source monorepo |
| 113 |
25 |
11 |
a month ago |
discord-haskell/684 |
Haskell library for writing Discord bots |
| 113 |
30 |
22 |
7 months ago |
hxt/685 |
Haskell XML Toolbox |
| 112 |
27 |
24 |
14 days ago |
iele-semantics/686 |
Semantics of Virtual Machine for IELE prototype blockchain |
| 112 |
7 |
0 |
5 months ago |
Compositional_Deep_Learning/687 |
Deep learning via category theory and functional programming |
| 112 |
4 |
5 |
a month ago |
fireward/688 |
A concise and readable language for Firestore security rules, similar to Firebase Bolt. |
| 112 |
13 |
43 |
2 months ago |
purebred/689 |
A terminal based mail user agent based on notmuch |
| 111 |
6 |
40 |
2 years ago |
pier/690 |
Yet another Haskell build system. |
| 111 |
39 |
15 |
a month ago |
arithmoi/691 |
Number theory: primes, arithmetic functions, modular computations, special sequences |
| 111 |
12 |
0 |
4 years ago |
minghc/692 |
DEPRECATED: Windows installer for GHC including msys |
| 111 |
14 |
0 |
3 years ago |
hnn/693 |
haskell neural network library |
| 111 |
54 |
56 |
7 months ago |
diagrams-lib/694 |
Diagrams standard library |
| 111 |
7 |
2 |
7 months ago |
nix-deploy/695 |
Deploy software or an entire NixOS system configuration to another NixOS system |
| 111 |
13 |
7 |
2 months ago |
smallcheck/696 |
smallcheck: test your Haskell code by exhaustively checking its properties |
| 111 |
28 |
15 |
30 days ago |
hashtables/697 |
Mutable hash tables for Haskell, in the ST monad |
| 110 |
9 |
5 |
25 days ago |
zephyr/698 |
Tree shaking breeze for PureScript CoreFn AST |
| 110 |
5 |
3 |
3 years ago |
SimpleFP-v2/699 |
A re-do of the SimpleFP repo using de Bruijn index ABTs instead of HOAS |
| 110 |
15 |
8 |
3 years ago |
docopt.hs/700 |
A command-line interface description language and parser that will make you smile |
| 110 |
12 |
0 |
7 years ago |
haskell-amuse-bouche/701 |
A short technical talk about some fun things in Haskell |
| 110 |
16 |
18 |
4 years ago |
blaze-react/702 |
A blaze-html style ReactJS binding for Haskell using GHCJS |
| 110 |
24 |
37 |
a month ago |
ngless/703 |
NGLess: NGS with less work |
| 110 |
39 |
13 |
2 days ago |
hoauth2/704 |
haskell oauth2 binding |
| 110 |
13 |
16 |
a month ago |
steeloverseer/705 |
A file watcher and development tool. |
| 110 |
9 |
6 |
2 years ago |
a-tour-of-go-in-haskell/706 |
Write "Concurrency" section of "A Tour of Go" in Haskell |
| 109 |
10 |
29 |
4 years ago |
ling/707 |
LINear LaNGuage: Type Theory and Process Calculi for Distributed and High-precision programming |
| 109 |
37 |
26 |
4 months ago |
path/708 |
Typed filepath |
| 109 |
19 |
24 |
4 months ago |
dunai/709 |
Classic and Arrowized Functional Reactive Programming, Reactive Programming, and Stream programming, all via Monadic Stream Functions |
| 109 |
2 |
1 |
8 months ago |
type-of-html/710 |
High performance type safe html generation |
| 109 |
20 |
5 |
11 days ago |
irc-core/711 |
Haskell IRC library and console client - Join us on Freenode #haskell-irc |
| 109 |
9 |
13 |
a month ago |
slownews/712 |
🐢 Bringing slow news for the nervous among us |
| 109 |
12 |
3 |
3 years ago |
hadron/713 |
Construct and run Hadoop MapReduce programs in Haskell |
| 109 |
29 |
16 |
an hour ago |
hfsnotify/714 |
Unified Haskell interface for basic file system notifications |
| 108 |
11 |
8 |
10 months ago |
guide/715 |
A workspace for research teams |
| 108 |
12 |
13 |
11 months ago |
unagi-chan/716 |
A haskell library implementing fast and scalable concurrent queues for x86, with a Chan-like API |
| 108 |
13 |
21 |
4 days ago |
sbv/717 |
SMT Based Verification in Haskell. Express properties about Haskell programs and automatically prove them using SMT solvers. |
| 108 |
21 |
4 |
5 months ago |
ted2srt/718 |
Download bilingual subtitles of TED talks |
| 108 |
26 |
7 |
2 years ago |
game-in-haskell/719 |
None |
| 108 |
38 |
19 |
20 days ago |
servant-swagger/720 |
Swagger for Servant |
| 108 |
17 |
1 |
3 months ago |
gressgraph/721 |
visualize your iptables firewall |
| 107 |
40 |
12 |
2 months ago |
xlsx/722 |
Simple and incomplete Excel file parser/writer |
| 107 |
10 |
19 |
2 years ago |
importify/723 |
👾 Importi.fy — it's like Uber, but for Haskell modules. |
| 107 |
2 |
2 |
2 years ago |
jsn/724 |
An absolutely simple & terse CLI app to manipulate JSON data |
| 107 |
5 |
19 |
3 months ago |
distributed-dataset/725 |
A distributed data processing framework in Haskell. |
| 107 |
42 |
4 |
4 days ago |
jaspervdj/726 |
Source code of my personal home page. |
| 107 |
14 |
4 |
3 months ago |
reflex-vty/727 |
Build terminal applications using functional reactive programming (FRP) with Reflex FRP. |
| 107 |
24 |
17 |
3 months ago |
hatrace/728 |
scriptable strace |
| 107 |
6 |
12 |
4 years ago |
luminance/729 |
Type-safe, type-level and stateless Haskell graphics framework |
| 106 |
9 |
8 |
2 months ago |
regex-applicative/730 |
Regex-based parsing with applicative interface |
| 106 |
5 |
3 |
3 years ago |
swift-haskell-tutorial/731 |
Integrating Haskell with Swift Mac Apps |
| 106 |
12 |
1 |
1 year, 1 month ago |
recursion-drill/732 |
Drill to study recursive programming in Haskell |
| 106 |
15 |
0 |
5 days ago |
rattletrap/733 |
🚗 Parse and generate Rocket League replays. |
| 106 |
3 |
3 |
a month ago |
hinc/734 |
Haskell In New Clothes |
| 106 |
18 |
14 |
30 days ago |
apply-refact/735 |
Refactor Haskell source files |
| 106 |
36 |
11 |
a month ago |
hw-kafka-client/736 |
Kafka client for Haskell, including auto-rebalancing consumers |
| 106 |
1 |
4 |
3 days ago |
purerl/737 |
Erlang backend for the PureScript compiler |
| 106 |
9 |
11 |
4 days ago |
rib/738 |
Haskell static site generator based on Shake, with a delightful development experience. |
| 105 |
13 |
2 |
7 years ago |
android-haskell-activity/739 |
An example of an Android Activity written in Haskell |
| 105 |
19 |
8 |
1 year, 22 days ago |
pointfree/740 |
Maintenance of the pointfree Hackage package. |
| 104 |
35 |
26 |
8 months ago |
llvm/741 |
Haskell bindings to the LLVM compiler infrastructure project. |
| 104 |
11 |
5 |
3 years ago |
dominion/742 |
A Dominion simulator in Haskell |
| 104 |
30 |
19 |
1 year, 12 days ago |
hdbc/743 |
Haskell Database Connectivity |
| 104 |
8 |
6 |
2 years ago |
oczor/744 |
Oczor is a simple statically typed language that compiles to JavaScript, Lua, Ruby and Emacs Lisp |
| 104 |
44 |
27 |
a month ago |
jsaddle/745 |
JavaScript interface that works with GHCJS or GHC |
| 104 |
24 |
36 |
22 hours ago |
stackage-server/746 |
Server for stable, curated Haskell package sets |
| 104 |
12 |
24 |
3 years ago |
streaming/747 |
An optimized general monad transformer for streaming applications, with a simple prelude of functions |
| 104 |
1 |
0 |
5 years ago |
oHm/748 |
Om with Haskell in it |
| 104 |
15 |
2 |
2 years ago |
HaNS/749 |
The haskell network stack |
| 103 |
19 |
9 |
a day ago |
mysql-haskell/750 |
Pure haskell mysql driver |
| 103 |
8 |
6 |
4 years ago |
hopper-v0/751 |
a sound modern language for computation and transactional resource logic |
| 102 |
19 |
6 |
2 years ago |
eventful/752 |
Event Sourcing library for Haskell |
| 102 |
11 |
0 |
2 years ago |
Haskell-OpenGL-Tutorial/753 |
an attempt to create a concise modern Haskell OpenGL boilerplate with basic IO |
| 101 |
47 |
16 |
9 months ago |
glot-www/754 |
glot.io website |
| 101 |
4 |
1 |
2 months ago |
lorem-markdownum/755 |
A lorem ipsum generator for markdown |
| 101 |
4 |
2 |
16 days ago |
scarf/756 |
A cross platform package manager that helps open-source developers distribute and monetize their software |
| 100 |
16 |
0 |
4 years ago |
tangaroa/757 |
A toy implementation of the Raft protocol in Haskell, with an experimental BFT variant. |
| 101 |
41 |
2 |
6 months ago |
reflex-dom-inbits/758 |
A tutorial for reflex-dom with small code bits |
| 101 |
31 |
22 |
8 months ago |
hasktags/759 |
Produces ctags "tags" and etags "TAGS" files for Haskell programs |
| 101 |
15 |
9 |
2 months ago |
pandoc-include-code/760 |
A Pandoc filter for including code from source files |
| 100 |
10 |
2 |
1 year, 1 month ago |
basilica/761 |
It's kinda like a forum. |
| 100 |
6 |
1 |
a month ago |
unfog/762 |
⏱ Minimalist task & time manager, written in Haskell. |
| 100 |
5 |
7 |
1 year, 3 months ago |
stdio/763 |
Haskell Standard Input and Output |
| 100 |
5 |
0 |
3 days ago |
ascii-runner/764 |
An infinite runner in your terminal |
| 100 |
20 |
40 |
19 days ago |
hdevtools/765 |
Persistent GHC-powered background server for FAST haskell development tools |
| 100 |
7 |
42 |
a month ago |
Hydra/766 |
Hydra is a full-fledged framework for building web services, multithreaded and concurrent applications with SQL and KV DB support. It's currently moving to the production-ready state |
| 99 |
4 |
0 |
4 years ago |
crisp-compiler/767 |
A compiler for Crisp (Lisp/Scheme-inspired language) in Haskell, with an LLVM backend |
| 99 |
1 |
0 |
7 months ago |
squee/768 |
A Typed, Composable Database Query Language |
| 99 |
9 |
2 |
5 months ago |
super-user-spark/769 |
A safe way to never worry about your beautifully configured system again. (NO LONGER MAINTAINED. Use Nixos instead.) |
| 99 |
8 |
12 |
10 months ago |
vgrep/770 |
A pager for grep |
| 99 |
13 |
16 |
5 months ago |
concur-replica/771 |
Server-side VDOM UI framework for Concur |
| 99 |
10 |
7 |
1 year, 4 months ago |
sealchain/772 |
Financial blockchain based on cardano-sl |
| 99 |
14 |
2 |
3 months ago |
frag/773 |
Frag is a 3D first person shooting game written in Haskell, by Mun Hon Cheong |
| 98 |
19 |
21 |
1 year, 3 months ago |
Magic/774 |
Haskell implementation of Magic: The Gathering |
| 98 |
6 |
2 |
2 years ago |
eve/775 |
An extensible event-driven application framework in haskell |
| 98 |
10 |
7 |
6 years ago |
djinn/776 |
Generate Haskell code from a type |
| 98 |
13 |
0 |
2 years ago |
mtl-style-example/777 |
A small example of using mtl style to unit test effectful code |
| 98 |
4 |
3 |
5 months ago |
icepeak/778 |
Icepeak is a fast JSON document store with push notification support. |
| 99 |
5 |
3 |
3 years ago |
exference/779 |
Haskell tool to generate expressions from types |
| 98 |
10 |
10 |
1 year, 6 months ago |
riscv-semantics/780 |
A formal semantics of the RISC-V ISA in Haskell |
| 97 |
2 |
15 |
4 years ago |
awelon/781 |
Awelon project is a new UI model with a new language. |
| 97 |
9 |
4 |
20 days ago |
clckwrks/782 |
A Haskell CMS platform |
| 97 |
9 |
1 |
7 months ago |
effects/783 |
A brief exploration of the various approaches to modeling side effects in a purely functional programming language. |
| 97 |
13 |
3 |
2 years ago |
Kulitta/784 |
A Haskell-based library for algorithmic and automated composition. This library was the subject of my dissertation at Yale university and is the subject of my ongoing work. |
| 97 |
30 |
12 |
9 days ago |
hs-jose/785 |
Haskell JOSE and JWT library |
| 97 |
28 |
8 |
7 days ago |
bound/786 |
Combinators for manipulating locally-nameless generalized de Bruijn terms |
| 97 |
5 |
3 |
1 year, 10 months ago |
void-space/787 |
Well-Typed Typing Tutor where you Type Types... in space... yup, you heard me |
| 97 |
25 |
11 |
a month ago |
unliftio/788 |
The MonadUnliftIO typeclass for unlifting monads to IO |
| 97 |
10 |
13 |
2 months ago |
hip/789 |
Haskell Image Processing Library |
| 97 |
16 |
17 |
4 years ago |
hastache/790 |
Haskell implementation of Mustache template |
| 97 |
32 |
15 |
4 days ago |
these/791 |
An either-or-both data type, with corresponding hybrid error/writer monad transformer. |
| 96 |
4 |
0 |
4 years ago |
hinance/792 |
Automated personal bookkeeping for hackers. |
| 96 |
43 |
9 |
5 years ago |
pool/793 |
A high-performance striped resource pooling implementation for Haskell |
| 95 |
0 |
2 |
6 months ago |
tensor-safe/794 |
A framework to define valid deep neural network models and export them to specific languages |
| 95 |
24 |
48 |
3 months ago |
haskell-indexer/795 |
Emits code crossreference data for Haskell sources. |
| 95 |
10 |
1 |
2 years ago |
ifcxt/796 |
constraint level if statements |
| 95 |
21 |
25 |
5 days ago |
haskell-lockfree/797 |
A collection of different packages for CAS based data structures. |
| 95 |
21 |
45 |
a month ago |
store/798 |
Fast binary serialization in Haskell |
| 95 |
22 |
8 |
7 days ago |
reflection/799 |
Reifies arbitrary Haskell terms into types that can be reflected back into terms |
| 95 |
31 |
6 |
30 days ago |
io-streams/800 |
Simple, composable, and easy-to-use stream I/O for Haskell |
| 95 |
12 |
2 |
1 year, 6 months ago |
haskellbook/801 |
Exercise solutions for haskellbook.com |
| 94 |
12 |
7 |
5 years ago |
succinct/802 |
playground for working with succinct data structures |
| 94 |
4 |
0 |
4 months ago |
PolysemyCleanArchitecture/803 |
Showcasing how the Polysemy library can be used to implement a REST application conforming to the guidelines of the Clean Architecture model. |
| 94 |
11 |
6 |
3 years ago |
haskell-rethinkdb/804 |
RethinkDB client library for Haskell |
| 94 |
26 |
10 |
1 year, 3 months ago |
hssqlppp/805 |
sql parser and type checker in haskell |
| 94 |
12 |
2 |
19 days ago |
extensible/806 |
Extensible records, variants, structs, effects, tangles |
| 94 |
6 |
13 |
7 years ago |
ObjectiveHaskell/807 |
Tools for making it easier to integrate Haskell and Objective-C. |
| 94 |
12 |
2 |
3 years ago |
qio-haskell/808 |
The Quantum IO Monad, implemented in Haskell |
| 95 |
6 |
7 |
2 years ago |
herbalizer/809 |
Convert HAML to ERB |
| 93 |
15 |
5 |
5 years ago |
easyVision/810 |
Haskell packages for computer vision, image processing, and pattern recognition |
| 93 |
12 |
9 |
a month ago |
tinc/811 |
A dependency manager for Haskell |
| 93 |
40 |
84 |
9 hours ago |
chainweb-node/812 |
Chainweb: A Proof-of-Work Parallel-Chain Architecture for Massive Throughput |
| 93 |
9 |
0 |
7 years ago |
analytics/813 |
None |
| 93 |
1 |
3 |
2 years ago |
thank-you-stars/814 |
Give your dependencies stars on GitHub! |
| 93 |
10 |
0 |
3 years ago |
netwire-classics/815 |
Classic games recreated in netwire |
| 93 |
22 |
23 |
a month ago |
dh-core/816 |
Functional data science |
| 93 |
18 |
8 |
a month ago |
xeno/817 |
Fast Haskell XML parser |
| 92 |
16 |
20 |
1 year, 23 days ago |
dhall-to-cabal/818 |
Compile Dhall expressions to Cabal files |
| 92 |
16 |
12 |
3 years ago |
roshask/819 |
Haskell client library for the ROS robotics framework. |
| 92 |
36 |
1 |
4 months ago |
snowdrift/820 |
Infrastructure for Snowdrift.coop. This is a MIRROR of https://git.snowdrift.coop/sd/snowdrift. Your issue reports and merge requests are welcome, but they will be moved to git.snowdrift.coop. You are encouraged to start there instead! |
| 92 |
8 |
0 |
2 months ago |
vocabulink/821 |
web application for learning foreign vocabulary |
| 92 |
14 |
7 |
2 years ago |
haskellnews/822 |
An aggregation of all online content related to Haskell. |
| 92 |
11 |
9 |
2 years ago |
gitit2/823 |
A reimplementation of gitit in Yesod |
| 92 |
3 |
6 |
5 months ago |
nixos-manager/824 |
Manage your NixOS packages and configuration via a simple, intuitive UI |
| 92 |
14 |
6 |
1 year, 4 months ago |
gonimo/825 |
gonimo application back & front |
| 92 |
6 |
5 |
5 months ago |
nix-diff/826 |
Explain why two Nix derivations differ |
| 92 |
5 |
1 |
20 days ago |
inline-js/827 |
Call JavaScript from Haskell, and vice versa! |
| 92 |
50 |
5 |
3 months ago |
heist/828 |
An xhtml-based templating engine, allowing Haskell functions to be bound to XML tags. |
| 92 |
34 |
25 |
5 months ago |
sqlite-simple/829 |
Mid-level bindings for sqlite |
| 91 |
6 |
0 |
3 years ago |
veggies/830 |
Hopefully verifiable code generation in GHC |
| 91 |
13 |
6 |
2 years ago |
markdown-unlit/831 |
Literate Haskell support for Markdown |
| 91 |
4 |
3 |
4 years ago |
tardis/832 |
None |
| 91 |
26 |
25 |
13 hours ago |
tomland/833 |
🏝 Bidirectional TOML serialization |
| 91 |
8 |
6 |
a month ago |
turbinado/834 |
MVC Web Framework for Haskell. See http://github.com/turbinado/turbinado-website for example code |
| 90 |
3 |
1 |
9 months ago |
haskey/835 |
Transactional key-value store written entirely in Haskell |
| 90 |
8 |
14 |
a month ago |
hapistrano/836 |
Deploy tool for Haskell applications, like Capistrano for Rails |
| 90 |
14 |
18 |
8 months ago |
tintin/837 |
📚 A softer alternative to Haddock |
| 90 |
2 |
1 |
29 days ago |
Hypatia/838 |
A ML-family Language Compiled to Lua |
| 90 |
17 |
9 |
7 years ago |
Peggy/839 |
The Parser Generator for Haskell |
| 90 |
14 |
59 |
3 months ago |
haskell-editor-setup/840 |
Easy instructions for setting up Haskell editors / IDEs on any major operating system. |
| 90 |
2 |
2 |
10 days ago |
spaceleak/841 |
Notes on space leaks |
| 90 |
7 |
5 |
1 year, 3 months ago |
versioning/842 |
Type-safe data versioning. |
| 90 |
5 |
2 |
3 years ago |
Haskell-Annah-Library/843 |
Distributed programming language that desugars to Morte |
| 89 |
24 |
1 |
3 years ago |
real-world-haskell/844 |
parser for code samples from the book "real world haskell" (http://book.realworldhaskell.org/read/) |
| 89 |
25 |
1 |
6 years ago |
h2048/845 |
An implementation of the game 2048 in Haskell |
| 89 |
7 |
8 |
5 months ago |
replica/846 |
A remote virtual DOM library for Haskell |
| 89 |
4 |
0 |
1 year, 1 month ago |
strelka/847 |
A simple, flexible and composable web-router |
| 89 |
2 |
8 |
2 months ago |
hode/848 |
rslt, take five-ish |
| 89 |
8 |
0 |
2 years ago |
haskell_game/849 |
Wolfenstein 3D, ray-casting FPS game I make to learn Haskell. No libraries used, rendering is done in terminal. |
| 89 |
5 |
1 |
4 months ago |
deriving-aeson/850 |
Scrap your hand-rolled aeson instances |
| 88 |
7 |
6 |
1 year, 3 months ago |
motor/851 |
Type-safe effectful state machines in Haskell |
| 88 |
7 |
1 |
1 year, 2 months ago |
streaming-benchmarks/852 |
Benchmarks to compare Haskell streaming library performance |
| 88 |
16 |
9 |
1 year, 5 months ago |
haskelldb/853 |
A library for building re-usable and composable SQL queries. |
| 89 |
16 |
6 |
3 months ago |
shell-conduit/854 |
Write shell scripts with Conduit |
| 88 |
8 |
27 |
2 months ago |
hs-gauge/855 |
Lean Haskell Benchmarking |
| 88 |
2 |
2 |
1 year, 2 months ago |
hsp/856 |
Haskell command line text stream processor |
| 88 |
7 |
7 |
1 year, 7 months ago |
argon/857 |
Monitor cyclomatic complexity in Haskell programs |
| 88 |
3 |
0 |
9 years ago |
LispHaskellIPad/858 |
An iPad app that's a Lisp interpretter... written in Haskell (heh heh heh) |
| 88 |
5 |
1 |
1 year, 1 month ago |
haze/859 |
A bittorrent client, for learning purposes |
| 88 |
10 |
26 |
1 year, 1 month ago |
camfort/860 |
Light-weight verification and transformation tools for Fortran. See http://camfort.github.io |
| 88 |
8 |
3 |
6 years ago |
hcraft/861 |
Haskell clone of a certain game |
| 87 |
2 |
0 |
16 days ago |
FPSheet/862 |
FPSheet: A Spreadsheet program with Haskell as the scripting language |
| 87 |
5 |
0 |
2 months ago |
hierarchical-free-monads-the-most-developed-approach-in-haskell/863 |
Big article about Hierarchical Free Monads, the most developed approach to build real software in Haskell |
| 87 |
18 |
11 |
5 years ago |
ghcjs-examples/864 |
None |
| 87 |
0 |
3 |
3 years ago |
Ntha/865 |
The Ntha Programming Language |
| 87 |
13 |
6 |
2 days ago |
restyled.io/866 |
Restyled.io |
| 87 |
11 |
10 |
5 years ago |
FRPNow/867 |
None |
| 87 |
2 |
1 |
1 year, 7 months ago |
talks/868 |
Some talks I've given |
| 87 |
5 |
1 |
1 year, 8 months ago |
Bang/869 |
A Drum Machine DSL for Haskell |
| 87 |
19 |
31 |
4 years ago |
ApexCtl/870 |
An utility to enable extra macro keys on Steelseries Apex keyboards |
| 87 |
9 |
1 |
a month ago |
Bidirectional/871 |
Haskell implementation of Dunfield and Krishnaswami's "Complete and easy bidirectional typechecking for higher-rank polymorphism" |
| 87 |
7 |
1 |
6 years ago |
hailstorm/872 |
Haskell distributed stream processing with exactly-once semantics |
| 87 |
28 |
3 |
2 years ago |
haskell-programming/873 |
My notes and solutions to exercises for the book "Haskell Programming from first principles". |
| 86 |
33 |
6 |
7 months ago |
servant-purescript/874 |
Translate servant API to purescript code, with the help of purescript-bridge. |
| 86 |
6 |
6 |
1 year, 1 month ago |
haskell-vcache/875 |
large, persistent, memcached values and structure sharing for Haskell |
| 86 |
4 |
1 |
2 years ago |
stackage-everything/876 |
»I want Stackage on an airplane and I have only 3 minutes until takeoff« |
| 86 |
3 |
2 |
1 year, 4 months ago |
theseus/877 |
theseus, functional programming language with fully reversible computation |
| 86 |
54 |
41 |
8 months ago |
binary/878 |
Efficient, pure binary serialisation using ByteStrings in Haskell. |
| 86 |
44 |
25 |
6 years ago |
test-framework/879 |
Framework for running and organising QuickCheck test properties and HUnit test cases |
| 86 |
3 |
0 |
5 months ago |
HGE2D/880 |
2D game engine written in Haskell |
| 86 |
13 |
2 |
4 months ago |
grid/881 |
Tools for working with regular grids/graphs/lattices. |
| 86 |
21 |
0 |
a month ago |
repline/882 |
Haskeline wrapper for GHCi-like REPL interfaces |
| 84 |
17 |
7 |
2 years ago |
protobuf/883 |
An implementation of Google's Protocol Buffers in Haskell. |
| 85 |
13 |
0 |
4 months ago |
haskell-music/884 |
Source Code from "Making Music with Haskell" video |
| 85 |
21 |
6 |
a day ago |
vulkan/885 |
Haskell bindings for Vulkan |
| 85 |
4 |
2 |
8 years ago |
siege/886 |
[DEPRECATED] A DBMS written in Haskell |
| 85 |
29 |
23 |
2 years ago |
mysql-simple/887 |
A mid-level client library for the MySQL database, intended to be fast and easy to use. |
| 85 |
15 |
0 |
17 days ago |
miso-isomorphic-example/888 |
Minimalistic single page example of Miso's isomorphic feature. |
| 85 |
16 |
0 |
2 years ago |
haskoin/889 |
Proof-of-concept Blockchain in Haskell |
| 85 |
12 |
27 |
1 year, 6 months ago |
dimensional/890 |
Dimensional library variant built on Data Kinds, Closed Type Families, TypeNats (GHC 7.8+). |
| 84 |
12 |
11 |
1 year, 21 days ago |
build-shootout/891 |
Comparison of build program expressive power |
| 84 |
11 |
0 |
5 years ago |
ethereum-haskell/892 |
An independent reimplementation of Ethereum in Haskell |
| 84 |
2 |
1 |
24 days ago |
nix-tree/893 |
Interactively browse the dependency graph of your Nix derivations. |
| 84 |
18 |
9 |
1 year, 22 days ago |
ghc-vis/894 |
Visualize live Haskell data structures in GHCi |
| 84 |
9 |
4 |
3 days ago |
record-dot-preprocessor/895 |
A preprocessor for a Haskell record syntax using dot |
| 84 |
6 |
5 |
1 year, 2 months ago |
webviewhs/896 |
🌐 A Haskell binding to the webview library created by Serge Zaitsev. |
| 83 |
6 |
2 |
4 months ago |
b-tree/897 |
Haskell on-disk B* tree implementation |
| 83 |
3 |
6 |
4 months ago |
hasql-th/898 |
Template Haskell utilities for Hasql |
| 84 |
9 |
8 |
6 months ago |
klfc/899 |
Keyboard Layout Files Creator |
| 83 |
29 |
9 |
2 months ago |
retry/900 |
Retry combinators for monadic actions that may fail |
| 71 |
4 |
2 |
11 months ago |
matplotlib-haskell/901 |
Haskell bindings for Python's Matplotlib |
| 71 |
1 |
1 |
5 months ago |
miniagda/902 |
A prototypical dependently typed languages with sized types and variances |
| 70 |
2 |
1 |
3 months ago |
starlight/903 |
spaceships in space |
| 70 |
8 |
0 |
6 years ago |
bazqux-urweb/904 |
Ur/Web part of BazQux Reader sources |
| 70 |
0 |
0 |
a month ago |
pinboard-notes-backup/905 |
Back up the notes you’ve saved to Pinboard |
| 70 |
5 |
0 |
5 years ago |
haskell-ffi-tutorial/906 |
A (missing) Haskell FFI tutorial: how to work with nested Structs and do bi-directional C<->Haskell interop |
| 70 |
13 |
51 |
17 days ago |
disco/907 |
Functional teaching language for use in a discrete mathematics course |
| 70 |
3 |
1 |
1 year, 9 months ago |
aivika/908 |
A multi-method simulation library |
| 70 |
36 |
22 |
a day ago |
protocol-buffers/909 |
Haskell protocol-buffers package |
| 69 |
35 |
21 |
2 months ago |
ghcjs-dom/910 |
Make Document Object Model (DOM) apps that run in any browser and natively using WebKitGtk |
| 69 |
24 |
10 |
4 years ago |
opencl/911 |
Haskell high-level wrapper for OpenCL |
| 69 |
2 |
5 |
1 year, 11 months ago |
sonic2/912 |
Sonic the Hedgehog 2 in Haskell |
| 69 |
8 |
3 |
11 months ago |
aeson-qq/913 |
JSON quasiquoter for Haskell |
| 69 |
2 |
1 |
1 year, 5 months ago |
una/914 |
A universal interface to multiple unarchiving tools |
| 69 |
8 |
6 |
6 years ago |
virthualenv/915 |
Virtual Haskell Environment builder |
| 69 |
9 |
9 |
a month ago |
mmark/916 |
Strict markdown processor for writers |
| 69 |
11 |
11 |
30 days ago |
hledger-flow/917 |
An hledger/ledger-cli workflow focusing on automated statement import and classification |
| 68 |
6 |
0 |
4 years ago |
api-server/918 |
A JSON API server written in Haskell |
| 68 |
3 |
1 |
1 year, 3 months ago |
suavemente/919 |
💃 an applicative functor that seamlessly talks to HTML inputs |
| 68 |
30 |
12 |
4 months ago |
comonad/920 |
Haskell 98 comonads |
| 68 |
23 |
6 |
2 months ago |
smtp-mail/921 |
Making it easy to send SMTP email from Haskell |
| 68 |
8 |
1 |
4 years ago |
effect-handlers/922 |
None |
| 68 |
7 |
7 |
4 days ago |
theHarmonicAlgorithm/923 |
The Harmonic Algorithm by Oscar South - A Project Spanning Music Analysis, Functional Programming & Machine Learning |
| 68 |
31 |
7 |
3 months ago |
reflex-examples/924 |
See Reflex FRP in action with tinker-friendly code samples you can run yourself. |
| 68 |
10 |
0 |
4 years ago |
lazy-lambda/925 |
Lazy Lambda — a Flappy Bird clone in Haskell with SpriteKit |
| 68 |
58 |
54 |
7 months ago |
unix/926 |
POSIX functionality |
| 68 |
7 |
35 |
2 days ago |
conjure/927 |
Conjure: The Automated Constraint Modelling Tool |
| 68 |
7 |
2 |
2 years ago |
pcf/928 |
A small compiler for PCF |
| 68 |
3 |
7 |
3 years ago |
haskell-servant-realworld-example-app/929 |
None |
| 68 |
5 |
7 |
a month ago |
shelltestrunner/930 |
Easy, repeatable testing of CLI programs/commands |
| 67 |
16 |
5 |
3 years ago |
libpandoc/931 |
C bindings to Pandoc, a markup converter library written in Haskell. |
| 67 |
20 |
17 |
4 months ago |
happstack-server/932 |
An HTTP Server |
| 67 |
15 |
7 |
a day ago |
estuary/933 |
Platform for collaboration and learning through live coding |
| 67 |
25 |
3 |
1 year, 10 months ago |
dbmigrations/934 |
A library for the creation, management, and installation of schema updates for relational databases. |
| 67 |
7 |
6 |
5 months ago |
monaba/935 |
Imageboard engine written in Haskell and powered by Yesod |
| 67 |
5 |
6 |
9 months ago |
axiom/936 |
Client-side and server-side web framework over Transient and GHCJS (Haskell to JavaScript compiler) |
| 68 |
13 |
1 |
1 year, 3 months ago |
typed-process/937 |
Alternative API for processes, featuring more type safety |
| 67 |
4 |
1 |
4 months ago |
yaya/938 |
Yet another yet another recursion scheme library in Haskell. |
| 67 |
7 |
0 |
3 months ago |
rfc/939 |
None |
| 67 |
22 |
4 |
5 months ago |
haskell-json/940 |
Source Code for JSON Parser Video |
| 67 |
2 |
0 |
4 years ago |
haskell-checklist/941 |
Preflight checklist for Haskell code. Aspire to greatness! |
| 67 |
14 |
54 |
2 years ago |
moot/942 |
Moot is a CFP and event management system! |
| 67 |
2 |
13 |
9 days ago |
replace-megaparsec/943 |
Stream editing with Haskell Megaparsec parsers |
| 67 |
3 |
12 |
1 year, 9 months ago |
qmuli/944 |
Qmuli - Serverless framework for Haskell |
| 66 |
3 |
11 |
11 months ago |
chips/945 |
A fast, lightweight, and concurrent plugin manager for the fish shell, written in Haskell |
| 66 |
19 |
3 |
21 days ago |
zip/946 |
Efficient library for manipulating zip archives |
| 66 |
18 |
0 |
4 months ago |
fclabels/947 |
First class composable record labels for Haskell. |
| 66 |
436 |
4 |
2 years ago |
markdown/948 |
Convert Markdown to HTML, with XSS protection |
| 66 |
2 |
4 |
a month ago |
gzc/949 |
The Great Zilch Compiler ─ the old source code is at https://github.com/mesabloo/nihil_old ─ restarting from scratch |
| 66 |
6 |
2 |
4 months ago |
mcc/950 |
MicroC example compiler for Stephen Edward's PLT class, but in Haskell |
| 66 |
13 |
5 |
7 months ago |
Forvis_RISCV-ISA-Spec/951 |
Formal specification of RISC-V Instruction Set |
| 66 |
8 |
6 |
3 years ago |
monad-mock/952 |
A Haskell package that provides a monad transformer for mocking mtl-style typeclasses |
| 66 |
20 |
3 |
2 years ago |
Haskell-MVC-Library/953 |
Model-view-controller |
| 66 |
29 |
3 |
a month ago |
cuda/954 |
Haskell FFI bindings to CUDA |
| 66 |
6 |
0 |
7 years ago |
nano-Agda/955 |
Tiny type-checker with dependent types |
| 66 |
7 |
3 |
3 years ago |
haquery/956 |
jQuery for Haskell |
| 66 |
15 |
4 |
a month ago |
haskellcosm/957 |
Collecting information about Haskell ecosystem - companies, communities, media, etc. |
| 66 |
5 |
0 |
10 years ago |
h4sh/958 |
Fork of Don Stewarts h4sh haskell shell scripts |
| 66 |
18 |
15 |
7 days ago |
contravariant/959 |
Haskell 98 contravariant functors |
| 65 |
10 |
22 |
a month ago |
porcupine/960 |
Express parametrable, composable and portable data pipelines |
| 65 |
3 |
5 |
3 days ago |
seonbi/961 |
SmartyPants for Korean language |
| 65 |
4 |
9 |
1 year, 2 days ago |
hesh/962 |
Haskell Extensible Shell |
| 65 |
7 |
51 |
3 months ago |
rhine/963 |
Haskell Functional Reactive Programming framework with type-level clocks |
| 65 |
5 |
11 |
2 years ago |
digraphs-with-text/964 |
None |
| 65 |
14 |
10 |
a month ago |
hslua/965 |
Lua interpreter interface for Haskell |
| 65 |
5 |
1 |
2 months ago |
first-class-families/966 |
First-class type families |
| 65 |
0 |
0 |
1 year, 11 months ago |
write-yourself-a-typed-functional-language/967 |
Write yourself a typed functional language |
| 65 |
20 |
6 |
26 days ago |
extra/968 |
Extra Haskell functions |
| 65 |
16 |
6 |
4 years ago |
mueval/969 |
A secure sandboxed Haskell interpreter for pure function evaluation |
| 65 |
4 |
8 |
3 years ago |
reserve/970 |
Universal and robust reloading for Haskell web applications |
| 65 |
3 |
0 |
2 years ago |
hwk/971 |
A Haskell based awk and sed alternative |
| 65 |
18 |
21 |
12 days ago |
rdf4h/972 |
rdf4h is a library for working with RDF in Haskell |
| 65 |
15 |
21 |
6 months ago |
parallel/973 |
a library for parallel programming |
| 65 |
6 |
0 |
4 years ago |
hArduino/974 |
Control your Arduino board from Haskell, using the Firmata protocol |
| 65 |
5 |
0 |
3 years ago |
putting-lenses-to-work/975 |
A presentation for BayHac 2017 on how I uses lenses at work |
| 65 |
10 |
1 |
2 months ago |
bhoogle/976 |
Hoogle terminal UI brick example app |
| 65 |
0 |
0 |
6 months ago |
fitspec/977 |
refine properties for testing Haskell programs |
| 65 |
9 |
1 |
1 year, 9 months ago |
dictionaries/978 |
Benchmarks for dictionary data structures: hash tables, maps, tries, etc. |
| 65 |
9 |
0 |
1 year, 4 days ago |
haskell-tetris/979 |
Tetris game written in Haskell using ncurses |
| 65 |
48 |
41 |
4 months ago |
swagger2/980 |
Swagger 2.0 data model. |
| 64 |
37 |
17 |
5 months ago |
yesod-scaffold/981 |
The Yesod scaffolding, with branches for different versions. |
| 64 |
28 |
9 |
2 months ago |
prometheus-haskell/982 |
Haskell client library for exposing prometheus.io metrics. |
| 64 |
4 |
1 |
10 months ago |
mad-props/983 |
Forward-propagating Constraint Solver monad. Good for solving Sudoku, N-Queens, etc. |
| 64 |
2 |
2 |
3 years ago |
simplexhc/984 |
compiler with polyhedral optmization for a lazy functional programming language |
| 64 |
1 |
6 |
2 years ago |
cccc/985 |
🖼️ the compiling to closed categories compiler |
| 64 |
19 |
8 |
5 months ago |
simple-sql-parser/986 |
SQL parser in Haskell |
| 64 |
49 |
28 |
4 months ago |
slack-api/987 |
Haskell bindings to the Slack RTM API |
| 64 |
2 |
2 |
2 years ago |
http-dispatch/988 |
A high level HTTP client for Haskell that focuses on ease of use |
| 64 |
3 |
0 |
3 months ago |
type-errors/989 |
⚠️ tools for writing better type errors |
| 64 |
28 |
1 |
1 year, 1 month ago |
blog/990 |
The contents of ocharles.org.uk/blog |
| 64 |
5 |
0 |
5 months ago |
RiscvSpecFormal/991 |
The RiscvSpecKami package provides SiFive's RISC-V processor model. Built using Coq, this processor model can be used for simulation, model checking, and semantics analysis. The RISC-V processor model can be output as Verilog and simulated/synthesized using standard Verilog tools. |
| 64 |
3 |
0 |
4 years ago |
Flocking-Simulation/992 |
A 3D Boids-like flocking simulation coded in Haskell. |
| 64 |
8 |
0 |
4 years ago |
hairy/993 |
💇 A JSON REST API built in Haskell. |
| 64 |
5 |
1 |
2 years ago |
haskino/994 |
Our Arduino experiments |
| 64 |
7 |
3 |
2 years ago |
erlang-ffi/995 |
A Foreign Function Interface that lets Haskell and Erlang programs communicate. |
| 64 |
54 |
22 |
7 days ago |
process/996 |
Library for dealing with system processes |
| 64 |
15 |
9 |
2 days ago |
polysemy-zoo/997 |
🐒🐼 Experimental, user-contributed effects and interpreters for polysemy |
| 63 |
5 |
0 |
3 months ago |
cabal-bounds/998 |
Set the version bounds of dependencies in a cabal file |
| 63 |
1 |
7 |
6 months ago |
named/999 |
Named parameters (keyword arguments) for Haskell |
| 63 |
3 |
0 |
1 year, 7 months ago |
Dive_into_Haskell/1000 |
Dive into Haskell: Examples of all features of this Pure Functional programing language |
