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