LiteBox

LiteBox

License: MIT


Description:

LiteBox is a security-focused library OS that enables kernel- and user-space execution with a minimal host interface, supporting cross-platform North/South shims; used to run Linux programs on Windows, sandbox Linux apps, and run OP-TEE or LVBS environments.

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.