| 11596 |
1367 |
489 |
6 hours ago |
pandoc |
Universal markup converter |
| 10822 |
572 |
339 |
7 hours ago |
shellcheck |
ShellCheck, a static analysis tool for shell scripts |
| 10726 |
470 |
85 |
6 hours ago |
postgrest |
REST API for any Postgres database |
| 4766 |
373 |
199 |
12 hours ago |
purescript |
A strongly-typed language that compiles to Javascript |
| 4527 |
330 |
47 |
21 hours ago |
elm-compiler |
Compiler for Elm, a functional language for reliable webapps. |
| 3137 |
265 |
6 |
a day ago |
Haxl |
A Haskell library that simplifies access to remote data, such as databases or web-based services. |
| 2702 |
573 |
771 |
a day ago |
stack |
The Haskell Tool Stack |
| 2511 |
387 |
171 |
9 hours ago |
cardano-sl |
Cryptographic currency implementing Ouroboros PoS protocol |
| 2413 |
572 |
541 |
12 hours ago |
Idris-dev |
A Dependently Typed Functional Programming Language |
| 2249 |
118 |
1 |
a day ago |
Functional-Programming |
Functional Programming concepts, examples and patterns illustrated in Haskell, Ocaml and Python |
| 2203 |
54 |
51 |
18 hours ago |
luna |
Hybrid textual and visual functional programming. |
| 2111 |
77 |
14 |
12 hours ago |
Carp |
A statically typed lisp, without a GC, for real-time applications. |
| 2049 |
164 |
15 |
9 hours ago |
write-you-a-haskell |
Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/) |
| 1943 |
143 |
214 |
3 days ago |
ghcjs |
Haskell to JavaScript compiler, based on GHC |
| 1930 |
313 |
123 |
23 hours ago |
yesod |
A RESTful Haskell web framework built on WAI. |
| 1853 |
504 |
8 |
6 hours ago |
ghc |
Mirror of the Glasgow Haskell Compiler. Patches are best submitted to GHC's Phabricator (https://phabricator.haskell.org/), bugs and feature-requests are best filed to GHC's Trac (https://ghc.haskell.org/trac/ghc), or sent to the mailing list (ghc-devs@haskell.org). First time contributors are encouraged to get started by just sending a Pull Request. |
| 1834 |
113 |
207 |
13 hours ago |
eta |
The Eta Programming Language, a dialect of Haskell on the JVM |
| 1791 |
94 |
76 |
6 hours ago |
corrode |
C to Rust translator |
| 1766 |
313 |
81 |
9 hours ago |
hakyll |
A static website compiler library in Haskell |
| 1689 |
182 |
59 |
a day ago |
IHaskell |
A Haskell kernel for IPython. |
| 1593 |
182 |
21 |
6 hours ago |
wire-server |
🇪🇺 Wire back-end services |
| 1544 |
200 |
17 |
7 hours ago |
duckling |
Language, engine, and tooling for expressing, testing, and evaluating composable language rules on input strings. |
| 1519 |
173 |
184 |
a day ago |
gitit |
A wiki using HAppS, pandoc, and git |
| 1394 |
129 |
25 |
7 hours ago |
HLearn |
Homomorphic machine learning |
| 1385 |
55 |
7 |
a day ago |
lamdu |
lamdu - towards the next generation IDE |
| 1300 |
199 |
61 |
2 days ago |
lens |
Lenses, Folds, and Traversals - Join us on freenode #haskell-lens |
| 1284 |
104 |
57 |
2 days ago |
haste-compiler |
A GHC-based Haskell to JavaScript compiler |
| 1281 |
46 |
29 |
2 days ago |
unison |
Next generation programming platform, currently in development |
| 1250 |
164 |
5 |
a day ago |
wiwinwlh |
What I Wish I Knew When Learning Haskell |
| 1212 |
120 |
54 |
a day ago |
scotty |
Haskell web framework inspired by Ruby's Sinatra, using WAI and Warp (Official Repository) |
| 1192 |
166 |
188 |
21 hours ago |
yi |
The Haskell-Scriptable Editor |
| 1160 |
90 |
16 |
5 days ago |
fay |
A proper subset of Haskell that compiles to JavaScript |
| 1104 |
241 |
45 |
4 days ago |
zsh-git-prompt |
Informative git prompt for zsh |
| 1065 |
51 |
11 |
2 days ago |
grenade |
Deep Learning in Haskell |
| 963 |
160 |
11 |
8 hours ago |
real-world-haskell-cn |
《Real World Haskell》中文翻译项目 |
| 958 |
217 |
122 |
a day ago |
servant |
Main repository for the servant libraries -- DSL for describing, serving, querying, mocking, documenting web applications and more! |
| 939 |
53 |
18 |
8 hours ago |
hadolint |
Dockerfile linter, validate inline bash, written in Haskell |
| 935 |
91 |
155 |
3 days ago |
elm-format |
elm-format formats Elm source code according to a standard set of rules based on the official Elm Style Guide |
| 930 |
23 |
5 |
2 days ago |
patat |
Terminal-based presentations using Pandoc |
| 929 |
63 |
23 |
23 hours ago |
miso |
🍜 A tasty Haskell front-end framework |
| 928 |
133 |
57 |
15 hours ago |
xmonad |
The core of xmonad, a small but functional ICCCM-compliant tiling window manager |
| 928 |
94 |
121 |
a day ago |
haskell-ide-engine |
The engine for haskell ide-integration. Not an IDE |
| 925 |
120 |
31 |
21 hours ago |
haskell |
Haskell bindings for TensorFlow |
| 896 |
76 |
36 |
a day ago |
HaLVM |
The Haskell Lightweight Virtual Machine (HaLVM): GHC running on Xen |
| 846 |
434 |
1037 |
a day ago |
cabal |
Official upstream development repository for Cabal and cabal-install |
| 817 |
48 |
0 |
14 hours ago |
haskell-must-watch |
Huge list of videos, talks, courses for Haskell programming language. |
| 783 |
100 |
108 |
2 days ago |
intero |
Complete interactive development program for Haskell |
| 770 |
69 |
8 |
14 hours ago |
nanocoin |
A simple cryptocurrency implementation, written to illustrate the basic components of a Proof-of-Work based, public distributed ledger. |
| 764 |
867 |
15 |
13 hours ago |
fp-course |
Functional Programming Course |
| 763 |
111 |
180 |
14 hours ago |
codeworld |
Educational computer programming environment using Haskell |
| 758 |
107 |
197 |
a day ago |
leksah |
Haskell IDE |
| 741 |
23 |
15 |
6 days ago |
oden |
The Oden Programming Language (NO LONGER IN ACTIVE DEVELOPMENT) |
| 739 |
121 |
164 |
18 hours ago |
hledger |
The hledger command-line/curses/web accounting tool, a Haskell rewrite of ledger. |
| 719 |
185 |
58 |
3 days ago |
aeson |
A fast Haskell JSON library |
| 717 |
124 |
10 |
a day ago |
elm-platform |
Bundle of all core development tools for Elm |
| 697 |
75 |
100 |
2 days ago |
cryptol |
Cryptol: The Language of Cryptography |
| 659 |
35 |
2 |
3 days ago |
cgrep |
Cgrep: a context-aware grep for source codes |
| 650 |
51 |
8 |
4 days ago |
dnngraph |
A DSL for deep neural networks, supporting Caffe and Torch |
| 647 |
67 |
103 |
4 days ago |
aura |
A secure, multilingual package manager for Arch Linux and the AUR. |
| 644 |
94 |
42 |
3 days ago |
ImplicitCAD |
A math-inspired CAD program in haskell. CSG, bevels, and shells; 2D & 3D; gcode generation... |
| 644 |
106 |
47 |
18 hours ago |
Tidal |
Pattern language |
| 640 |
181 |
110 |
6 days ago |
ghc-mod |
Happy Haskell Hacking for editors. CI: https://gitlab.com/dxld/ghc-mod/pipelines |
| 625 |
58 |
1 |
a day ago |
articles |
Miscellaneous articles. The readme is the table of contents. |
| 622 |
86 |
129 |
6 hours ago |
hlint |
Haskell source code suggestions |
| 621 |
61 |
1 |
a day ago |
stanford-cs240h |
Course materials for Stanford CS240h, "Functional Systems in Haskell" |
| 613 |
18 |
15 |
18 hours ago |
unused |
A command line tool to identify unused code. |
| 609 |
91 |
3 |
6 days ago |
kaleidoscope |
Haskell LLVM JIT Compiler Tutorial |
| 600 |
48 |
14 |
3 days ago |
erd |
Translates a plain text description of a relational database schema to a graphical entity-relationship diagram. |
| 598 |
41 |
0 |
9 days ago |
legion |
Simple blockchain server written in haskell. Feedback welcome. |
| 582 |
49 |
40 |
8 hours ago |
futhark |
💥💻💥 A data-parallel functional programming language |
| 571 |
26 |
59 |
3 days ago |
kitten |
A statically typed concatenative programming language. |
| 566 |
88 |
44 |
2 days ago |
reflex |
None |
| 564 |
71 |
27 |
8 hours ago |
Haskell-Turtle-Library |
Shell programming, Haskell style |
| 562 |
71 |
50 |
4 days ago |
accelerate |
Embedded language for high-performance array computations |
| 561 |
67 |
18 |
11 days ago |
helm |
A functionally reactive game engine, with headgear to protect you from the headache of game development provided. |
| 554 |
106 |
0 |
9 days ago |
Haskell-Data-Analysis-Cookbook |
Accompanying Source Code for the Haskell Data Analysis Cookbook |
| 543 |
77 |
67 |
2 days ago |
distributed-process |
Cloud Haskell core library |
| 535 |
58 |
60 |
15 hours ago |
clash-compiler |
CAES Language for Synchronous Hardware |
| 526 |
79 |
235 |
3 days ago |
liquidhaskell |
Liquid Types For Haskell |
| 520 |
146 |
19 |
2 days ago |
conduit |
A streaming data library |
| 518 |
35 |
0 |
12 days ago |
carnival |
An unobtrusive, developer-friendly way to add comments |
| 518 |
33 |
11 |
12 days ago |
rasa |
Extremely modular text editor built in Haskell |
| 511 |
15 |
0 |
3 days ago |
hython |
Haskell-powered Python 3 interpreter |
| 496 |
23 |
18 |
7 days ago |
transient |
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) |
| 484 |
73 |
0 |
16 hours ago |
brick |
A declarative terminal UI programming library written in Haskell |
| 483 |
36 |
0 |
7 days ago |
detexify-hs-backend |
Detexify Backend written in Haskell |
| 483 |
68 |
59 |
a day ago |
stylish-haskell |
Haskell code prettifier |
| 482 |
44 |
24 |
21 hours ago |
Spock |
Another Haskell web framework for rapid development |
| 474 |
175 |
35 |
5 days ago |
wai |
Haskell Web Application Interface |
| 465 |
79 |
479 |
6 hours ago |
agda |
Agda is a dependently typed programming language / interactive theorem prover. |
| 463 |
82 |
121 |
21 hours ago |
shake |
Shake build system |
| 453 |
27 |
0 |
19 days ago |
10-minute-vim-exercises |
The exercise files from 10 Minute Vim, for convenience of readers |
| 443 |
75 |
25 |
4 days ago |
haskoin |
Haskell implementation of the Bitcoin protocol |
| 443 |
134 |
0 |
8 days ago |
FP101x-Content-2015 |
FP101x - Functional Programming MOOC 2015 Content Repository |
| 439 |
70 |
24 |
9 hours ago |
optparse-applicative |
Applicative option parser |
| 437 |
62 |
26 |
10 hours ago |
hspec |
A Testing Framework for Haskell |
| 431 |
28 |
20 |
5 days ago |
egison |
Egison is a purely functional programming language with non-linear pattern-matching against non-free data types. We can directly pattern-match against a wide range of data types such as lists, multisets, sets, trees and graphs with Egison. |
| 430 |
50 |
6 |
14 days ago |
juno |
Smart Contracts Running on a BFT Hardened Raft |
| 427 |
38 |
13 |
7 hours ago |
queryparser |
Parsing and analysis of Vertica, Hive, and Presto SQL. |
| 426 |
25 |
61 |
21 hours ago |
project-m36 |
Project: M36 Relational Algebra Engine |
| 426 |
14 |
2 |
13 days ago |
glance |
A visual Haskell |
| 420 |
68 |
45 |
10 days ago |
elm-reactor |
Interactive development tool that makes it easy to develop and debug Elm programs. |
| 415 |
20 |
1 |
12 days ago |
time.gif |
GIF that always shows the current time in UTC |
| 411 |
51 |
61 |
2 days ago |
DeepDarkFantasy |
A Programming Language for Deep Learning |
| 404 |
31 |
3 |
a day ago |
intro_to_parsing |
Introduction to parsing with Haskell and Parsec |
| 400 |
61 |
27 |
7 days ago |
snap |
Top-level package for the official Snap Framework libraries, includes the snaplets API as well as infrastructure for sessions, auth, and templates. |
| 389 |
57 |
43 |
4 days ago |
reactive-banana |
Library for functional reactive programming in Haskell. |
| 383 |
47 |
26 |
6 days ago |
parsec |
A monadic parser combinator library |
| 379 |
83 |
104 |
13 hours ago |
haskell-opaleye |
None |
| 375 |
53 |
50 |
12 hours ago |
rest |
Packages for defining APIs, running them, generating client code and documentation. |
| 371 |
45 |
22 |
19 hours ago |
ghcid |
Very low feature GHCi based IDE |
| 367 |
18 |
17 |
2 days ago |
hylogen |
GLSL embedded in Haskell |
| 366 |
20 |
5 |
7 days ago |
webify |
webfont generator - converts ttf to woff, eot and svg |
| 366 |
66 |
15 |
5 days ago |
Haskell-Pipes-Library |
Compositional pipelines |
| 365 |
18 |
37 |
19 hours ago |
sixten |
Functional programming with fewer indirections |
| 364 |
139 |
1 |
7 days ago |
xmonad-config |
My xmonad and xmobar configuration, plus necessary scripts to make things more usable. |
| 362 |
6 |
9 |
21 hours ago |
Son |
A minimal subset of JSON for machine-to-machine communication |
| 362 |
76 |
33 |
8 days ago |
quickcheck |
Automatic testing of Haskell programs. |
| 357 |
41 |
4 |
4 days ago |
LambdaNet |
Purely functional artificial neural network library implemented in Haskell. |
| 357 |
42 |
18 |
3 days ago |
subhask |
Type safe interface for working in subcategories of Hask |
| 355 |
119 |
58 |
a day ago |
xmobar |
A minimalistic, mostly text-based status bar |
| 353 |
12 |
1 |
5 days ago |
FP-Course-ITMO |
Slides and other materials for functional programming lectures ITMO university |
| 351 |
178 |
0 |
2 days ago |
xmonad-ubuntu-conf |
My xmonad config for Ubuntu 18.04, 16.04, 14.04, and 12.04, including package list, config files, and instructions. |
| 350 |
15 |
17 |
4 days ago |
frp-zoo |
Comparing many FRP implementations by reimplementing the same toy app in each. |
| 349 |
46 |
0 |
12 days ago |
gists |
With way too messy gist.github pages this is an attempt to organise my snippets |
| 345 |
60 |
0 |
8 days ago |
hpffp-resources |
Haskell Programming From First Principles - Follow-up Resources |
| 341 |
56 |
104 |
10 days ago |
foundation |
Empire strikes back |
| 340 |
21 |
4 |
30 days ago |
CloudHaskell |
A distributed computing framework for Haskell |
| 338 |
80 |
32 |
5 days ago |
bloodhound |
Haskell Elasticsearch client and query DSL |
| 337 |
25 |
12 |
13 days ago |
HaskellR |
The full power of R in Haskell. |
| 336 |
83 |
70 |
a day ago |
hindent |
Haskell pretty printer |
| 334 |
24 |
26 |
10 days ago |
matterhorn |
A terminal client for the Mattermost chat system |
| 334 |
59 |
13 |
3 days ago |
attoparsec |
A fast Haskell library for parsing ByteStrings |
| 333 |
27 |
58 |
4 days ago |
koka |
Koka language compiler and interpreter |
| 324 |
11 |
12 |
12 days ago |
compleat |
Generate command-line completions using a simple DSL. |
| 323 |
23 |
19 |
5 days ago |
sparkle |
Haskell on Apache Spark. |
| 320 |
7 |
4 |
14 hours ago |
verve-lang |
A functional language for the working hacker |
| 318 |
11 |
1 |
9 days ago |
caramel |
A modern syntax for the λ-calculus. |
| 317 |
67 |
31 |
7 days ago |
hs-tls |
TLS/SSL implementation in haskell |
| 317 |
8 |
1 |
15 days ago |
jl |
Functional sed for JSON |
| 316 |
77 |
77 |
3 days ago |
hoogle |
Haskell API search engine |
| 313 |
22 |
14 |
4 days ago |
react-haskell |
React bindings for Haskell |
| 312 |
19 |
16 |
a day ago |
haskell-emacs |
Write Emacs extensions in Haskell |
| 310 |
65 |
6 |
9 days ago |
wreq |
None |
| 309 |
49 |
26 |
15 hours ago |
dhall-haskell |
A configuration language guaranteed to terminate |
| 307 |
40 |
3 |
5 days ago |
megaparsec |
Industrial-strength monadic parser combinator library |
| 306 |
10 |
1 |
2 days ago |
haskus-system |
System programming in Haskell on top of Linux |
| 306 |
50 |
8 |
2 days ago |
tasty |
Modern and extensible testing framework for Haskell |
| 304 |
77 |
28 |
a day ago |
Shelly.hs |
Haskell shell scripting |
| 302 |
34 |
43 |
17 hours ago |
haskell-hedgehog |
Hedgehog will eat all your bugs. |
| 301 |
16 |
6 |
11 days ago |
stgi |
A user-centric visual STG implementation to help understand GHC/Haskell's execution model. |
| 297 |
29 |
33 |
a day ago |
haskell-do |
✏️ 📊 - The Haskell code editor focused on interactive development. |
| 297 |
87 |
73 |
3 days ago |
amazonka |
A comprehensive Amazon Web Services SDK for Haskell. |
| 295 |
92 |
51 |
7 hours ago |
taffybar |
A slightly fancy status bar for xmonad |
| 294 |
15 |
10 |
4 days ago |
call-haskell-from-anything |
Call Haskell functions from any programming language via serialization and dynamic libraries |
| 293 |
70 |
16 |
10 days ago |
snap-core |
Core type definitions (Snap monad, HTTP types, etc) and utilities for web handlers. |
| 290 |
19 |
20 |
19 days ago |
ivory |
The Ivory EDSL |
| 289 |
20 |
16 |
a day ago |
Haskell-Morte-Library |
A bare-bones calculus-of-constructions |
| 289 |
10 |
3 |
10 days ago |
berp |
An implementation of Python 3 |
| 288 |
8 |
5 |
11 days ago |
FuncShell |
Improve your shell by making it functional through Haskell! (An update to Awkward) |
| 287 |
93 |
48 |
11 days ago |
hmatrix |
Linear algebra and numerical computation |
| 285 |
72 |
59 |
11 hours ago |
haskell-platform |
Distribution of Haskell with batteries included |
| 282 |
8 |
10 |
3 days ago |
dbignore |
.gitignore for Dropbox |
| 282 |
62 |
39 |
9 days ago |
threepenny-gui |
GUI framework that uses the web browser as a display. |
| 282 |
27 |
8 |
13 days ago |
Angel |
Process Monitoring/Management, Like Daemontools |
| 280 |
17 |
11 |
7 days ago |
markup.rocks |
Pandoc based document editor and converter in your browser. |
| 278 |
9 |
15 |
21 days ago |
infernu |
Type inference and checking for a safer JavaScript. |
| 276 |
9 |
0 |
10 days ago |
hnes |
🎮 NES Emulator written in Haskell |
| 276 |
36 |
2 |
6 days ago |
aima-haskell |
Algorithms from AIMA in Haskell |
| 276 |
185 |
118 |
a day ago |
persistent |
Persistence interface for Haskell allowing multiple storage methods. |
| 273 |
51 |
28 |
2 days ago |
hpack |
hpack: An alternative format for Haskell packages |
| 272 |
14 |
8 |
a day ago |
rio |
A standard library for Haskell |
| 269 |
50 |
46 |
a day ago |
clay |
A CSS preprocessor as embedded Haskell. |
| 269 |
51 |
19 |
2 days ago |
cubicaltt |
Experimental implementation of Cubical Type Theory |
| 268 |
26 |
37 |
a day ago |
brittany |
haskell source code formatter |
| 268 |
93 |
42 |
3 days ago |
websockets |
A Haskell library for creating WebSocket-capable servers |
| 266 |
44 |
21 |
23 days ago |
machines |
Networks of composable stream transducers |
| 266 |
51 |
0 |
14 hours ago |
pi-forall |
A demo implementation of a simple dependently-typed language |
| 263 |
30 |
7 |
5 days ago |
protolude |
A sensible starting Prelude template. |
| 263 |
23 |
19 |
a day ago |
alga |
Algebraic graphs |
| 263 |
64 |
5 |
21 hours ago |
scheme |
Write You a Scheme |
| 260 |
130 |
35 |
6 days ago |
github |
The github API for Haskell |
| 260 |
18 |
0 |
a month ago |
lit |
A modern tool for literate programming |
| 258 |
3 |
9 |
3 days ago |
waymonad |
A wayland compositor based on ideas from and inspired by xmonad |
| 257 |
31 |
18 |
10 days ago |
yst |
create static websites from YAML data and string templates |
| 257 |
13 |
6 |
4 days ago |
Earley |
Parsing all context-free grammars using Earley's algorithm in Haskell. |
| 257 |
83 |
9 |
a month ago |
HaskellKoans |
Haskell Koans for the Vancouver's Haskell UnMeetup |
| 257 |
15 |
4 |
a month ago |
Hubris |
Bridge from Ruby to Haskell |
| 255 |
5 |
5 |
8 hours ago |
taskell |
Command-line Kanban board/task manager with support for Trello |
| 252 |
53 |
45 |
6 days ago |
haskell-chart |
A 2D charting library for haskell |
| 250 |
28 |
14 |
8 hours ago |
hasql |
An efficient PostgreSQL driver with a flexible mapping API |
| 249 |
17 |
7 |
5 days ago |
friday |
Fast image IO and transformations. |
| 249 |
19 |
25 |
6 days ago |
haskell-tor |
A Haskell implementation of the Tor protocol. |
| 246 |
23 |
23 |
9 hours ago |
selda |
A type-safe, high-level SQL library for Haskell |
| 245 |
5 |
0 |
a month ago |
Sirea |
Simply Reactive! Declarative orchestration in Haskell using RDP |
| 244 |
91 |
12 |
8 days ago |
constellation |
Peer-to-peer encrypted message exchange |
| 244 |
9 |
1 |
2 days ago |
mezzo |
A Haskell library for typesafe music composition |
| 244 |
25 |
11 |
20 hours ago |
pandoc-crossref |
Pandoc filter for cross-references |
| 242 |
48 |
52 |
12 days ago |
doctest |
An implementation of Python's doctest for Haskell |
| 241 |
24 |
25 |
5 days ago |
ru-haskell-book |
учебник по Haskell |
| 237 |
10 |
9 |
7 days ago |
Simula |
3D Window Manager for Linux |
| 235 |
15 |
11 |
9 hours ago |
halive |
Live recompiler for Haskell |
| 235 |
16 |
61 |
3 days ago |
hawk |
Haskell text processor for the command-line |
| 235 |
26 |
38 |
a day ago |
hakaru |
A probabilistic programming language |
| 234 |
26 |
9 |
10 days ago |
lpaste |
Paste service written in Haskell for functional programmers |
| 233 |
58 |
27 |
2 days ago |
tip-toi-reveng |
Trying to understand the file format of Tip Toi |
| 233 |
15 |
47 |
10 hours ago |
haskell-tools |
Developer tools for Haskell |
| 231 |
142 |
151 |
2 days ago |
hackage-server |
Hackage-Server: A Haskell Package Repository |
| 229 |
5 |
0 |
a month ago |
typo |
A programming language that runs in Haskell's type system. |
| 228 |
21 |
0 |
6 hours ago |
haskell-course |
Introductory Haskell course materials (originally CIS 194 @ UPenn) |
| 227 |
6 |
0 |
3 months ago |
sjsp |
Simple JavaScript Profiler |
| 225 |
39 |
11 |
3 days ago |
ad |
Automatic Differentiation |
| 225 |
42 |
11 |
11 hours ago |
sbv |
SMT Based Verification in Haskell. Express properties about Haskell programs and automatically prove them using SMT solvers. |
| 221 |
10 |
0 |
29 days ago |
summer-2015-haskell-class |
Summer 2015 Haskell Class |
| 220 |
33 |
27 |
2 months ago |
combinatorrent |
A bittorrent client written in Haskell |
| 219 |
14 |
5 |
13 days ago |
hbro |
A minimal web-browser written and configured in Haskell. |
| 219 |
22 |
13 |
10 days ago |
pronk |
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. |
| 217 |
18 |
2 |
5 days ago |
atom |
A DSL for embedded hard realtime applications. |
| 217 |
59 |
27 |
12 days ago |
statistics |
A fast, high quality library for computing with statistics in Haskell. |
| 216 |
10 |
2 |
10 days ago |
nstack |
Type-safe, composable microservices for data analytics |
| 216 |
32 |
21 |
3 days ago |
twidge |
Command-line twitter/identica client [Haskell] |
| 216 |
48 |
18 |
6 hours ago |
hedis |
A Redis client library for Haskell. |
| 215 |
14 |
8 |
2 days ago |
airship |
Helium + Webmachine = Airship. A toolkit for building declarative, RESTful web apps. |
| 214 |
69 |
3 |
2 days ago |
applied-fp-course |
None |
| 211 |
75 |
53 |
a day ago |
elm-package |
Command line tool to share Elm libraries |
| 211 |
30 |
1 |
a month ago |
haskelldocumentation |
Repository for collaborative Haskell documentation |
| 210 |
24 |
12 |
12 days ago |
haskanoid |
A breakout game in Haskell using SDL and FRP, with Wiimote and Kinect support. |
| 210 |
26 |
57 |
9 days ago |
LambdaHack |
Haskell game engine library for roguelike dungeon crawlers; try out the browser version at |
| 209 |
16 |
9 |
2 days ago |
generic-lens |
Generically derive traversals, lenses and prisms. |
| 208 |
60 |
39 |
6 days ago |
keter |
Web app deployment manager |
| 205 |
95 |
38 |
7 days ago |
reflex-dom |
None |
| 205 |
38 |
27 |
2 days ago |
beam |
A type-safe, non-TH Haskell SQL library and ORM |
| 205 |
21 |
93 |
7 days ago |
saw-script |
The SAW scripting language. |
| 205 |
20 |
27 |
2 days ago |
husk-scheme |
A practical implementation of the Scheme programming language for the Haskell Platform. |
| 204 |
65 |
14 |
a day ago |
sdl2 |
Haskell bindings to the SDL2 library |
| 203 |
35 |
33 |
2 days ago |
proto-lens |
API for protocol buffers using modern Haskell language and library patterns. |
| 202 |
43 |
11 |
6 days ago |
trifecta |
Parser combinators with highlighting, slicing, layout, literate comments, Clang-style diagnostics and the kitchen sink |
| 202 |
65 |
0 |
5 days ago |
parconc-examples |
Sample code to accompany the book "Parallel and Concurrent Programming in Haskell" |
| 201 |
58 |
4 |
3 days ago |
gloss |
Painless 2D vector graphics, animations and simulations. |
| 201 |
7 |
13 |
20 days ago |
record |
Anonymous records |
| 200 |
18 |
43 |
9 hours ago |
graphql-api |
Write type-safe GraphQL services in Haskell |
| 200 |
5 |
0 |
5 days ago |
z |
A strict, impure, curried, partially applied programming language with rather peculiar syntax. |
| 198 |
27 |
1 |
12 days ago |
par-tutorial |
A tutorial on Parallel and Concurrent Haskell |
| 196 |
20 |
15 |
3 days ago |
Rome |
A cache tool for Carthage |
| 195 |
29 |
48 |
4 days ago |
Frames |
Data frames for tabular data. |
| 195 |
20 |
1 |
7 days ago |
slides |
Slides from talks that I give |
| 194 |
15 |
0 |
a day ago |
nanochain |
A minimal viable blockchain |
| 193 |
14 |
13 |
3 days ago |
ermine |
The Ermine Programming Language - Join us on irc.freenode.net #ermine |
| 193 |
19 |
14 |
12 days ago |
Reduceron |
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. |
| 193 |
16 |
3 |
a month ago |
9m |
9m Unicode URL Shortener |
| 190 |
14 |
0 |
2 days ago |
mmaclone |
A simple Wolfram Language clone in Haskell |
| 189 |
20 |
27 |
12 hours ago |
pact |
The Pact Smart Contract Language |
| 189 |
97 |
36 |
12 days ago |
aws |
Amazon Web Services for Haskell |
| 188 |
47 |
7 |
8 days ago |
async |
Run IO operations asynchronously and wait for their results |
| 188 |
5 |
1 |
8 days ago |
givegif |
GIFs on the command line |
| 188 |
10 |
9 |
3 days ago |
gifcurry |
👉 Your open source video to GIF maker built with Haskell. |
| 187 |
82 |
10 |
8 hours ago |
haskell |
Exercism exercises in Haskell. |
| 187 |
10 |
2 |
a month ago |
owlcloud |
OwnCloud for owls done via The Microservice Architecture |
| 186 |
19 |
6 |
7 days ago |
hi |
Generate scaffold for a Haskell project |
| 185 |
5 |
0 |
a month ago |
vado |
A web browser engine written in Haskell |
| 184 |
29 |
7 |
5 days ago |
llvm-hs |
Haskell bindings for LLVM |
| 183 |
19 |
1 |
22 days ago |
cheatsheet |
A Haskell CheatSheet in PDF and literate source formats. |
| 183 |
19 |
3 |
11 hours ago |
antigen-hs |
A fast zsh plugin manager |
| 183 |
23 |
0 |
16 days ago |
quine |
haskell, opengl, toy project |
| 182 |
49 |
13 |
3 days ago |
scion |
IDE library for Haskell based on the GHC API. |
| 179 |
16 |
19 |
4 days ago |
concat |
Constrained categories |
| 179 |
67 |
20 |
6 days ago |
snap-server |
A fast HTTP server library, which runs Snap web handlers. |
| 179 |
4 |
6 |
a day ago |
forest-compiler |
A multi-syntax functional programming language that compiles to WebAssembly. |
| 179 |
52 |
40 |
12 days ago |
esqueleto |
Bare bones, type-safe EDSL for SQL queries on persistent backends. |
| 177 |
48 |
27 |
a month ago |
hdevtools |
REPO UNMAINTAINED!!! Try this: https://github.com/hdevtools/hdevtools/ |
| 176 |
17 |
2 |
6 days ago |
hue-dashboard |
A web interface for monitoring and controlling Philips Hue lights |
| 176 |
26 |
5 |
7 days ago |
lucid |
Clear to write, read and edit DSL for writing HTML |
| 176 |
29 |
10 |
12 days ago |
haskell-relational-record |
This repository includes a joined query generator based on typefull relational algebra, and mapping tools between SQL values list and Haskell record type. |
| 175 |
37 |
24 |
10 days ago |
Vinyl |
Extensible Records for Haskell. Pull requests welcome! Come visit us on #vinyl on freenode. |
| 175 |
21 |
0 |
10 days ago |
lex-pass |
manipulate a php codebase using haskell to transform the abstract-syntax-tree |
| 175 |
33 |
3 |
a day ago |
1HaskellADay |
None |
| 174 |
14 |
0 |
7 days ago |
unit-test-example |
Unit test example for Haskell |
| 174 |
21 |
12 |
8 days ago |
csound-expression |
Haskell Framework for Electronic Music |
| 173 |
76 |
67 |
12 days ago |
postgresql-simple |
Mid-level client library for accessing PostgreSQL from Haskell |
| 173 |
39 |
54 |
3 days ago |
elm-repl |
A REPL for Elm |
| 171 |
13 |
2 |
2 days ago |
android-lint-summary |
Prettier display of Android Lint issues |
| 170 |
6 |
10 |
23 days ago |
HerbiePlugin |
GHC plugin that improves Haskell code's numerical stability |
| 170 |
13 |
15 |
a month ago |
frp-arduino |
Arduino programming without the hassle of C. |
| 170 |
41 |
27 |
12 days ago |
acid-state |
Add ACID guarantees to any serializable Haskell data structure |
| 169 |
54 |
29 |
11 days ago |
elm-make |
A build tool for Elm projects |
| 169 |
35 |
2 |
5 days ago |
servant-persistent |
A brief example of Servant with Persistent |
| 168 |
27 |
8 |
a day ago |
inline-c |
None |
| 166 |
21 |
11 |
2 days ago |
incredible |
The Incredible Proof Machine |
| 165 |
11 |
1 |
5 days ago |
idris-erlang |
Erlang Backend for Idris Compiler |
| 165 |
41 |
14 |
a month ago |
QuickFuzz |
An experimental grammar fuzzer in Haskell using QuickCheck |
| 165 |
17 |
7 |
20 days ago |
scalpel |
A high level web scraping library for Haskell. |
| 165 |
122 |
69 |
a day ago |
xmonad-contrib |
Contributed modules for xmonad |
| 164 |
5 |
2 |
6 days ago |
muesli |
An alternative approach to Soylent |
| 163 |
37 |
19 |
12 days ago |
Juicy.Pixels |
Haskell library to load & save pictures |
| 163 |
18 |
30 |
12 days ago |
hercules |
Continuous Integration for Nix projects |
| 163 |
8 |
254 |
a day ago |
luna-studio |
None |
| 162 |
13 |
2 |
17 hours ago |
funflow |
Functional workflows |
| 161 |
29 |
14 |
4 days ago |
Yampa |
Domain-specific language embedded in Haskell for programming hybrid (mixed discrete-time and continuous-time) systems. Yampa is based on the concepts of Functional Reactive Programming (FRP) and is structured using arrow combinators. |
| 161 |
83 |
30 |
4 days ago |
text |
An efficient packed, immutable Unicode text type for Haskell, with a powerful loop fusion optimization framework. |
| 161 |
101 |
113 |
12 days ago |
containers |
Assorted concrete container types |
| 160 |
115 |
16 |
7 days ago |
network |
Low-level networking interface |
| 159 |
11 |
5 |
3 days ago |
movie-monad |
📺 A free and simple to use video player made with Haskell. |
| 158 |
3 |
3 |
12 days ago |
silica |
optics for Haskell with the most amazing type errors you've seen |
| 157 |
27 |
4 |
a day ago |
vty |
A high-level ncurses alternative written in Haskell |
| 157 |
38 |
25 |
10 days ago |
blaze-html |
A blazingly fast HTML combinator library for Haskell. |
| 156 |
8 |
1 |
8 days ago |
apecs |
a fast, type driven, extensible ECS for game development |
| 156 |
4 |
0 |
26 days ago |
gifstream |
Make interactive games in Haskell using GIF streams that can be shown in the web browser |
| 155 |
13 |
0 |
3 months ago |
lambdacube-edsl |
Previous version of LambdaCube 3D as Embedded Domain Specific Language in Haskell. Check the latest system: |
| 153 |
27 |
8 |
6 days ago |
monad-bayes |
A library for probabilistic programming in Haskell. |
| 153 |
27 |
47 |
10 days ago |
cabal-dev |
A wrapper program around cabal and cabal-install that maintains sandboxed build environments. |
| 152 |
22 |
9 |
11 hours ago |
microlens |
A lightweight (but compatible with ‘lens’) lenses library |
| 151 |
36 |
78 |
2 days ago |
hadrian |
Hadrian: a new build system for the Glasgow Haskell Compiler |
| 150 |
12 |
2 |
10 days ago |
nvim-hs |
Neovim API for Haskell plugins as well as the plugin provider |
| 150 |
19 |
12 |
a day ago |
echidna |
Ethereum fuzz testing framework |
| 150 |
11 |
3 |
4 months ago |
shade |
Interactive, client-side web apps in Haskell |
| 150 |
7 |
6 |
4 days ago |
massiv |
Efficient Haskell Arrays featuring Parallel computation |
| 149 |
17 |
0 |
4 days ago |
dth |
Examples of Dependently-typed programs in Haskell |
| 147 |
17 |
2 |
12 days ago |
HaskellStarter |
A project that demonstrates getting up and running with Haskell. |
| 147 |
9 |
1 |
6 days ago |
haskell |
Haskell 俯瞰まとめ |
| 147 |
21 |
0 |
a month ago |
c-repl |
a C read-eval-print loop (abandoned) |
| 147 |
75 |
64 |
3 days ago |
vector |
An efficient implementation of Int-indexed arrays (both mutable and immutable), with a powerful loop optimisation framework . |
| 146 |
3 |
13 |
a day ago |
inline-rust |
Use snippets of Rust inline in your Haskell programs |
| 146 |
25 |
2 |
a day ago |
geordi |
IRC C++ eval bot |
| 145 |
40 |
32 |
12 days ago |
gogol |
A comprehensive Google Services SDK for Haskell. |
| 144 |
72 |
40 |
12 days ago |
cassava |
A CSV parsing and encoding library optimized for ease of use and high performance |
| 144 |
34 |
42 |
4 days ago |
pandoc-citeproc |
Library and executable for using citeproc with pandoc |
| 143 |
25 |
27 |
3 days ago |
tagsoup |
Haskell library for parsing and extracting information from (possibly malformed) HTML/XML documents |
| 143 |
11 |
1 |
2 days ago |
hask |
Category theory for Haskell with a lens flavor (you need GHC 7.8.3, not 7.8.2 to build this!) |
| 143 |
23 |
6 |
a month ago |
graphql-haskell |
Haskell GraphQL implementation |
| 143 |
4 |
0 |
3 months ago |
rei |
Process lists easily |
| 143 |
4 |
3 |
1 year, 1 month ago |
visi |
The Visi Language and iPad IDE |
| 143 |
22 |
7 |
30 days ago |
zeromq-haskell |
This repository has been moved to https://gitlab.com/twittner/zeromq-haskell |
| 142 |
7 |
1 |
6 days ago |
tinyjit |
Haskell JIT |
| 142 |
5 |
13 |
2 months ago |
blip |
A bytecode compiler for Python 3 |
| 142 |
13 |
4 |
12 days ago |
quickspec |
Equational laws for free |
| 142 |
21 |
17 |
8 days ago |
ohaskell.guide |
Ваша первая книга о языке Haskell |
| 141 |
33 |
7 |
a month ago |
PortFusion |
Haskell-powered cross-platform transport-layer distributed reverse / forward proxy & tunneling solution – currently available for all TCP protocols (RDP, VNC, HTTP(S), SSH, ...). |
| 141 |
14 |
30 |
2 days ago |
language-c-inline |
Inline C & Objective-C in Haskell |
| 141 |
16 |
4 |
29 days ago |
Algorithm-W-Step-By-Step |
Classic Algorithm W for type inference. |
| 141 |
14 |
1 |
a month ago |
hulk |
Haskell IRC daemon. |
| 140 |
130 |
7 |
12 days ago |
learn-you-a-haskell-exercises |
None |
| 140 |
8 |
1 |
2 months ago |
chips |
A clone of Chips Challenge in Haskell |
| 139 |
12 |
0 |
6 days ago |
auto |
Haskell DSL and platform providing denotational, compositional api for discrete-step, locally stateful, interactive programs, games & automations. http://hackage.haskell.org/package/auto |
| 138 |
17 |
8 |
a day ago |
Haskell-Optparse-Generic-Library |
Auto-generate a command-line parser for your datatype |
| 137 |
40 |
5 |
10 days ago |
critbit |
A Haskell implementation of crit-bit trees. |
| 137 |
38 |
39 |
2 days ago |
esqueleto |
New home of Esqueleto, please file issues so we can get things caught up! |
| 137 |
42 |
22 |
12 days ago |
linear |
Low-dimensional linear algebra primitives for Haskell. |
| 137 |
23 |
15 |
12 days ago |
codex |
A ctags file generator for cabal/stack project dependencies. |
| 137 |
31 |
17 |
a day ago |
groundhog |
This library maps datatypes to a relational model, in a way similar to what ORM libraries do in OOP. See the tutorial http://www.fpcomplete.com/user/lykahb/groundhog for introduction |
| 136 |
14 |
9 |
19 hours ago |
bake |
UNMAINTAINED: Continuous integration server |
| 136 |
19 |
0 |
12 hours ago |
ddc |
The Disco Discus Compiler |
| 136 |
17 |
6 |
7 hours ago |
uplink |
A distributed ledger for secure multiparty workflows in financial markets. |
| 135 |
7 |
7 |
12 days ago |
squeal |
Squeal, a deep embedding of SQL in Haskell |
| 135 |
8 |
1 |
a month ago |
BigPixel |
Pixel art for games |
| 135 |
3 |
1 |
22 days ago |
proofsweeper |
Play Minesweeper by formally proving your moves in Idris |
| 134 |
58 |
16 |
a month ago |
hs-webdriver |
A Haskell client for the Selenium WebDriver protocol. |
| 134 |
12 |
2 |
12 days ago |
Haskell-Typed-Spreadsheet-Library |
Typed and composable spreadsheets |
| 134 |
23 |
45 |
a month ago |
ajhc |
A fork of jhc. And also a Haskell compiler. |
| 132 |
10 |
1 |
a month ago |
aws-lambda-haskell |
Running Haskell code on AWS Lambda |
| 132 |
69 |
46 |
a day ago |
package.elm-lang.org |
website for browsing packages and exploring documentation |
| 132 |
59 |
54 |
12 days ago |
unordered-containers |
Efficient hashing-based container types |
| 132 |
42 |
31 |
a month ago |
llvm-general |
Rich LLVM bindings for Haskell (with transfer of LLVM IR to and from C++, detailed compilation pass control, etc.) |
| 131 |
5 |
5 |
a month ago |
music-suite |
Meta-package to install the Music Suite |
| 130 |
2 |
0 |
18 hours ago |
greenclip |
Simple clipboard manager to be integrated with rofi - Static binary available |
| 130 |
28 |
2 |
a month ago |
AoPL |
A book on programming languages, using Haskell |
| 130 |
7 |
4 |
a month ago |
thesis |
Richard A. Eisenberg's PhD Dissertation |
| 130 |
71 |
81 |
12 days ago |
gtk2hs |
GUI library for Haskell based on GTK+ |
| 129 |
50 |
25 |
10 days ago |
HTTP |
Haskell HTTP package |
| 129 |
7 |
1 |
7 days ago |
shentong |
A Haskell implementation of the Shen programming language. |
| 128 |
17 |
3 |
11 days ago |
dotfiles-tilingwm |
Tiling window manager related files (XMonad / i3) including configuration for components that create a good, minimal desktop-environment replacement. |
| 128 |
25 |
21 |
5 days ago |
singletons |
Fake dependent types in Haskell using singletons |
| 128 |
21 |
3 |
12 days ago |
haskellers |
haskellers.com site |
| 128 |
9 |
1 |
3 days ago |
TypedFlow |
Typed frontend to TensorFlow and higher-order deep learning |
| 127 |
7 |
0 |
26 days ago |
redish |
A multi-threaded, TCP, key-value store inspired by Redis implemented in Haskell. |
| 127 |
7 |
13 |
3 days ago |
inline-java |
Haskell/Java interop via inline Java code in Haskell modules. |
| 127 |
10 |
5 |
4 days ago |
haskelllive |
Source code of the Haskell Live episodes. |
| 127 |
48 |
5 |
8 days ago |
twitter-conduit |
Twitter API package for Haskell, including enumerator interfaces and Streaming API supports. |
| 127 |
13 |
3 |
2 days ago |
lhc |
The LLVM LHC Haskell Optimization System |
| 126 |
59 |
44 |
10 days ago |
digestive-functors |
A general way to consume input using applicative functors |
| 126 |
11 |
1 |
19 days ago |
Copilot |
A (Haskell DSL) stream language for generating hard real-time C code. |
| 125 |
59 |
82 |
a day ago |
haskell-src-exts |
Manipulating Haskell source: abstract syntax, lexer, parser, and pretty-printer |
| 125 |
55 |
19 |
20 hours ago |
alex |
A lexical analyser generator for Haskell |
| 124 |
33 |
34 |
21 hours ago |
c2hs |
c2hs is a pre-processor for Haskell FFI bindings to C libraries |
| 124 |
15 |
46 |
3 months ago |
ide-backend |
ide-backend drives the GHC API to build, query, and run your code |
| 124 |
32 |
27 |
2 days ago |
psc-package |
A package manager for PureScript based on package sets |
| 124 |
23 |
7 |
7 days ago |
hint |
Runtime Haskell interpreter |
| 124 |
8 |
2 |
29 days ago |
postgres-websockets |
PostgreSQL + Websockets |
| 124 |
118 |
34 |
6 days ago |
http-client |
An HTTP client engine, intended as a base layer for more user-friendly packages. |
| 124 |
9 |
4 |
4 days ago |
ComonadSheet |
A library for expressing "spreadsheet-like" computations with absolute and relative references, using fixed-points of n-dimensional comonads. |
| 121 |
11 |
27 |
18 hours ago |
streamly |
Beautiful Streaming, Concurrent and Reactive Composition (Haskell) |
| 121 |
38 |
1 |
7 days ago |
ruhaskell |
Главный сайт сообщества |
| 121 |
16 |
0 |
2 days ago |
glambda |
The home of the Glamorous Glambda interpreter |
| 121 |
7 |
0 |
20 days ago |
blackstar |
A black hole raytracer written in Haskell |
| 121 |
22 |
0 |
13 days ago |
engine.io |
A Haskell server implementation of the Engine.IO and Socket.IO (1.0) protocols |
| 120 |
32 |
19 |
10 days ago |
hsenv |
Virtual Haskell Environment builder |
| 120 |
10 |
9 |
12 days ago |
typed-wire |
Language independent type-safe communication |
| 119 |
76 |
14 |
12 days ago |
stack-templates |
Project templates for stack new |
| 119 |
58 |
37 |
11 days ago |
lambdabot |
A friendly IRC bot and apprentice coder, written in Haskell. |
| 119 |
37 |
14 |
2 days ago |
HaTeX |
The Haskell LaTeX library. |
| 118 |
17 |
2 |
8 days ago |
redo |
djb's redo implementation in Haskell (for Haskell from Scratch video series) |
| 118 |
15 |
14 |
5 days ago |
numerical |
Numerical is the core library for Numerical Haskell |
| 118 |
16 |
14 |
8 days ago |
HandsomeSoup |
Easy HTML parsing for Haskell |
| 118 |
6 |
2 |
3 days ago |
ghc-proofs |
Let GHC prove program equations for you |
| 117 |
5 |
13 |
20 days ago |
HaskellSpriteKit |
Haskell binding to Apple's SpriteKit framework |
| 117 |
10 |
0 |
13 days ago |
haskeleton |
💀 A Haskell package skeleton. |
| 117 |
23 |
20 |
6 days ago |
configurator |
A Haskell library supporting flexible, dynamic file-based configuration. |
| 116 |
7 |
5 |
22 hours ago |
plate |
Experiment only, don't actually use. |
| 116 |
4 |
7 |
a month ago |
mote |
None |
| 116 |
7 |
0 |
4 days ago |
DontFearTheProfunctorOptics |
Don't Fear the Profunctor Optics! |
| 115 |
30 |
7 |
12 hours ago |
language-python |
A parser for Python 2.x and 3.x written in Haskell |
| 115 |
8 |
0 |
4 months ago |
Botworld |
A cellular automaton for studying self-modifying agents which are embedded in their environment |
| 115 |
7 |
5 |
4 days ago |
git-mediate |
Resolve trivial conflicts |
| 115 |
8 |
2 |
a month ago |
wisp |
small-but-featureful embeddable lisp interpreter written in haskell. |
| 115 |
13 |
4 |
18 hours ago |
prettyprinter |
A modern, extensible and well-documented prettyprinter. |
| 115 |
39 |
12 |
3 days ago |
haskell-telegram-api |
Telegram Bot API for Haskell |
| 114 |
13 |
0 |
a month ago |
1HAD |
1 Haskell A Day exercises |
| 114 |
12 |
1 |
2 months ago |
idris-php |
Yes, really... |
| 114 |
5 |
16 |
25 days ago |
idris-vimscript |
Compile Idris to Vimscript, like you always wanted. |
| 114 |
10 |
2 |
11 days ago |
transient-universe |
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 |
| 113 |
79 |
35 |
4 days ago |
cabal2nix |
Generate Nix build instructions from a Cabal file |
| 113 |
26 |
24 |
6 days ago |
HaRe |
The Haskell Refactoring Tool |
| 113 |
24 |
19 |
5 days ago |
OpenGL |
Haskell bindings to OpenGL |
| 113 |
23 |
3 |
a day ago |
extensible-effects |
Extensible Effects: An Alternative to Monad Transformers |
| 113 |
10 |
0 |
a month ago |
Neks |
A dead simple networked key/value store |
| 112 |
15 |
1 |
3 days ago |
req |
Easy-to-use, type-safe, expandable, high-level HTTP client library |
| 112 |
9 |
11 |
5 days ago |
idris-cil |
A Common Intermediate Language backend for Idris. |
| 112 |
14 |
17 |
5 days ago |
hevm |
A debug-oriented Ethereum VM (EVM) |
| 112 |
1 |
5 |
20 hours ago |
asterius |
A Haskell to WebAssembly compiler |
| 111 |
16 |
0 |
25 days ago |
gwern.net |
Website: writings on statistics, psychology, self-experiments, black-markets, philosophy, etc |
| 111 |
13 |
0 |
21 days ago |
minghc |
DEPRECATED: Windows installer for GHC including msys |
| 111 |
7 |
0 |
21 days ago |
tetris |
A terminal interface for Tetris |
| 111 |
29 |
17 |
12 days ago |
gitlib |
None |
| 111 |
30 |
3 |
12 days ago |
yesod-cookbook |
Cookbook documentation |
| 111 |
20 |
3 |
12 days ago |
formatting |
Format strings type-safely with combinators |
| 110 |
3 |
0 |
a day ago |
auth-adt |
Authenticated Data Structures Generically |
| 110 |
5 |
0 |
2 days ago |
Smudge |
A domain-specific language for state machines. |
| 110 |
6 |
1 |
6 days ago |
getting-started-with-haskell |
notes on where to find Haskell tutorials and tips to complete them |
| 109 |
16 |
9 |
7 days ago |
lambda-ccc |
Convert lambda expressions to CCC combinators |
| 109 |
4 |
2 |
9 days ago |
gotta-go-fast |
A command line utility for practicing typing and measuring your WPM and accuracy. |
| 109 |
39 |
24 |
7 days ago |
cborg |
Binary serialisation in the CBOR format |
| 109 |
15 |
0 |
a month ago |
hnn |
haskell neural network library |
| 109 |
16 |
18 |
2 months ago |
vimus |
An MPD client with vim-like key bindings, written in Haskell |
| 109 |
20 |
18 |
10 days ago |
uhc |
None |
| 109 |
7 |
3 |
5 days ago |
ghc-hotswap |
Example code for how we swap compiled code within a running Haskell process. |
| 108 |
7 |
2 |
2 days ago |
caledon |
higher order dependently typed logic programing |
| 108 |
32 |
10 |
21 hours ago |
mtl |
The Monad Transformer Library |
| 108 |
40 |
57 |
2 days ago |
tamarin-prover |
Main source code repository of the Tamarin prover for security protocol verification. |
| 108 |
13 |
0 |
11 days ago |
datagraph |
None |
| 107 |
37 |
11 |
3 days ago |
texmath |
A Haskell library for converting LaTeX math to MathML. |
| 107 |
4 |
7 |
12 days ago |
powerline-hs |
A lightning fast reimplementation of the Powerline prompt generator in Haskell. |
| 107 |
2 |
1 |
4 days ago |
jsonwatch |
Track changes in JSON data from the command line |
| 106 |
29 |
0 |
10 days ago |
pearls |
Pearls of Functional Algorithm Design by Richard Bird - Haskell Code |
| 106 |
13 |
3 |
3 days ago |
plutus-prototype |
None |
| 106 |
10 |
6 |
3 days ago |
vaultenv |
Launch processes with Vault secrets in the environment |
| 106 |
5 |
3 |
3 days ago |
micro-ci |
A tiny CI server built around GitHub and Nix |
| 106 |
10 |
0 |
2 months ago |
cubical |
Implementation of Univalence in Cubical Sets |
| 106 |
11 |
3 |
a month ago |
hadron |
Construct and run Hadoop MapReduce programs in Haskell |
| 105 |
62 |
35 |
25 days ago |
msgpack-haskell |
Haskell implementation of MessagePack / msgpack.org[Haskell] |
| 105 |
12 |
27 |
16 days ago |
hoodle |
hoodle : A pen notetaking program written in haskell |
| 105 |
2 |
2 |
26 days ago |
jsn |
An absolutely simple & terse CLI app to manipulate JSON data |
| 105 |
10 |
6 |
9 days ago |
hopper-v0 |
a sound modern language for computation and transactional resource logic |
| 104 |
3 |
0 |
6 days ago |
tiny-optimising-compiler |
A tiny optimising compiler for an imperative programming language written in haskell |
| 104 |
8 |
5 |
5 days ago |
elerea |
A simple FRP library providing leak-free first-class streams. |
| 104 |
17 |
18 |
4 months ago |
blaze-react |
A blaze-html style ReactJS binding for Haskell using GHCJS |
| 103 |
9 |
8 |
8 hours ago |
stratosphere |
Haskell EDSL and type-checker for AWS CloudFormation templates |
| 103 |
36 |
17 |
12 days ago |
elm-export |
Create Elm types and JSON decoders from Haskell source. |
| 103 |
14 |
4 |
10 days ago |
mighttpd2 |
File/CGI web server on warp |
| 103 |
12 |
6 |
a month ago |
kontiki |
An implementation of the Raft consensus protocol |
| 102 |
36 |
26 |
a month ago |
llvm |
Haskell bindings to the LLVM compiler infrastructure project. |
| 102 |
7 |
0 |
16 hours ago |
dino-rush |
🌋 Endless runner game |
| 102 |
10 |
0 |
3 months ago |
haskell-amuse-bouche |
A short technical talk about some fun things in Haskell |
| 102 |
16 |
41 |
2 days ago |
mafia |
Provides protection against cabal swindling, robbing, injuring or sabotaging people with chopsticks. |
| 102 |
16 |
2 |
a month ago |
HaNS |
The haskell network stack |
| 101 |
52 |
25 |
4 days ago |
free |
free monads |
| 101 |
12 |
24 |
a month ago |
streaming |
An optimized general monad transformer for streaming applications, with a simple prelude of functions |
| 101 |
32 |
14 |
8 days ago |
haskell-opencv |
Haskell binding to OpenCV-3.x |
| 100 |
65 |
15 |
3 days ago |
shakespeare |
Haml-like template files that are compile-time checked |
| 100 |
16 |
3 |
5 days ago |
accelerate-llvm |
LLVM backend for Accelerate |
| 100 |
2 |
0 |
13 days ago |
oHm |
Om with Haskell in it |
| 100 |
5 |
12 |
a month ago |
luminance |
Type-safe, type-level and stateless Haskell graphics framework |
| 99 |
9 |
2 |
a month ago |
basilica |
It's kinda like a forum. |
| 99 |
28 |
7 |
5 days ago |
amqp |
Haskell AMQP client library |
| 99 |
25 |
8 |
22 hours ago |
recursion-schemes |
Generalized bananas, lenses and barbed wire |
| 99 |
5 |
3 |
1 year, 1 month ago |
SimpleFP-v2 |
A re-do of the SimpleFP repo using de Bruijn index ABTs instead of HOAS |
| 99 |
12 |
6 |
a month ago |
pdf-toolbox |
A collection of tools for processing PDF files in Haskell |
| 99 |
14 |
1 |
5 days ago |
haskell-sdl2-examples |
SDL2 tutorial code in Haskell |
| 99 |
20 |
15 |
27 days ago |
zoomhub |
Share and view high-resolution images effortlessly |
| 99 |
6 |
0 |
a day ago |
elsa |
Elsa is a lambda calculus evaluator |
| 99 |
13 |
0 |
4 days ago |
awesome-open-science |
some links to projects/tools related to "open science". |
| 98 |
30 |
8 |
12 days ago |
katip |
A structured logging framework for Haskell |
| 98 |
59 |
12 |
12 days ago |
logger |
A fast logging system for Haskell |
| 98 |
11 |
2 |
8 days ago |
android-haskell-activity |
An example of an Android Activity written in Haskell |
| 98 |
16 |
5 |
2 days ago |
smallcheck |
smallcheck: test your Haskell code by exhaustively checking its properties |
| 97 |
32 |
2 |
12 days ago |
haskell-exercises |
Haskell exercises with automatic tests |
| 97 |
4 |
0 |
10 days ago |
Lemmachine |
REST'ful web framework in Agda |
| 97 |
3 |
22 |
9 days ago |
quickcheck-state-machine |
Test monadic programs using state machine based models |
| 97 |
7 |
2 |
2 days ago |
hamilton |
Simulate physics on generalized coordinate systems using Hamiltonian Mechanics and automatic differentiation. Don't throw away your shot. |
| 97 |
4 |
0 |
a month ago |
rust-haskell-ffi |
Toy example of calling Rust from Haskell |
| 97 |
27 |
4 |
20 days ago |
language-javascript |
Parser for JavaScript, in Haskell |
| 96 |
7 |
13 |
3 months ago |
ObjectiveHaskell |
Tools for making it easier to integrate Haskell and Objective-C. |
| 96 |
41 |
16 |
12 days ago |
mono-traversable |
Type classes for mapping, folding, and traversing monomorphic containers |
| 96 |
12 |
0 |
6 days ago |
example-servant-elm |
Example for a web app with a servant backend and an elm frontend |
| 95 |
8 |
35 |
13 days ago |
magic-haskell |
魔力haskell官方网站 |
| 95 |
25 |
20 |
12 days ago |
hxt |
Haskell XML Toolbox |
| 95 |
19 |
16 |
3 days ago |
hsdev |
Haskell development tool |
| 95 |
5 |
0 |
17 hours ago |
nn |
A tiny neural network 🧠 |
| 94 |
9 |
29 |
3 months ago |
ling |
LINear LaNGuage: Type Theory and Process Calculi for Distributed and High-precision programming |
| 94 |
5 |
1 |
10 days ago |
haskell-game-programming |
A central repository of Haskell Game Programming resources, put together by Keera Studios |
| 94 |
12 |
5 |
11 days ago |
dominion |
A Dominion simulator in Haskell |
| 94 |
25 |
9 |
17 days ago |
servant-elm |
Automatically derive Elm functions to query servant webservices |
| 94 |
16 |
16 |
2 months ago |
hastache |
Haskell implementation of Mustache template |
| 94 |
34 |
18 |
a day ago |
fgl |
A Functional Graph Library for Haskell |
| 93 |
4 |
0 |
4 months ago |
hinance |
Automated personal bookkeeping for hackers. |
| 93 |
49 |
23 |
14 hours ago |
happy |
The Happy parser generator for Haskell |
| 93 |
3 |
5 |
7 hours ago |
curl-runnings |
A framework for writing declarative, curl based tests for your APIs |
| 93 |
29 |
18 |
12 days ago |
monad-par |
None |
| 93 |
13 |
52 |
4 days ago |
dyna |
Dyna2 compiler and REPL |
| 93 |
12 |
8 |
10 days ago |
neural |
Neural Nets in native Haskell |
| 93 |
12 |
39 |
11 hours ago |
dejafu |
Systematic concurrency testing meets Haskell. |
| 93 |
8 |
6 |
4 months ago |
turbinado |
MVC Web Framework for Haskell. See http://github.com/turbinado/turbinado-website for example code |
| 93 |
21 |
10 |
2 days ago |
haskell-gi |
Generate Haskell bindings for GObject-Introspection capable libraries |
| 92 |
9 |
5 |
3 months ago |
haskell-rethinkdb |
RethinkDB client library for Haskell |
| 92 |
3 |
0 |
11 days ago |
ditto |
A Super Kawaii Dependently Typed Programming Language |
| 92 |
6 |
0 |
4 days ago |
cellularAutomata |
a collection of cellular automata written in Haskell with Diagrams |
| 92 |
2 |
1 |
11 days ago |
master-plan |
Project Management for Hackers |
| 92 |
4 |
0 |
11 days ago |
codec-beam |
Generate Erlang VM byte code from Haskell |
| 91 |
4 |
1 |
2 days ago |
cedille-core |
A minimal (600 LOC) programming language capable of proving theorems about its own terms. |
| 91 |
14 |
9 |
a month ago |
GPipe-Core |
Core library of new GPipe, encapsulating OpenGl and providing a type safe minimal library |
| 91 |
4 |
0 |
4 months ago |
crisp-compiler |
A compiler for Crisp (Lisp/Scheme-inspired language) in Haskell, with an LLVM backend |
| 91 |
50 |
2 |
10 days ago |
heist |
An xhtml-based templating engine, allowing Haskell functions to be bound to XML tags. |
| 90 |
8 |
7 |
5 days ago |
diagrams |
Embedded domain-specific language for declarative vector graphics (wrapper package) |
| 90 |
11 |
1 |
8 days ago |
recursion-drill |
Drill to study recursive programming in Haskell |
| 90 |
13 |
5 |
8 days ago |
styx |
A nix-based Haskell project manager |
| 90 |
4 |
0 |
24 days ago |
quantfin |
quant finance in pure haskell |
| 90 |
23 |
13 |
6 days ago |
hashtables |
Mutable hash tables for Haskell, in the ST monad |
| 89 |
14 |
4 |
a month ago |
shell-conduit |
Write shell scripts with Conduit |
| 89 |
42 |
34 |
9 days ago |
servant-auth |
None |
| 89 |
8 |
3 |
6 days ago |
idris-py |
Python backend for Idris (generates Python source, not bytecode). |
| 89 |
11 |
1 |
7 hours ago |
merkle-tree |
Merkle Trees and Merkle Proofs |
| 89 |
43 |
14 |
2 days ago |
stripe |
💰 Stripe API |
| 89 |
57 |
65 |
3 days ago |
bytestring |
An efficient compact, immutable byte string type (both strict and lazy) suitable for binary or 8-bit character data. |
| 89 |
11 |
0 |
4 months ago |
netwire-classics |
Classic games recreated in netwire |
| 89 |
26 |
7 |
11 days ago |
mongodb |
MongoDB driver for Haskell |
| 89 |
25 |
4 |
30 days ago |
repa |
High performance, regular, shape polymorphic parallel arrays. |
| 89 |
8 |
2 |
a month ago |
logitext |
Beautiful, interactive visualizations of logical inference |
| 89 |
19 |
42 |
12 days ago |
nirum |
Nirum: IDL compiler and RPC/distributed object framework for microservices |
| 88 |
28 |
20 |
10 days ago |
hdbc |
Haskell Database Connectivity |
| 88 |
6 |
0 |
10 days ago |
miku |
A tiny web dev DSL |
| 88 |
16 |
6 |
a month ago |
easyVision |
Haskell packages for computer vision, image processing, and pattern recognition |
| 88 |
10 |
5 |
29 days ago |
oczor |
Oczor is a simple statically typed language that compiles to JavaScript, Lua, Ruby and Emacs Lisp |
| 88 |
3 |
0 |
12 days ago |
flow |
💧 Write more understandable Haskell. |
| 88 |
6 |
7 |
a month ago |
vgrep |
A pager for grep |
| 87 |
9 |
4 |
28 days ago |
regex-genex |
Given a list of regexes, generate all possible strings that matches all of them. |
| 87 |
11 |
6 |
11 days ago |
docopt.hs |
A command-line interface description language and parser that will make you smile |
| 87 |
23 |
1 |
8 days ago |
h2048 |
An implementation of the game 2048 in Haskell |
| 87 |
3 |
0 |
1 year, 3 months ago |
LispHaskellIPad |
An iPad app that's a Lisp interpretter... written in Haskell (heh heh heh) |
| 87 |
9 |
0 |
6 months ago |
analytics |
Much of this has moved to ekmett/succinct |
| 87 |
15 |
1 |
12 days ago |
safe-exceptions |
Safe, consistent, and easy exception handling |
| 87 |
2 |
0 |
12 days ago |
HGE2D |
2D game engine written in Haskell |
| 86 |
17 |
13 |
12 days ago |
haskellnews |
An aggregation of all online content related to Haskell. |
| 86 |
27 |
4 |
12 days ago |
io-streams |
Simple, composable, and easy-to-use stream I/O for Haskell |
| 86 |
12 |
2 |
a month ago |
fficxx |
Haskell-C++ Foreign Function Interface Generator |
| 86 |
6 |
0 |
11 days ago |
learn-physics |
A library of functions for vector calculus, calculation of electric field, electric flux, magnetic field, and other quantities in mechanics and electromagnetic theory. |
| 85 |
0 |
0 |
3 days ago |
higher-order-unification |
A small implementation of higher-order unification |
| 85 |
8 |
0 |
19 days ago |
vocabulink |
web application for learning foreign vocabulary |
| 85 |
26 |
16 |
14 days ago |
Lol |
A library for ring-based lattice cryptography |
| 85 |
1 |
0 |
9 days ago |
thank-you-stars |
Give your dependencies stars on GitHub! |
| 84 |
9 |
7 |
12 days ago |
grpc-haskell |
gRPC library binding for Haskell. |
| 84 |
32 |
11 |
5 days ago |
glot-www |
glot.io website |
| 84 |
18 |
12 |
20 days ago |
riak-haskell-client |
A fast Haskell client library for the Riak decentralized data store |
| 84 |
34 |
51 |
15 days ago |
pursuit |
Website for hosting and searching PureScript API documentation |
| 84 |
52 |
46 |
2 days ago |
diagrams-lib |
Diagrams standard library |
| 84 |
37 |
0 |
3 days ago |
snowdrift |
Infrastructure for Snowdrift.coop. This is a MIRROR of https://git.snowdrift.coop/sd/snowdrift. Your issue reports and merge requests are welcome, but they will be moved to git.snowdrift.coop. You are encouraged to start there instead! |
| 84 |
36 |
9 |
12 days ago |
Haskell-Foldl-Library |
Composable, streaming, and efficient left folds |
| 84 |
6 |
7 |
a month ago |
herbalizer |
Convert HAML to ERB |
| 83 |
28 |
1 |
13 days ago |
real-world-haskell |
parser for code samples from the book "real world haskell" (http://book.realworldhaskell.org/read/) |
| 83 |
11 |
4 |
5 days ago |
safe-money |
Haskell library for type-safe and lossless encoding and manipulation of world currencies and precious metals |
| 83 |
6 |
4 |
16 days ago |
argon |
Monitor cyclomatic complexity in Haskell programs |
| 83 |
11 |
3 |
2 months ago |
unm-hip |
The University of New Mexico's Haskell Image Processing Library |
| 83 |
10 |
7 |
29 days ago |
FRPNow |
None |
| 83 |
33 |
2 |
11 days ago |
jaspervdj |
Source code of my personal home page. |
| 83 |
16 |
10 |
7 days ago |
haskell-lsp |
Haskell library for the Microsoft Language Server Protocol |
| 83 |
3 |
2 |
24 days ago |
siege |
[DEPRECATED] A DBMS written in Haskell |
| 83 |
5 |
2 |
24 days ago |
exference |
Haskell tool to generate expressions from types |
| 83 |
24 |
17 |
3 days ago |
hfsnotify |
Unified Haskell interface for basic file system notifications |
| 82 |
2 |
15 |
2 months ago |
awelon |
Awelon project is a new UI model with a new language. |
| 82 |
3 |
0 |
3 days ago |
type-of-html |
High performance type safe html generation |
| 82 |
35 |
26 |
23 hours ago |
haskeline |
A Haskell library for line input in command-line programs. |
| 82 |
29 |
19 |
10 days ago |
mysql-simple |
A mid-level client library for the MySQL database, intended to be fast and easy to use. |
| 82 |
12 |
12 |
12 days ago |
steeloverseer |
A file watcher and development tool. |
| 82 |
4 |
0 |
15 days ago |
tardis |
None |
| 82 |
5 |
6 |
7 days ago |
a-tour-of-go-in-haskell |
Write "Concurrency" section of "A Tour of Go" in Haskell |
| 82 |
1 |
0 |
12 days ago |
ghc-justdoit |
A magic typeclass that just does it |
| 82 |
37 |
8 |
6 days ago |
pool |
A high-performance striped resource pooling implementation for Haskell |
| 82 |
16 |
8 |
a month ago |
game-in-haskell |
None |
| 81 |
9 |
20 |
12 days ago |
importify |
👾 Importi.fy — it's like Uber, but for Haskell modules. |
| 81 |
14 |
9 |
a month ago |
protobuf |
An implementation of Google's Protocol Buffers in Haskell. |
| 81 |
6 |
2 |
13 days ago |
djinn |
Generate Haskell code from a type |
| 81 |
7 |
3 |
a month ago |
toysolver |
My sandbox for experimenting solver algorithms. |
| 81 |
10 |
9 |
3 days ago |
gitit2 |
A reimplementation of gitit in Yesod |
| 81 |
19 |
3 |
9 days ago |
Euterpea2 |
Euterpea version 2 |
| 81 |
10 |
17 |
a day ago |
generics-sop |
Generic Programming using True Sums of Products |
| 81 |
10 |
3 |
3 months ago |
hcraft |
Haskell clone of a certain game |
| 80 |
8 |
1 |
a month ago |
discrimination |
Fast linear time sorting and discrimination for a large class of data types |
| 80 |
12 |
7 |
2 days ago |
DSLsofMath |
Domain Specific Languages of Mathematics |
| 80 |
11 |
5 |
2 months ago |
propagators |
The Art of the Propagator. See also: |
| 80 |
28 |
7 |
4 days ago |
lets-lens |
Course material for lens |
| 80 |
12 |
0 |
a month ago |
ethereum-haskell |
An independent reimplementation of Ethereum in Haskell |
| 80 |
8 |
3 |
a month ago |
clckwrks |
A Haskell CMS platform |
| 80 |
17 |
22 |
12 days ago |
haskell-lockfree |
A collection of different packages for CAS based data structures. |
| 80 |
5 |
1 |
26 days ago |
cryptocompare |
Haskell wrapper for the CryptoCompare API, a source of crypto-currency information and price data |
| 80 |
27 |
7 |
5 days ago |
bound |
Combinators for manipulating locally-nameless generalized de Bruijn terms |
| 80 |
4 |
6 |
30 days ago |
keera-hails |
Keera Hails: Haskell on Rails - Reactive Programming Framework for Interactive Haskell applications |
| 80 |
18 |
5 |
2 months ago |
ircbrowse |
An IRC analysis server. |
| 79 |
36 |
11 |
a month ago |
xlsx |
Simple and incomplete Excel file parser/writer |
| 79 |
17 |
11 |
a month ago |
dyre |
A Dynamic Reconfiguration Library for Haskell Programs |
| 79 |
7 |
0 |
21 days ago |
purify |
Reproducible builds for PureScript |
| 79 |
13 |
1 |
a day ago |
mysql-haskell |
Pure haskell mysql driver |
| 79 |
11 |
11 |
a month ago |
roshask |
Haskell client library for the ROS robotics framework. |
| 78 |
22 |
5 |
19 hours ago |
hs-web3 |
Ethereum API for Haskell. |
| 78 |
17 |
11 |
2 months ago |
ghcjs-examples |
None |
| 78 |
9 |
1 |
a month ago |
Kulitta |
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. |
| 78 |
41 |
26 |
5 months ago |
test-framework |
Framework for running and organising QuickCheck test properties and HUnit test cases |
| 78 |
16 |
10 |
20 days ago |
Peggy |
The Parser Generator for Haskell |
| 78 |
16 |
19 |
a month ago |
lushtags |
Create ctags compatible tags files for Haskell programs |
| 78 |
14 |
0 |
a month ago |
haskoin |
Proof-of-concept Blockchain in Haskell |
| 77 |
17 |
21 |
30 days ago |
Magic |
Haskell implementation of Magic: The Gathering |
| 77 |
14 |
8 |
12 days ago |
haskelldb |
A library for building re-usable and composable SQL queries. |
| 77 |
10 |
11 |
a month ago |
unagi-chan |
A haskell library implementing fast and scalable concurrent queues for x86, with a Chan-like API |
| 77 |
8 |
1 |
a month ago |
qio-haskell |
The Quantum IO Monad, implemented in Haskell |
| 77 |
9 |
4 |
4 days ago |
super-user-spark |
A safe way to never worry about your beautifully configured system again |
| 77 |
15 |
1 |
2 days ago |
haskellbook |
Exercise solutions for haskellbook.com |
| 77 |
8 |
1 |
a month ago |
hailstorm |
Haskell distributed stream processing with exactly-once semantics |
| 76 |
6 |
2 |
a day ago |
weeder |
Detect dead exports or package imports |
| 76 |
4 |
5 |
12 days ago |
haskell-vcache |
large, persistent, memcached values and structure sharing for Haskell |
| 76 |
10 |
7 |
15 days ago |
succinct |
playground for working with succinct data structures |
| 76 |
6 |
1 |
15 days ago |
coda |
A language experiment, something to do on my vacation -- irc.freenode.net ##coda |
| 76 |
6 |
0 |
2 months ago |
veggies |
Hopefully verifiable code generation in GHC |
| 76 |
1 |
1 |
a month ago |
stackage-everything |
»I want Stackage on an airplane and I have only 3 minutes until takeoff« |
| 76 |
20 |
0 |
2 months ago |
vty-ui |
A terminal user interface programming library similar to graphical interfaces such as GTK and QT. (DEPRECATED, see https://github.com/jtdaugherty/brick) |
| 76 |
21 |
7 |
9 days ago |
hssqlppp |
sql parser and type checker in haskell |
| 76 |
9 |
7 |
2 months ago |
dash-haskell |
dash docset builder for Haskell packages and cabal project dependencies |
| 76 |
18 |
7 |
2 days ago |
reflection |
Reifies arbitrary Haskell terms into types that can be reflected back into terms |
| 76 |
16 |
6 |
10 days ago |
tables |
Deprecated because of |
| 75 |
5 |
6 |
8 days ago |
regex-applicative |
Regex-based parsing with applicative interface |
| 75 |
1 |
3 |
a month ago |
Ntha |
The Ntha Programming Language |
| 75 |
14 |
2 |
3 months ago |
Classical-Mechanics |
Haskell toolbox for research and teaching in classical mechanics. Includes modules for symbolic algebra and automatic differentiation. |
| 75 |
31 |
12 |
12 days ago |
hoauth2 |
haskell oauth2 binding |
| 74 |
8 |
13 |
7 days ago |
serverless-haskell |
Deploying Haskell applications to AWS Lambda with Serverless |
| 74 |
12 |
10 |
2 days ago |
build-shootout |
Comparison of build program expressive power |
| 74 |
9 |
0 |
2 months ago |
hobbes |
A cross-platform file activity monitor |
| 74 |
8 |
7 |
a month ago |
howerpoint |
None |
| 73 |
15 |
20 |
a month ago |
forml |
A programming language |
| 73 |
9 |
10 |
23 days ago |
lambdachine |
VM and tracing JIT for Haskell (work in progress) |
| 73 |
4 |
1 |
a month ago |
b-tree |
Haskell on-disk B* tree implementation |
| 73 |
15 |
15 |
11 days ago |
open |
DiffusionKinetics open-source monorepo |
| 73 |
2 |
0 |
a day ago |
strelka |
A simple, flexible and composable web-router |
| 73 |
10 |
0 |
5 days ago |
envy |
😠 Environmentally friendly environment variables |
| 73 |
10 |
1 |
24 days ago |
ifcxt |
constraint level if statements |
| 73 |
11 |
5 |
29 days ago |
ethereum-client-haskell |
None |
| 73 |
3 |
11 |
14 days ago |
bartlett |
A simple Jenkins command line client to serve your needs. |
| 73 |
2 |
0 |
19 days ago |
zurihac-crypto |
Small minimal examples of modern cryptographic techniques in Haskell |
| 73 |
3 |
1 |
13 hours ago |
Bang |
A Drum Machine DSL for Haskell |
| 73 |
11 |
7 |
a day ago |
hfmt |
Format Haskell programs. Inspired by the gofmt utility. |
| 73 |
4 |
1 |
17 days ago |
Haskell-Annah-Library |
Distributed programming language that desugars to Morte |
| 72 |
10 |
1 |
12 days ago |
eventstore |
EventStore Haskell TCP Client |
| 72 |
8 |
1 |
5 months ago |
pdtournament |
Iterated prisoner's dilemma tournament with bots that can perfectly simulate each other. |
| 72 |
7 |
9 |
a day ago |
pretty-simple |
pretty-printer for Haskell data types that have a Show instance |
| 72 |
0 |
3 |
a month ago |
swift-haskell-tutorial |
Integrating Haskell with Swift Mac Apps |
| 72 |
7 |
10 |
4 days ago |
Rasterific |
A drawing engine in Haskell |
| 72 |
6 |
1 |
a day ago |
backprop |
Heterogeneous automatic differentiation ("backpropagation") in Haskell |
| 72 |
8 |
0 |
13 days ago |
mtl-style-example |
A small example of using mtl style to unit test effectful code |
| 72 |
5 |
1 |
a day ago |
project-euler |
interesting solutions to project euler problems |
| 72 |
6 |
0 |
12 days ago |
tal |
An implementation of Typed Assembly Language (Morrisett, Walker, Crary, Glew) |
| 72 |
1 |
1 |
12 days ago |
Hypatia |
A ML-family Language Compiled to Lua |
| 72 |
3 |
0 |
10 days ago |
ImperativeHaskell |
Proof that Haskell can look and act like an imperative language. |
| 72 |
3 |
0 |
12 days ago |
plot |
Simple plotting tool for the terminal |
| 72 |
8 |
2 |
17 days ago |
linklater |
A Haskell library for the Slack API (including real-time messaging!) |
| 71 |
1 |
0 |
20 hours ago |
haskey |
Transactional key-value store written entirely in Haskell |
| 71 |
25 |
17 |
12 days ago |
path |
Typed filepath |
| 71 |
14 |
4 |
a month ago |
units |
The home of the units Haskell package |
| 71 |
4 |
3 |
12 days ago |
theseus |
theseus, functional programming language with fully reversible computation |
| 71 |
5 |
5 |
6 days ago |
frankjnr |
Another implementation of Frank. |
| 71 |
11 |
6 |
5 months ago |
timeplot |
Analyst's swiss army knife for visualizing data from ad-hoc log files |
| 71 |
14 |
2 |
2 months ago |
grid |
Tools for working with regular grids/graphs/lattices. |
| 71 |
20 |
1 |
19 days ago |
funblog |
A simple blog software written in Haskell |
| 70 |
12 |
13 |
12 days ago |
hgrep |
Search Haskell source code from the command line |
| 70 |
17 |
3 |
7 days ago |
haskakafka |
Kafka bindings for Haskell |
| 70 |
7 |
1 |
3 days ago |
cradle |
Let's Build a Compiler (in Haskell) |
| 70 |
3 |
1 |
16 days ago |
apiary |
Simple and type safe web framework that can be automatically generate API documentation. |
| 70 |
8 |
6 |
a month ago |
virthualenv |
Virtual Haskell Environment builder |
| 70 |
1 |
31 |
14 hours ago |
granule |
Granule: a statically typed functional language with graded modal types for fine-grained program reasoning via types |
| 70 |
7 |
0 |
27 days ago |
haskell_game |
Wolfenstein 3D, ray-casting FPS game I make to learn Haskell. No libraries used, rendering is done in terminal. |
| 70 |
5 |
18 |
a month ago |
sudbury |
Haskell implementation of the wayland protocol |
| 70 |
18 |
11 |
26 days ago |
servant-swagger |
Swagger for Servant |
| 69 |
6 |
6 |
a month ago |
ordeal |
None |
| 69 |
26 |
22 |
a month ago |
missingh |
Utility library [Haskell] |
| 69 |
13 |
46 |
12 days ago |
store |
Fast binary serialization |
| 69 |
13 |
0 |
a month ago |
tangaroa |
A toy implementation of the Raft protocol in Haskell, with an experimental BFT variant. |
| 69 |
10 |
0 |
17 days ago |
wstunnel |
Tunneling over websocket protocol - Static binary available |
| 68 |
8 |
0 |
a month ago |
api-server |
A JSON API server written in Haskell |
| 68 |
17 |
11 |
a day ago |
herms |
🍲🍴 A command-line manager for delicious kitchen recipes |
| 68 |
3 |
0 |
3 months ago |
type-inference |
Unification and type inference algorithms |
| 68 |
6 |
4 |
a month ago |
hipspec |
A hip inductive theorem prover! |
| 68 |
13 |
8 |
8 days ago |
tinc |
A dependency manager for Haskell |
| 68 |
13 |
7 |
12 days ago |
ghc-vis |
Visualize live Haskell data structures in GHCi |
| 68 |
40 |
35 |
19 days ago |
binary |
Efficient, pure binary serialisation using ByteStrings in Haskell. |
| 68 |
11 |
1 |
a month ago |
memoise |
None |
| 68 |
6 |
9 |
19 days ago |
slownews |
🐢 Bringing slow news for the nervous among us |
| 68 |
9 |
24 |
10 days ago |
dimensional |
Dimensional library variant built on Data Kinds, Closed Type Families, TypeNats (GHC 7.8+). |
| 68 |
14 |
11 |
12 days ago |
gRPC-haskell |
Haskell gRPC support |
| 67 |
11 |
6 |
22 days ago |
pointfree |
Maintenance of the pointfree Hackage package. |
| 67 |
11 |
2 |
a month ago |
operational |
Implement monads by specifying instructions and their desired operational semantics. |
| 67 |
9 |
0 |
11 days ago |
Haskell-Lens-Tutorial-Library |
The missing tutorial module for the lens library |
| 67 |
6 |
2 |
a month ago |
pyfi |
PYthon Function Interface for haskell |
| 67 |
4 |
2 |
2 months ago |
andromeda |
A GLSL code generating DSL embedded in Haskell |
| 67 |
12 |
1 |
12 days ago |
graphmod |
A utility for displaying the module dependencies of Haskell programs. |
| 67 |
7 |
4 |
20 days ago |
gl |
Complete raw OpenGL bindings for Haskell |
| 66 |
8 |
5 |
5 days ago |
idris-java |
Java Code Generator for Idris |
| 66 |
3 |
24 |
13 days ago |
hs-gauge |
Lean Haskell Benchmarking |
| 66 |
7 |
0 |
11 days ago |
example-servant-persistent |
Simple example to illustrate how to use persistent and servant in combination. |
| 66 |
13 |
5 |
13 days ago |
irc-core |
Haskell IRC library and console client - Join us on Freenode #haskell-irc |
| 66 |
9 |
5 |
a month ago |
servant-generic |
Specify Servant routes with records |
| 66 |
2 |
0 |
a month ago |
haskell-servant-cookbook |
Haskell Servant Cookbook |
| 66 |
44 |
11 |
12 days ago |
hashable |
A class for types that can be converted to a hash value |
| 65 |
15 |
20 |
3 days ago |
iele-semantics |
Semantics of Virtual Machine for IELE prototype blockchain |
| 65 |
8 |
0 |
a month ago |
bazqux-urweb |
Ur/Web part of BazQux Reader sources |
| 65 |
21 |
12 |
12 days ago |
purescript-bridge |
Create PureScript datatypes from Haskell datatypes |
| 65 |
16 |
28 |
12 days ago |
ThreadScope |
A graphical tool for profiling parallel Haskell programs |
| 65 |
6 |
3 |
a month ago |
haquery |
jQuery for Haskell |
| 65 |
4 |
2 |
26 days ago |
monky |
The main repository for monky |
| 65 |
18 |
6 |
a day ago |
reddit |
reddit api for haskell |
| 65 |
5 |
3 |
12 days ago |
haskell-cpu-instruction-counter |
Measuring CPU instructions in Haskell using Linux Performance Counters |
| 65 |
3 |
0 |
4 months ago |
hadoom |
A little Doom-like 2.5 game engine |
| 65 |
5 |
2 |
a month ago |
VIMonad |
Bringing VIM philosophy to window management |
| 64 |
4 |
10 |
a month ago |
chips |
A fast, lightweight, and concurrent plugin manager for the fish shell, written in Haskell |
| 64 |
0 |
0 |
14 hours ago |
dhc |
Compiles Haskell to WebAssembly |
| 64 |
17 |
2 |
13 days ago |
reflex-dom-inbits |
A tutorial for reflex-dom with small code bits |
| 64 |
7 |
1 |
10 days ago |
json-autotype |
Automatic Haskell type inference from JSON input |
| 64 |
3 |
0 |
13 days ago |
haskell-checklist |
Preflight checklist for Haskell code. Aspire to greatness! |
| 64 |
5 |
0 |
3 days ago |
h4sh |
Fork of Don Stewarts h4sh haskell shell scripts |
| 64 |
22 |
11 |
3 days ago |
iohk-ops |
NixOps deployment configuration for IOHK devops |
| 64 |
3 |
4 |
2 months ago |
swift-gen |
Generate Swift structs / enums with protocol implementations! |
| 63 |
14 |
0 |
2 months ago |
monad-classes |
A more flexible mtl |
| 63 |
2 |
1 |
2 months ago |
http-dispatch |
A high level HTTP client for Haskell that focuses on ease of use |
| 63 |
13 |
6 |
26 days ago |
algebra |
constructive abstract algebra |
| 63 |
5 |
5 |
12 days ago |
idris-malfunction |
Experimental Malfunction backend for Idris |
| 63 |
18 |
42 |
8 days ago |
lhs2tex |
Preprocessor for typesetting Haskell sources with LaTeX |
| 63 |
6 |
0 |
10 months ago |
psc-ide |
DEPRECATED - Editor Support for the PureScript programming language |
| 63 |
16 |
32 |
a month ago |
hdevtools |
Persistent GHC-powered background server for FAST haskell development tools |
| 63 |
25 |
7 |
9 hours ago |
hasktags |
Produces ctags "tags" and etags "TAGS" files for Haskell programs |
| 62 |
21 |
8 |
12 days ago |
servant-purescript |
Translate servant API to purescript code, with the help of purescript-bridge. |
| 62 |
17 |
8 |
22 days ago |
opencl |
Haskell high-level wrapper for OpenCL |
| 62 |
11 |
2 |
4 days ago |
eventful |
Event Sourcing library for Haskell |
| 62 |
17 |
0 |
a month ago |
fclabels |
First class composable record labels for Haskell. |
| 62 |
1 |
0 |
3 months ago |
hwk |
A Haskell based awk and sed alternative |
| 62 |
10 |
2 |
12 days ago |
markdown-unlit |
Literate Haskell support for Markdown |
| 62 |
10 |
4 |
15 hours ago |
extensible |
Extensible records, variants, structs, effects, tangles |
| 62 |
9 |
0 |
2 months ago |
lets-program |
Let's program! Get into programming writing a simple game. |
| 62 |
16 |
23 |
17 days ago |
ApexCtl |
An utility to enable extra macro keys on Steelseries Apex keyboards |
| 62 |
4 |
2 |
2 days ago |
ether |
Monad Transformers and Classes |
| 61 |
2 |
2 |
a day ago |
grin |
GRIN is a compiler back-end for lazy functional languages with whole program optimisation support |
| 61 |
15 |
7 |
7 hours ago |
skylighting |
A Haskell syntax highlighting library with tokenizers derived from KDE syntax highlighting descriptions |
| 61 |
3 |
1 |
7 months ago |
as3tohaxe |
An Actionscript 3 to haXe source converter written in Haskell |
| 61 |
1 |
1 |
a month ago |
dive-into-ghc |
Dive into GHC |
| 61 |
9 |
15 |
4 days ago |
streaming |
An optimized general monad transformer for streaming applications, with a simple prelude of functions |
| 61 |
12 |
6 |
5 months ago |
free-game |
The free game engine |
| 60 |
4 |
0 |
5 months ago |
Cirno |
The Strongest Language In The World |
| 60 |
4 |
5 |
a month ago |
serv |
Kind-safe framework for type-safe APIs |
| 60 |
8 |
9 |
9 days ago |
FOMObot |
A slack bot to help with FOMO. |
| 60 |
4 |
6 |
2 months ago |
heckle |
✒️ Jekyll in Haskell (feat. LaTeX) |
| 60 |
12 |
6 |
5 days ago |
haskell-kubernetes |
Haskell bindings to the v1 Kubernetes api, generated via swagger-codegen |
| 60 |
31 |
3 |
12 days ago |
parsers |
Generic parser combinators |
| 60 |
5 |
8 |
a month ago |
reserve |
Universal and robust reloading for Haskell web applications |
| 60 |
3 |
29 |
15 days ago |
fragnix |
Fragment-based code distribution! |
| 60 |
6 |
7 |
10 days ago |
postgresql-orm |
An Haskell ORM (Object Relational Mapping) and migrations DSL for PostgreSQL. |
| 60 |
5 |
1 |
a month ago |
SitePipe |
Yet another static site generator - non-opinionated, value-level. Less magic == easier to understand |
| 60 |
3 |
1 |
30 days ago |
aivika |
A multi-method simulation library |
| 60 |
2 |
0 |
a month ago |
Flocking-Simulation |
A 3D Boids-like flocking simulation coded in Haskell. |
| 60 |
43 |
3 |
12 days ago |
pandoc-types |
types for representing structured documents |
| 60 |
32 |
12 |
12 days ago |
diagrams-core |
Core types and utilities |
| 60 |
1 |
0 |
14 days ago |
Firefly |
Simple Haskell http framework |
| 60 |
12 |
4 |
13 days ago |
Haskell |
Introduction to haskell |
| 59 |
4 |
9 |
18 days ago |
hesh |
Haskell Extensible Shell |
| 59 |
1 |
1 |
12 days ago |
higher-rank |
A small Haskell implementation of Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism |
| 59 |
3 |
0 |
a month ago |
eve |
An extensible event-driven application framework in haskell |
| 59 |
27 |
12 |
a month ago |
HaskellNet |
Haskell library which provides client support for POP3, SMTP, and IMAP protocols. |
| 59 |
17 |
3 |
12 days ago |
Haskell-MVC-Library |
Model-view-controller |
| 59 |
7 |
48 |
3 months ago |
HNC |
HN Compiler |
| 59 |
3 |
0 |
a month ago |
haskell-ffi-tutorial |
A (missing) Haskell FFI tutorial: how to work with nested Structs and do bi-directional C<->Haskell interop |
| 59 |
6 |
2 |
10 days ago |
weigh |
Measure allocations of a Haskell functions/values |
| 59 |
12 |
9 |
11 days ago |
elm-bridge |
Haskell: Derive Elm types from Haskell types |
| 59 |
1 |
2 |
1 year, 2 months ago |
apotiki |
a faster debian repository |
| 59 |
8 |
2 |
4 days ago |
sdr |
Software defined radio library in Haskell |
| 58 |
3 |
2 |
4 days ago |
tensor-ops |
Type-safe tensor manipulation operations in Haskell with tensorflow-style automatic differentiation |
| 58 |
6 |
0 |
a day ago |
inspection-testing |
Inspection Testing for Haskell |
| 58 |
5 |
0 |
18 days ago |
lorem-markdownum |
A lorem ipsum generator for markdown |
| 58 |
7 |
1 |
18 days ago |
HaskSymb |
An Experiment in Haskell Symbolic Algebra |
| 58 |
15 |
5 |
a month ago |
mueval |
A secure sandboxed Haskell interpreter for pure function evaluation |
| 58 |
6 |
9 |
8 days ago |
hapistrano |
Deploy tool for Haskell applications, like Capistrano for Rails |
| 58 |
1 |
0 |
5 days ago |
tcbe |
"type checking by evaluation": variations on Coquand's algorithm for dependent TC |
| 58 |
4 |
7 |
2 months ago |
ec2-unikernel |
Tool for uploading unikernels into EC2 |
| 58 |
8 |
68 |
3 months ago |
lvars |
The LVish Haskell library |
| 58 |
7 |
0 |
a month ago |
robotquest |
RobotQuest is a MMO, programming game. Instead of playing RobotQuest directly, you write a program that plays it for you. Your program communicates with the game server API over HTTP by sending and receiving JSON messages. Written in HTML, Haskell, with MongoDB |
| 58 |
23 |
13 |
12 days ago |
gipeda |
Git Performance Dashboard |
| 58 |
23 |
8 |
10 days ago |
retry |
Retry combinators for monadic actions that may fail |
| 58 |
5 |
0 |
a month ago |
lambdaconf-2015-web |
Projects for LambdaConf 2015 Haskell web workshop |
| 58 |
7 |
1 |
10 days ago |
bird |
A sinatra-ish framework written in haskell, riding on top of Hack |
| 58 |
5 |
5 |
5 days ago |
sunroof-compiler |
Monadic Javascript Compiler |
| 58 |
2 |
2 |
24 days ago |
SSGEP |
None |
| 57 |
9 |
0 |
a month ago |
study-haskell-nyc |
Information about the "Haskell Programming from First Principles" reading group in NYC. |
| 57 |
23 |
0 |
3 months ago |
accelerate-cuda |
Accelerate backend for NVIDIA GPUs (deprecated in favour of accelerate-llvm) |
| 57 |
5 |
0 |
2 months ago |
cabal-bounds |
Manage the bounds/versions of the dependencies in a cabal file. |
| 57 |
9 |
3 |
a day ago |
rattletrap |
🚗 Parse and generate Rocket League replays. |
| 57 |
40 |
16 |
24 days ago |
slack-api |
Haskell bindings to the Slack RTM API |
| 57 |
3 |
0 |
12 days ago |
pcf |
A small compiler for PCF |
| 57 |
29 |
10 |
2 days ago |
jsaddle |
JavaScript interface that works with GHCJS or GHC |
| 56 |
12 |
3 |
a month ago |
reflectionwithoutremorse |
Code accompanying the paper Reflection without Remorse:Revealing a hidden sequence to speed up monadic reflection |
| 56 |
6 |
14 |
a month ago |
vaultaire |
Data vault for metrics |
| 56 |
5 |
19 |
a month ago |
hs-init |
🔧 Tool for creating completely configured production Haskell projects |
| 56 |
6 |
0 |
2 days ago |
haskell-scotty-realworld-example-app |
Exemplary real world backend API built with Haskell/Scotty https://realworld.io |
| 56 |
24 |
3 |
11 days ago |
dbmigrations |
A library for the creation, management, and installation of schema updates for relational databases. |
| 56 |
1 |
0 |
12 days ago |
cccc |
🖼️ the compiling to closed categories compiler |
| 56 |
353 |
4 |
2 days ago |
markdown |
Convert Markdown to HTML, with XSS protection |
| 56 |
0 |
0 |
7 days ago |
pinboard-notes-backup |
Efficiently back up the notes you’ve saved to Pinboard |
| 56 |
14 |
7 |
12 days ago |
hs-jose |
Haskell JOSE and JWT library |
| 56 |
2 |
1 |
13 days ago |
una |
A universal interface to multiple unarchiving tools |
| 56 |
43 |
10 |
2 days ago |
X11 |
A Haskell binding to the X11 graphics library. |
| 56 |
6 |
0 |
a month ago |
hArduino |
Control your Arduino board from Haskell, using the Firmata protocol |
| 56 |
16 |
0 |
3 days ago |
hspec-example |
A Haskell/Hspec skeleton project |
| 56 |
0 |
0 |
2 months ago |
fitspec |
refine properties for testing Haskell programs |
| 56 |
5 |
3 |
13 days ago |
effect-monad |
Embeds effect systems in Haskell using 'parametric effect monads' |
| 56 |
6 |
0 |
a month ago |
sequences |
Benchmarks for sequence data structures: lists, vectors, etc. |
| 56 |
9 |
0 |
14 days ago |
xml-to-json |
Fast & easy command line tool for converting XML files to JSON |
| 56 |
11 |
1 |
14 days ago |
idris-llvm |
Idris LLVM codegen factored out |
| 56 |
7 |
0 |
6 hours ago |
gonimo |
gonimo application back & front |
| 56 |
3 |
3 |
6 days ago |
hail |
A service for pull-based continuous deployment based on hydra. |
| 55 |
9 |
4 |
2 months ago |
holumbus |
A Haskell library which provides the basic building blocks for creating powerful indexing and search applications. |
| 55 |
34 |
10 |
3 months ago |
language-java |
Java parser and printer for haskell |
| 55 |
23 |
17 |
13 days ago |
hslogger |
Logging infrastructure [Haskell] |
| 55 |
4 |
2 |
a month ago |
pandoc-mm |
Generate a mindmap from an org-mode file. Complete with annotations. |
| 55 |
8 |
4 |
a month ago |
Monaba |
Imageboard engine written in Haskell and powered by Yesod |
| 55 |
5 |
4 |
a month ago |
schematic |
type-safe JSON spec and validation tool |
| 55 |
23 |
2 |
21 days ago |
cuda |
Haskell FFI bindings to CUDA |
| 55 |
1 |
8 |
5 days ago |
language-rust |
Parser and pretty-printer for the Rust language |
| 55 |
4 |
5 |
a month ago |
x86-64 |
Runtime code generation for x86 64 bit machine code |
| 55 |
19 |
0 |
a month ago |
shadowsocks-haskell |
shadowsocks in haskell |
| 55 |
16 |
19 |
2 months ago |
hpc-coveralls |
coveralls.io support for haskell code coverage with hpc |
| 55 |
9 |
5 |
12 days ago |
structures |
A playground for working on advanced data structures in Haskell |
| 55 |
3 |
0 |
19 days ago |
fugacious |
An example Haskell web application |
| 55 |
6 |
11 |
4 days ago |
pandoc-csv2table |
A Pandoc filter that renders CSV as Pandoc Markdown Tables. |
| 55 |
2 |
0 |
2 days ago |
Kt2Dart |
🔦 Transpile Kotlin codes into Dart, Make Flutter Great Again |
| 54 |
4 |
0 |
9 months ago |
learn-haskell |
None |
| 54 |
32 |
14 |
12 days ago |
ghcjs-dom |
Make Document Object Model (DOM) apps that run in any browser and natively using WebKitGtk |
| 54 |
3 |
2 |
a month ago |
simplexhc |
compiler with polyhedral optmization for a lazy functional programming language |
| 54 |
8 |
1 |
19 days ago |
effect-handlers |
None |
| 54 |
8 |
43 |
12 days ago |
thentos |
A tool for privacy-preserving identity management (PPIM) |
| 54 |
4 |
1 |
7 days ago |
cacophony |
A Haskell library implementing the Noise protocol. |
| 54 |
17 |
15 |
6 months ago |
all-about-monads |
Attempt to port All About Monads to HaskellWiki |
| 54 |
4 |
0 |
6 months ago |
yesod-dsl |
A domain specific language and a code generator desined to create RESTful services for managing an RDBMS with Yesod web framework and Persistent. |
| 54 |
9 |
8 |
2 months ago |
Introduction_to_Haskell |
This is source code of my book. |
| 54 |
32 |
10 |
5 days ago |
tidal-midi |
Tidal module for sending patterns over MIDI |
| 54 |
15 |
4 |
6 days ago |
ansi-terminal |
ANSI terminal support for Haskell, with Windows compatibility |
| 54 |
13 |
4 |
3 days ago |
xeno |
Fast Haskell XML parser |
| 54 |
8 |
0 |
2 days ago |
ted2srt |
Download bilingual subtitles of TED talks |
| 54 |
22 |
14 |
17 hours ago |
these |
An either-or-both data type, with corresponding hybrid error/writer monad transformer. |
| 53 |
26 |
18 |
19 hours ago |
arithmoi |
arithmoi is currently maintained here |
| 53 |
4 |
0 |
a month ago |
FractalArt |
Generate colorful wallpapers! |
| 53 |
3 |
0 |
4 months ago |
thesis |
Brent's PhD thesis. |
| 53 |
27 |
3 |
2 days ago |
GLFW-b |
Haskell bindings to GLFW |
| 53 |
44 |
11 |
12 days ago |
xml |
Various XML utility packages for Haskell |
| 53 |
2 |
0 |
11 days ago |
talks |
Some talks I've given |
| 53 |
8 |
0 |
17 days ago |
miv |
Vim plugin manager written in Haskell |
| 53 |
6 |
2 |
22 days ago |
lambdacube-compiler |
LambdaCube 3D is a Haskell-like purely functional language for GPU. Try it out: |
| 53 |
0 |
0 |
3 months ago |
clojure-transducers-in-haskell |
Clojure transducers in a typed setting, in Haskell |
| 53 |
3 |
0 |
a month ago |
hyena |
A Haskell web application server. |
| 53 |
9 |
26 |
a day ago |
camfort |
Light-weight verification and transformation tools for Fortran. See http://camfort.github.io |
| 53 |
3 |
0 |
10 days ago |
cpl |
An interpreter of Hagino's Categorical Programming Language (CPL). |
| 53 |
5 |
0 |
a month ago |
sound-and-complete |
An implementation of the Dunfield-Krishnaswami "Sound and Complete" type-system |
| 53 |
9 |
1 |
16 days ago |
gressgraph |
visualize your iptables firewall |
| 53 |
30 |
6 |
10 days ago |
docker-hs |
A Haskell library for the Docker Engine API |
| 53 |
18 |
8 |
6 months ago |
hsSDL2 |
None |
| 53 |
16 |
13 |
12 days ago |
sqlite-simple |
Mid-level bindings for sqlite |
| 52 |
5 |
2 |
5 months ago |
Blast |
A Distributed Computing Library in Haskell |
| 52 |
13 |
5 |
a month ago |
libpandoc |
C bindings to Pandoc, a markup converter library written in Haskell. |
| 52 |
16 |
5 |
a month ago |
smtp-mail |
Making it easy to send SMTP email from Haskell |
| 52 |
1 |
1 |
2 months ago |
jDbT |
jinx Database Tools |
| 52 |
6 |
0 |
10 days ago |
ouroboros-spec |
specification and refinement of Ouroboros protocol |
| 52 |
2 |
0 |
a month ago |
waldo |
A small Haskell server for generating visual stories based on some ascertainable data about the requester. |
| 52 |
11 |
7 |
3 months ago |
hquantlib |
HQuantLib, financial math in Haskell |
| 52 |
5 |
0 |
a month ago |
Moodler |
Modular softsynth |
| 52 |
36 |
0 |
a day ago |
leveldb-haskell |
Haskell bindings to LevelDB (http://leveldb.googlecode.com) |
| 52 |
16 |
4 |
8 days ago |
vulkan |
Haskell bindings for Vulkan |
| 52 |
0 |
2 |
11 days ago |
haskell-ascii-progress |
A simple Haskell progress bar for the console. Heavily borrows from TJ Holowaychuk's Node.JS project |
| 52 |
4 |
3 |
a month ago |
postgresql-transactional |
Transactional monadic actions on top of PostgreSQL. |
| 52 |
7 |
0 |
7 months ago |
strange-loop-2011 |
Slides and examples from my Haskell workshop at Strange Loop. |
| 52 |
6 |
3 |
a month ago |
visualize-cbn |
None |
| 52 |
32 |
19 |
12 days ago |
protocol-buffers |
Haskell protocol-buffers package |
| 52 |
3 |
6 |
a day ago |
haskell-servant-realworld-example-app |
None |
| 52 |
9 |
18 |
a day ago |
ngless |
NGLess: NGS with less work |
| 52 |
6 |
0 |
a day ago |
Haskell-OpenGL-Tutorial |
an attempt to create a concise modern Haskell OpenGL boilerplate with basic IO |
| 52 |
9 |
3 |
10 days ago |
graph-db |
An experimental native Haskell graph database |
| 52 |
4 |
0 |
a day ago |
blog |
My personal site |
| 52 |
3 |
2 |
5 months ago |
MiniKanrenT |
An implementation of miniKanren in Haskell |
| 51 |
21 |
7 |
12 days ago |
comonad |
Haskell 98 comonads |
| 51 |
7 |
2 |
12 days ago |
streaming-benchmarks |
Benchmarks to compare Haskell streaming library performance |
| 51 |
10 |
0 |
8 months ago |
haskell-snake |
Snake game implemetation in Haskell using SDL |
| 51 |
7 |
5 |
a month ago |
hails |
The security-centric web platform framework |
| 51 |
5 |
2 |
3 months ago |
hoq |
A language based on homotopy type theory with an interval |
| 51 |
20 |
0 |
4 days ago |
dotfiles-alice |
dotfiles from the 'Alice' box |
| 51 |
4 |
0 |
a month ago |
AwesomePrelude |
Yet another alternative Haskell Prelude, but this one is awesome! |
| 51 |
15 |
2 |
8 days ago |
cis194-solutions |
Solutions for CIS 194 - Spring 2013 |
| 51 |
25 |
0 |
2 months ago |
blog |
The contents of ocharles.org.uk/blog |
| 51 |
7 |
4 |
a month ago |
demo-android-ndk |
Demo Ajhc application on Android NDK |
| 51 |
34 |
6 |
21 hours ago |
servant-reflex |
Generate reflex client functions for querying a servant API |
| 51 |
2 |
1 |
a month ago |
ihaskell-notebook |
None |
| 51 |
3 |
2 |
11 days ago |
matplotlib-haskell |
Haskell bindings for Python's Matplotlib |
| 51 |
5 |
33 |
a day ago |
sparse-linear-algebra |
Numerical computation in native Haskell |
| 51 |
4 |
7 |
a month ago |
phil |
An extension of my brain |
| 51 |
20 |
8 |
2 days ago |
Discord.hs |
Have you heard of our lord and savior Haskell? |
| 50 |
18 |
7 |
a month ago |
hscurses |
ncurses binding for Haskell |
| 50 |
14 |
13 |
6 days ago |
happstack-server |
An HTTP Server |
| 50 |
8 |
5 |
a day ago |
orgmode-parse |
Attoparsec parser combinators for parsing org-mode structured text! |
| 50 |
3 |
7 |
3 months ago |
digraphs-with-text |
None |
| 50 |
7 |
0 |
3 months ago |
Example-Distributed-App |
An example distributed systems application in Haskell using Cloud Haskell |
| 50 |
11 |
2 |
15 days ago |
LibClang |
Haskell FFI to libclang |
| 50 |
3 |
16 |
9 days ago |
Allure |
Allure of the Stars is a near-future Sci-Fi roguelike and tactical squad game written in Haskell |
| 50 |
11 |
2 |
2 months ago |
monao |
Super monao bros. in Haskell |
| 50 |
12 |
10 |
22 days ago |
apply-refact |
Refactor Haskell source files |
| 50 |
8 |
0 |
2 months ago |
lazy-lambda |
Lazy Lambda — a Flappy Bird clone in Haskell with SpriteKit |
| 50 |
5 |
2 |
30 days ago |
objective |
Purely functional objects |
| 50 |
16 |
35 |
3 months ago |
pontarius-xmpp |
An XMPP client library for Haskell. |
| 50 |
27 |
0 |
3 months ago |
http-conduit |
Superseded by: https://github.com/snoyberg/http-client |
| 50 |
1 |
5 |
2 months ago |
servant |
Moved to http://github.com/haskell-servant |
| 50 |
5 |
2 |
24 days ago |
fraxl |
None |
| 50 |
9 |
0 |
19 days ago |
hairy |
💇 A JSON REST API built in Haskell. |
| 50 |
4 |
0 |
5 months ago |
free-graphs |
Generate GraphViz graphs by interpretting free monads. |
| 50 |
38 |
6 |
12 days ago |
cereal |
None |
| 50 |
39 |
6 |
6 days ago |
win32 |
Haskell support for the Win32 API |
| 50 |
3 |
1 |
15 days ago |
pyli |
A Python 3 compiler that anyone can understand. |
| 49 |
4 |
7 |
a month ago |
servant-template |
Cookiecutter template for Servant projects |
| 49 |
23 |
5 |
8 months ago |
fb |
Bindings for Facebook's API. |
| 49 |
10 |
25 |
a month ago |
hayoo |
Hackage search engine |
| 49 |
3 |
3 |
13 days ago |
aeson-qq |
JSON quasiquoter for Haskell |
| 49 |
29 |
2 |
23 days ago |
semigroups |
Haskell 98 semigroups |
| 49 |
6 |
4 |
3 months ago |
fixhs |
FIX (co)parser in haskell |
| 49 |
0 |
0 |
13 days ago |
hasmin |
Hasmin - A Haskell CSS Minifier |
| 49 |
12 |
17 |
a day ago |
hasktorch |
Tensors and neural networks in Haskell |
| 49 |
6 |
5 |
a day ago |
pp |
PP - Generic preprocessor (with pandoc in mind) - macros, literate programming, diagrams, scripts... |
| 49 |
27 |
17 |
29 days ago |
trypurescript |
PureScript in the browser |
| 49 |
8 |
5 |
a month ago |
datalog |
A pure Haskell implementation of Datalog |
| 49 |
1 |
0 |
5 days ago |
nixtodo |
A demonstration on how to use Nix to build, test and deploy a Haskell application |
| 49 |
6 |
0 |
a month ago |
http2 |
HTTP/2.0 library including HPACK |
| 49 |
7 |
4 |
12 hours ago |
fp-course |
Fork of the original Data61 course to be more Stack friendly |
| 49 |
4 |
0 |
2 months ago |
haskell-ml |
Haskell implementations of various ML algorithms. |
| 49 |
2 |
0 |
22 days ago |
improve |
An imperative programming language in Haskell for high assurance embedded applications. ImProve programs are verified with model checking. ImProve compiles to C and Simulink. |
| 49 |
8 |
4 |
12 days ago |
labels |
Declare and access tuple fields with labels |
| 48 |
21 |
7 |
16 days ago |
postgresql-simple-migration |
PostgreSQL Schema Migrations for Haskell |
| 48 |
8 |
3 |
14 days ago |
VisualProf |
http://www.reddit.com/r/haskell/comments/cr15z/visualprof_profiles_your_haskell_program_and/?sort=hot |
| 48 |
15 |
21 |
3 months ago |
plover |
Plover is a language for matrix algebra on embedded systems. |
| 48 |
3 |
0 |
13 days ago |
dhall-nix |
Dhall to Nix compiler |
| 48 |
2 |
2 |
7 days ago |
compact |
Compact regions library for Haskell |
| 48 |
11 |
29 |
a month ago |
music-score |
Musical time structure |
| 48 |
9 |
22 |
28 days ago |
freer-effects |
An implementation of "Freer Monads, More Extensible Effects". |
| 48 |
6 |
0 |
3 months ago |
GPipe |
A functional graphics API for programmable GPUs |
| 48 |
2 |
4 |
a month ago |
generic-random |
Generic random generators |
| 48 |
34 |
18 |
12 days ago |
hs-certificate |
Certificate and Key Reader/Writer in haskell |
| 48 |
8 |
0 |
6 months ago |
learninghaskell |
Learning Haskell |
| 48 |
0 |
0 |
4 months ago |
formal-morality |
A formal moral framework coded in Haskell |
| 48 |
5 |
1 |
2 months ago |
erlang-ffi |
A Foreign Function Interface that lets Haskell and Erlang programs communicate. |
| 48 |
7 |
0 |
8 days ago |
dictionaries |
Benchmarks for dictionary data structures: hash tables, maps, tries, etc. |
| 48 |
8 |
16 |
6 days ago |
hunt |
A flexible, lightweight search platform |
| 48 |
15 |
2 |
14 days ago |
file-embed |
Use Template Haskell to embed file contents directly. |
| 47 |
41 |
0 |
8 days ago |
yesod-auth-oauth2 |
OAuth2 authentication for yesod |
| 47 |
7 |
3 |
a month ago |
deeplearning-hs |
None |
| 47 |
12 |
32 |
13 days ago |
cmdargs |
Haskell library for command line argument processing |
| 47 |
9 |
5 |
2 days ago |
git-vogue |
Make your Haskell git repositories fashionable. |
| 47 |
18 |
15 |
6 days ago |
CV |
Haskell wrappers and utilities for OpenCV machine vision library |
| 47 |
18 |
4 |
3 days ago |
Haskell-Errors-Library |
Type-safe error handling |
| 47 |
5 |
2 |
a month ago |
rdr2tls |
Haskell web service that redirects all traffic from HTTP to HTTPS |
| 47 |
2 |
0 |
9 days ago |
slacky |
None |
| 47 |
5 |
6 |
4 days ago |
axiom |
Client-side and server-side web framework over Transient and GHCJS (Haskell to JavaScript compiler) |
| 47 |
8 |
7 |
10 hours ago |
confluence-sync |
A command line tool for syncing HTML/Markdown to Confluence! |
| 47 |
7 |
85 |
a month ago |
hermit |
Haskell Equational Reasoning Model-to-Implementation Tunnel |
| 47 |
3 |
0 |
3 months ago |
idris-bash |
GNU bash backend for Idris |
| 47 |
7 |
0 |
a month ago |
cryptokami-core |
None |
| 47 |
8 |
4 |
13 days ago |
frag |
Frag is a 3D first person shooting game written in Haskell, by Mun Hon Cheong |
| 46 |
2 |
0 |
10 months ago |
reactive-bacon |
FRP (functional reactive programming) framework inspired by RX and Iteratee |
| 46 |
4 |
0 |
a month ago |
haskell |
Personal haskell programs |
| 46 |
32 |
12 |
12 days ago |
yesod-scaffold |
The Yesod scaffolding, with branches for different versions. |
| 46 |
25 |
14 |
2 days ago |
constraints |
Tools for programming with ConstraintKinds in GHC |
| 46 |
26 |
8 |
8 hours ago |
monad-control |
Lift control operations, like exception catching, through monad transformers |
| 46 |
7 |
6 |
14 days ago |
superrecord |
Haskell: Supercharged anonymous records |
| 46 |
15 |
4 |
4 months ago |
haskell-mpi |
MPI bindings for Haskell |
| 46 |
5 |
2 |
23 days ago |
ads |
A Freenet clone written in Haskell |
| 46 |
3 |
2 |
1 year, 2 months ago |
hyperdrive |
A fast, low-level HTTP server you can trust |
| 46 |
25 |
4 |
12 days ago |
language-c-quote |
None |
| 46 |
22 |
16 |
12 days ago |
kan-extensions |
Kan extensions, Kan lifts, the Yoneda lemma, and (co)monads generated by a functor |
| 46 |
21 |
63 |
4 months ago |
distributed-process-platform |
DEPRECATED (Cloud Haskell Platform) in favor of distributed-process-extras, distributed-process-async, distributed-process-client-server, distributed-process-registry, distributed-process-supervisor, distributed-process-task and distributed-process-execution |
| 46 |
1 |
0 |
7 months ago |
peg |
A lazy non-deterministic concatenative programming language |
