carletes

vagrant_devstack

Vagrant project that sets up a devstack environment

puppet-openstack

OpenStack Examples Puppet Module

hermit

Haskell Equational Reasoning Model-to-Implementation Tunnel

kaleidoscope

Haskell LLVM JIT Compiler Tutorial

bytestring

An efficient compact, immutable byte string type (both strict and lazy) suitable for binary or 8-bit character data.

cloud9-dockerfile

Runs an instance of the Cloud9 IDE in a Docker container.

docker-rcbops-openstack

test repository for Docker on OpenStack using the rcbops grizzly cookbooks

book

A textbook on informal homotopy type theory

mitmproxy

An interactive TLS-capable intercepting HTTP proxy for penetration testers and software developers.

mininet

Emulator for rapid prototyping of Software Defined Networks

fn.py

Functional programming in Python: implementation of missing features to enjoy FP

Tranquillity-Editor

An IDE for poets

bitey

galaxy

A cache-coherent in-memory data grid

simple-example

binutils-dcpu16

GNU binutils tools for the DCPU-16 virtual processor. Supports version 1.7 of the dcpu-16 specs.

pinry

Pinry's repository has moved to

clang

Clang frontend that supports DCPU16

llvm-dcpu16

LLVM backend for dcpu-16 processor

murr

Lebensansichten des Katers Murr

collectd

The system statistics collection daemon. Please send Pull Requests here!

numpy

Numpy main repository

system-session-bookings

System session booking forms for COS

emscripten

Emscripten: An LLVM-to-WebAssembly Compiler

Varnish-Cache

Moved. New address: https://github.com/varnishcache/varnish-cache/

postgres-js

The postgres backend protocol implemented in pure JS for use with node.js

dptools

Scripts for post-processing Distributed Proofreaders' texts

numpy

The fundamental package for scientific computing with Python.

Monocle

A silky, tactile browser-based ebook JavaScript library.

epubmaker

My patches to Project Gutenberg's HTML to ePub conversion tool