The Ivory EDSL

Bash script that dumps contacts from an Android contacts2.db to stdout in vCard format. Especially helpful when the device is inop or missing, with only a contacts2.db file available (from backup, …

List N largest files in a directory (recursive search), print some nice graphs

List N largest files in a directory (recursive search), print some nice graphs

Port of the LLVM compiler infrastructure to the time-predictable processor Patmos

Reimplement a control application in (radically) different hard real-time languages for embedded systems

Computing and visualizing routes for Fragment Switches in the TTSoC architecture

Lemberg is a time-predictable VLIW processor optimized for performance.

A Tiny Processor Core

Patmos is a time-predictable VLIW processor, and the processor for the T-CREST project

Simulation of Networked Systems with Lossy Channels

Demo: Creating Regular Expression Matcher's using the haskell bindings to LLVM

Regular Expression Matching in Haskell