Explore projects

An implementation of "Freer Monads, More Extensible Effects".

ICSdroid is an Android app to subscribe to remote or local iCalendar files (like time tables of your school/university or event files of your sports team).

Android app that turns the display on when you wave over the proximity sensor.

A book on writing responsive applications using Happstack, PureScript, and Foundation.

This project contains a few simple tools which are used in OpenStreetMap project. All programs of this project are written in C.

An extensible bot framework with support for plugins.

a Swarm Cluster Maker for Dev & Production

CodeVault is part of the PRACE-4IP project

Grafana JSON dashboard files to help users get started with GitLab performance metrics. See GitLab documentation for helping configuring/installing.

A program that stores and loads templates for config files.

Linear Algebra is a Free undergraduate text. It covers the standard material of a course for US sophomores: Gaussian reduction, vector spaces, linear maps, determinants, and eigenvalues.

A scientific data visualization and analysis software for atomistic simulation models

This is the repository for https://tortoisegit.org

Next-generation HTTPS certificate management service for Aegir sites with support for Let's Encrypt.

A Google Chrome browser extension that displays carbon footprint information in Google Maps.

Deep Learning with the Analytical Engine