Linux virtual machines, with a focus on running containers

Minimal and opinionated eBPF tooling for the Rust ecosystem

BCC - Tools for BPF-based Linux IO analysis, networking, monitoring, and more

Aya is an eBPF library for the Rust programming language, built with a focus on developer experience and operability.

Neovim support for the Lean theorem prover

A congestion control plane. (SIGCOMM '18)

timfon's dotfiles

Backtester for IMC Prosperity 2 algorithms

A Rust crate for cooking up terminal user interfaces (TUIs) 👨‍🍳🐀 https://ratatui.rs

HackMIT

An automated stock screening system which isolates top companies based on time-tested growth criteria.

Build fast web applications with Rust.

Fullstack app framework for web, desktop, mobile, and more.

Collection of solutions for Advent of Code

A simple and easy-to-use library to enjoy videogames programming

Companion to the totally practical currency ghcoin

Emacs and NixOS configuration

A feature-rich command-line audio/video downloader

Music Player Daemon

🐝 An action-packed game where you play as a missile-dodging, laser-evading, upgradeable bumbly bee.

🤖 Just a command runner

A cat(1) clone with wings.

Simple X hotkey daemon

A fast and easy-to-use status bar

The Pyret language.

A keyboard-driven, vim-like browser based on Python and Qt.

The core of xmonad, a small but functional ICCCM-compliant tiling window manager

A refreshingly simple data-driven game engine built in Rust