bitmap to vector graphics converter

The Z3 Theorem Prover

GOsa² is a web based adminstration tool for user accounts, groups, servers, clients, and many other things.

Google's Operations Research tools:

Automated Reasoning Engine and Flow Based Programming Framework

Financial Position - Not EFTPOS

Customisable coding font with alternates, ligatures and contextual positioning. Crazy crisp at 12px/9pt. http://larsenwork.com/monoid/

Source code for performing 2d rectangular bin packing.

Arc-flow Vector Packing Solver (VPSolver)

attempt to write a simple Forth interpreter in Python

Porting Richard Jones' FORTH to ARM; TAKE A PISS ON GITHUB

Factor programming language

Powerful system container and virtual machine manager

Spectacularly Easy Responsive Web Design

The Reactive Extensions for JavaScript

Simulating shitty network connections so you can build better systems.

Python-based tools for document analysis and OCR

Open Source Routing Machine - C++ backend

Relevant files for element14's "Forget Me Not" design challenge

a web based visualization library for displaying graphs, networks, and timelines

chronoline.js is a library for making a chronology timeline out of events on a horizontal timescale.

Monitoring for today's infrastructure.

groovy kind of love

Collectd Graph Panel

BIMP. Batch Image Manipulation Plugin for GIMP.

WebRTC Web demos and samples

File Upload widget with multiple file selection, drag&drop support, progress bar, validation and preview images, audio and video for jQuery. Supports cross-domain, chunked and resumable file upload…

Rewind is an intelligent archivist.

The world’s fastest framework for building websites.

Our original Web Component library.