Empowering everyone to build reliable and efficient software.

A cross-platform, OpenGL terminal emulator.

A post-modern modal text editor.

Lightning-fast and Powerful Code Editor written in Rust

Cross-platform Rust rewrite of the GNU coreutils

Mirror of https://gitlab.redox-os.org/redox-os/redox

Fast and multi-platform Spotify client with native GUI

Video stabilization using gyroscope data

Feature packed AUR helper

Modern embedded framework, using Rust and async.

Early-stage b-rep CAD kernel, written in the Rust programming language.

Verified Rust for low-level systems code

A simple, stateless NixOS deployment tool

3D City Builder without a grid

Source code of Ferrocene, safety-critical Rust toolchain

Creusot helps you prove your code is correct in an automated fashion.

A no_std + serde compatible message library for Rust

expose REST APIs from a Rust program

Efficient, deferred formatting for logging on embedded systems

Rust Cross-Platform Host-Side Bluetooth LE Access Library

Run embedded programs just like native ones

(going to be a) BLE stack for embedded Rust

Open-source firmware for resin printers

a central pacman cache

Playdate Dev Tools and API

Eloquence in Messaging

A low-overhead and adaptable audio playback library for Rust

A procedural macro for configuring constant values across crates

25519 for Cortex-M4 microcontrollers