ANet

ANet

License:


Description:

ANet is a simple, private Rust VPN client/server with ASTP-based transport. It aims to provide secure, encrypted private spaces for trusted peers, resilient in lossy networks, with cross-platform clients for Linux, Windows, and Android.

BambuStudio

BambuStudio

License: AGPL-3.0


Description:

BambuStudio is a cross-platform PC slicing software for BambuLab and other 3D printers, featuring project-based workflows, optimized slicing algorithms, and an easy-to-use graphical interface for a smooth printing experience.

systemd-manager-tui


systemd-manager-tui

License: MIT


Description:

A TUI tool for managing systemd services. It can view logs, list services, show properties, edit unit files, and control lifecycle (start, stop, restart, enable, disable) via D-Bus, with Vim-like navigation and system/user unit support.

Prefixer


Prefixer

License: GPL-3.0


Description:

Prefixer is a CLI tool for rapidly managing Steam Proton prefixes without remembering IDs. It uses fuzzy name matching, writes tweaks in a JSON5 format, and offers built-in Steam support for fast, modular tweaks.

Eurydice

Eurydice

License: Apache-2.0, MIT


Description:

Eurydice compiles (a decent subset of) Rust to C, enabling Rust-based verification while producing C code for legacy environments. It uses Charon and KaRaMeL passes to translate Rust into C, supporting compatibility with existing toolchains.

MiniOS

MiniOS

License: GPL-2.0


Description:

MiniOS is a lightweight, fast Debian-based Linux distribution designed to run from USB or RAM. It features an XFCE desktop, live-boot support (UEFI/BIOS), Debian stability, and modular SquashFS extensions for a portable, customizable desktop.

gamescope

gamescope

License: BSD 2-Clause License


Description:

Gamescope is Valve’s SteamOS session window manager (a micro-compositor formerly steamcompmgr). It composes game frames via Wayland/Xwayland, can flip frames directly via DRM/KMS, and uses async Vulkan compute when composing. It runs on desktop environments and supports virtual screens and exotic display setups.