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