An open-source AirPlay mirroring server for the Raspberry Pi. Supports iOS 9 and up.

Extensible Emacs HTTP 1.1 server

GNU Radio Formulae for Homebrew

PostgreSQL Audit Extension

Source repository for https://hackage.haskell.org/package/language-c

Fork of lightweight connection pooler for PostgreSQL with multiprocessing support

Storage for my snippets, toy programs, etc.

emmet's support for emacs.

Architectural privilege escalation on x86

a logic-based trust-management system

Haskell implementations of rolling algorithms

Haskell urlencoded package

Netlist and Verilog Haskell Package

Force-directed graph layout in 1D, 2D or 3D using velocity Verlet integration.

MARISA: Matching Algorithm with Recursively Implemented StorAge

A very simple, fast, multithreaded, platform independent HTTP and HTTPS server and client library implemented using C++11 and Boost.Asio. Created to be an easy way to make REST resources available …

Generic list-like structures [Haskell]

Java Runtime System for the Idris Programming Language

UNIX deamon writing utilities for Haskell

A PostgreSQL foreign data wrapper for Redis

Haskell implementation of MessagePack / msgpack.org

Jenkins Continuous Integration server

FreeBSD src tree

Traversals and Prisms for Data.Aeson

HTML 5 canvas implementation of Mario in Reason + Bucklescript

The Haskell Refactoring Tool

The single instruction C compiler

A fast dependency injector for Android and Java.

Fork of AWS-OpenBSD with additional support for Azure.