Tutorial on Hledger setup with multi-year files, multi-source imports and a range of auto-generated reports

Main source code repository of the Tamarin prover for security protocol verification.

A fast build system that encourages the creation of small, reusable modules over a variety of platforms and languages.

Scripts and instructions for using CI services (e.g. Travis CI or Appveyor) with multiple GHC configurations

Lean Theorem Prover

Nix, the purely functional package manager

The Eta Programming Language, a dialect of Haskell on the JVM

The most cited deep learning papers

Distributed CRDT based RFID door authentication system with LDAP based users

[DEAD] Out Of Process Template Haskell

A friendly programming language from the future

Haskell papers optimized for my e-reader.

surround.vim: Delete/change/add parentheses/quotes/XML-tags/much more with ease

A haskell library for principled, cross-platform & extensible hashing of types, including an implementation of the FNV-1a algorithm. (DEVELOPMENT STALLED; Hashable NEEDS TO BE PREFIX CODE)

Type safe interface for working in subcategories of Hask

Noise Specification

React bindings for Haskell

An IPFS implementation in Go

Technical specifications for the IPFS protocol stack

Tools for code analysis, visualizations, or style-preserving source transformation.

re-startable monad that recover the execution state from a log, and workflow patterns

Data frames for tabular data.

Yoga is an embeddable layout engine targeting web standards.

Bond is a cross-platform framework for working with schematized data. It supports cross-language de/serialization and powerful generic mechanisms for efficiently manipulating data. Bond is broadly …

A web console for Apache Kafka (retired)

Docker based development environment

Machine Learning algorithms (Support Vector Machine, Logistic Regression, etc.) based on Stochastic Gradient Descent approximation.

Construct and run Hadoop MapReduce programs in Haskell

A GHC-based Haskell to JavaScript compiler