luckyluke

amsn2

The new version of aMSN client

nokiomane

We'd like to develop a PC-Suite style graphical interface for mobile phones based on gammu

papyon

A Python implementation of the MSN protocol

brntool

python code to deal with talking to routers using the brnboot bootloader through a serial port and doing simple tasks like backing up the firmware

libfuse

myels

seqal

sequence alignment A* mod

soaplib

This is a simple, easily extendible soap library that provides several useful tools for creating and publishing soap web services in python.

buildrump.sh

Utilities for building rump kernels

ChibiOS-RT

Personal ChibiOS fork

FreeRDP

FreeRDP is a free remote desktop protocol library and clients

gandi-dyndns

A script to update a Gandi A record to point at a machine's external IP address.

klee

KLEE Symbolic Virtual Machine

linux

Linux kernel source tree

lkl-docker

Marlin

Optimized firmware for RepRap 3D printers based on the Arduino platform.

mspdebug

Debugging tool for MSP430 MCUs

pci-userspace

Kernel PCI device drivers in userspace

rezzlu

A clone of the Ruzzle game, designed to have multiple GUIs and an embedded optimized solver.

rpi23-gen-image

Debian + Mainline Linux Kernel + u-boot Bootstrap Script and Tutorial for RPi2/3

sensors-lxpanel-plugin

Monitor temperature/voltages/fan speeds in LXDE through lm-sensors

splint

Splint - annotation-assisted static program checker