a fast, scalable, multi-language and extensible build system

Linux kernel source tree

Model of a lock-free concurrent list in Promela/Spin.

improved colored diff

a generic package manager, for including other people's code in your projects

High quality system independent, portable, open source libm implementation

RFCs for changes to Rust

Unix kernel in rust

An OS kernel written in rust. Non POSIX

A kernel written in Rust

Cross-platform Rust rewrite of the GNU coreutils

💣 Yet another tiny and unfinished x86/ARM kernel

A language-based OS to run Rust on bare metal

A hobby 32-bit operating system written in Rust

Design by contract style assertions for Rust

An improved assert macro for Rust

Python process launching

Empowering everyone to build reliable and efficient software.

Vim-fork focused on extensibility and usability

A multiplayer plugin for KMP

A code-completion engine for Vim

LaTeX resume format

A collection of scripts to help manage users and groups in LDAP

A tiny « framework » for Tmux, with handy scripts and status line themes.

A minimal configuration for tmux - similar to Oh My Tmux, but simpler.

A computer algebra system written in pure Python

MCEdit, Minecraft World Editor 1.0 - no longer developed. See website for version 2.0

A community-driven framework for managing your zsh configuration. Includes 40+ optional plugins (rails, git, OSX, hub, capistrano, brew, ant, macports, etc), over 80 terminal themes to spice up you…

Pure Python imaging library with Python 2.6, 2.7, 3.1+ support

A program that will pull popular images from Reddit to use as a wallpaper