trommler Goto Github PK

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)

calc-comp

Coq proofs for the paper "Calculating Correct Compilers"

car-simulator

Raspberry Pi as a simulated car

containers

Assorted concrete container types

cps-defun

Coq proofs for the paper "Cutting out Continuations"

ghc

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

ghc-rpm-macros

Haskell RPM packaging macros (Fedora with openSUSE patches)

haskell-opaleye

hmatrix-gsl-stats

GSL Statistics functions for Haskell hmatrix

hs-to-coq

Convert Haskell source code to Coq source code

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

verighc

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

void-packages

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

vst

Verified Software Toolchain

wl-pprint-terminfo

A color pretty printer with terminfo support

zfoh.ch

Our homepage