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.

A fork of NewPipe with SponsorBlock functionality.

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

Convert HTML to PDF using Webkit (QtWebKit)

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

RISC-V port of GNU's libc

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

Slide is an open-source, ad-free Reddit browser for Android.

Unit conversion tool and library written in rust

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