Convert HTML to PDF using Webkit (QtWebKit)

An alternative frontend for YouTube, for Android.

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

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

A fork of NewPipe with SponsorBlock functionality.

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

A Minecraft server implementation in Rust

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

A dotfile manager and templater written in rust 🦀

A library for writing an X11 tiling window manager

Symbolic execution of LLVM IR with an engine written in Rust

Unit conversion tool and library written in rust

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

symbolic execution engine for Rust

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

An implementation of the X Window System Protocol in Rust

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

RISC-V port of GNU's libc

Dark color theme by kootenpv