trommler

VeriGHC

Towards a verified back-end for The Glorious Glasgow Haskell Compilation System

ghc

Peter's GHC repository. DO NOT SUBMIT PULL REQUESTS HERE. See HACKING.md for instructions on how to submit patches to GHC.

calc-comp

Coq proofs for the paper "Calculating Correct Compilers"

Arduino

open-source electronics prototyping platform

arena-plugin

Bukkit plugin project with @ProfNooB

bedrock

Coq library for verified low-level programming

cabal

Cabal and cabal-install (created for my PPC64 patch)

car-simulator

Raspberry Pi as a simulated car

hs-to-coq

Convert Haskell source code to Coq source code

VST

Verified Software Toolchain

containers

Assorted concrete container types

cps-defun

Coq proofs for the paper "Cutting out Continuations"

ghc-rpm-macros

Haskell RPM packaging macros (Fedora with openSUSE patches)

haskell-opaleye

hmatrix-gsl-stats

GSL Statistics functions for Haskell hmatrix

infer

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

informatik2

Introduction to programming

jeeves-in-haskell

implementation of the Yang et al Jeeves language in Haskell

libffi

A portable foreign-function interface library.

nofib

Mirror of nofib repository. DO NOT SUBMIT PULL REQUESTS HERE

ovpd-vamos

Using Oracle Virtual Private Databases for fine-grained access control.

store

Fast binary serialization

unix

POSIX functionality

void-packages

The Void source packages collection (all ppc platforms, staging + main)

wl-pprint-terminfo

A color pretty printer with terminfo support

zfoh.ch

Our homepage