An unofficial client for the Google Keep API.

System for collecting, deriving and working with facts about source code.

Sure Petcare API

Official Haskell IDE support via the language server protocol (LSP)

A django-powered wedding website and guest-management system

Our Wedding Website 👫

A curated list of projects related to the reMarkable tablet

Companion daemon for the reMarkable™ paper tablet

Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source

Haskell language tools for Python

A static analyzer for Java, C, C++, and Objective-C

Haskell bindings to libexpect

The engine for haskell ide-integration. Not an IDE

A habit tracker app which treats your goals like a Role Playing Game.

A wiki based on firm theoretical foundations

Script to control the Dream Cheeky Storm & Thunder USB Missile Launchers in Linux.

Python-powered project helping you to recover recordings of digital video recorders

Functional Programming Course

A collection of links to our talk series based on Brent Yorgey's CIS194 lectures.

A Haskell library that simplifies access to remote data, such as databases or web-based services.

OpenShift 2 (deprecated)

The HTML Presentation Framework

rapid prototyping with d3.js

Specification for interoperability of common algebraic structures in JavaScript

Webmachine inspired toolkit for building http applications and services.

Functional Programming Course

Java 8 lambda experiment