THIS REPO IS UNMAINTAINED. Go to --> https://gitlab.com/nbdkit/nbdkit

parent-child message passing using shared memory (mmap)

User script for a better experince when using a reverse tree on Duolingo

Distributed Cached C++ Compilation

A Zookeeper backend for Cloud Haskell.

Alla moderna bekvämligheter

Framework for lifting x86, amd64, aarch64, sparc32, and sparc64 program binaries to LLVM bitcode

Explorations into static analysis on assembly type DSL

Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)

Haskell pretty printer

test for differences between HTTP response times using the Mann-Whitney U test

F9R-Dev simulator

Find gadgets for return-oriented programming on x86

Spotify web API in Haskell

This is the archived S2E 1.0 repo. We do not maintain it anymore.

Report on parameterized complexity theory and subgraph counting

A Drum Machine DSL for Haskell

Regexp simulation using finite automata.

DTD verification using NDPDA.

simple interface to ghc's simd vector support

Haskell distributed parallel Haskell

Yes, your Arduino can replace an expensive JTAG cable!

Compiler for the Minijava language.

Master's thesis: Fault detection in photovoltaic systems

Implementation of count-thin-subgraphs (Björklund, Kaski, Kowalik; 2013).

Distributed market fetching

Haskell client for Cassandra's CQL protocol

FPGA cluster prototype hardware

In Soviet Russia, Mithril forges ELF.