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.

Atmosphere

Atmosphere

License: GPL-2.0


Description:

Atmosphere is a work-in-progress customized firmware for the Nintendo Switch. It replaces and patches core system components to enable homebrew and other features. It is licensed under GPL-2.0 with exemptions and maintained by a team of contributors.

ACE-Step-1.5

ACE-Step-1.5

License: MIT


Description:

ACE-Step-1.5 is an open-source local music generation model that runs on Mac, AMD, Intel, and CUDA devices. It delivers fast, high-quality music synthesis with controllable styles, editing features, and LoRA personalization. The project combines LM planning with diffusion-based synthesis via a modular architecture and accessible UI tooling.