A plotting tool that outputs Line Rider maps, so you can watch a man on a sled scoot down your loss curves. 🎿

A generic C++ API for SMT solving. It provides abstract classes which can be implemented by different SMT solvers.

Symbolic execution of LLVM IR with an engine written in Rust

symbolic execution engine for Rust

An alternative frontend for YouTube, for Android.

An extremely low latency KVMFR (KVM FrameRelay) implementation for guests with VGA PCI Passthrough.

A dotfile manager and templater written in rust 🦀

A 1-1 end-to-end encrypted internet pipe powered by Hyperswarm

A Minecraft server implementation in Rust

Dark color theme by kootenpv

An implementation of the X Window System Protocol in Rust

A library for writing an X11 tiling window manager

Unofficial, FOSS-friendly fork of the original Telegram client for Android

Unit conversion tool and library written in rust

Very resourcefriendly and feature-rich replacement for i3status, written in pure Rust