Liquid Types For Haskell

📚 Freely available programming books

An Emacs configuration bundle with batteries included

An llvm pretty printer inspired by the haskell llvm binding

Lenses, Folds, and Traversals - Join us on web.libera.chat #haskell-lens

GUI framework that uses the web browser as a display.

Papers from the computer science community to read and discuss.

My working mirror of gperftools.

Couchbase Ruby Client Library (Official)

Cloud Haskell core libraries

Compiler for Elm, a functional language for reliable webapps.

Mutable hash tables for Haskell, in the ST monad

A Haskell kernel for the Jupyter project.

PropEr: a QuickCheck-inspired property-based testing tool for Erlang

My emacs config

Book of Elementary Functional Algorithms and Data structures

A powerful and beautiful mode-line for Emacs.

A collection of different packages for CAS based data structures.

Increment and decrement numbers in Emacs

Track Emacs commands frequency

A scalable, deadlock-resolving resource locker

trayer fork with multi monitor support, cleaned up codebase and other fancy stuff

being the materials for Summer 2013's course

Compositional pipelines

ML-style language that compiles to GLSL for livecoding visuals

Grumpy is a Python to Go source code transcompiler and runtime.

Scala implementation of the Ctrie datastructure.

A proper subset of Haskell that compiles to JavaScript

A regexp/replace command for Emacs with interactive visual feedback

Pretty Printing for Generic data