Hooks Apple's Rosetta to replace x87 handlers with a custom AArch64 JIT. Big speedups for x86 floating-point workloads (and old games via Wine) on Apple Silicon.

A simple and intuitive approach to visualize RISC-V Extensions and Profiles.

Test and benchmark suite for sort implementations.

Install a rustc master toolchain usable from rustup

Exact rational and computable real arithmetic for Rust.

A proof assistant for higher-dimensional type theory

Battery packs help you get up and going quickly with Rust!

2D puppet model renderer compatible with Live2D

Easily add plurality support to your Twitch projects!

Plurality support for Twitch Chat

A platform for exploring floating-point expressions ⛵

xbar/Swiftbar plugin to control lima-vm

PHP application that parses information from a text file in the Mesa Git repository and formats it in HTML.

Remove rounded corners from QuickLook on MacOS

A free and open source instant messaging and VoIP chat app built for friends, groups, and communities.

Easy app-to-app frame sharing using PipeWire

Reference implementation of proposed result for C

A Nine Sols mod for the Archipelago multi-game randomizer system

Proc macro sugar for associative type algebra on rust std op traits

An Archipelago implementation of the game Cassette Beasts.

Powerful menu bar manager for macOS

A new Categories library for Agda

Code generation tool for control and status registers

Fork of Python 2.7 with new syntax, builtins, and libraries backported from Python 3.

A very fast linker for Linux

Optics library for rust

OpenVADL extension for Visual Studio Code

An open-source implementation of the VADL processor description language.

Rust reflection, serialization, deserialization, pretty printing, etc. — the last proc macro you should need