Intuitive concurrent programming in any language

A free and strong UCI chess engine

General-purpose programming language and toolchain for maintaining robust, optimal, and reusable software.

Glommio is a thread-per-core crate that makes writing highly parallel asynchronous applications in a thread-per-core architecture easier for rustaceans.

Home of the Holsatus Flight controller

A high fidelity time management library in Rust

Ecosystem of libraries and tools for writing and executing fast GPU code fully in Rust.

A wee async RTOS for Cortex-M

cargo subcommand showing the assembly, LLVM-IR and MIR generated for Rust code

cargo subcommand showing the assembly or llvm-ir generated for Rust code

A Hardware Abstraction Layer (HAL) for embedded systems

Source code of Ferrocene, safety-critical Rust toolchain

A Minecraft server written in COBOL

A static verifier for Rust, based on the Viper verification infrastructure.

🍓 A healthy, byte-sized window manager

CMake for C++ Best Practices

a debugger for async rust!

Clean, modern, Python 3.6+ code generator & library for Protobuf 3 and async gRPC

Modern embedded framework, using Rust and async.

⅋ — session types for Rust

A post-modern modal text editor.

A massively parallel, high-level programming language

Formal verification tool for Rust: check 100% of execution cases of your programs 🦀 to make super safe applications! ✈️ 🚀 ⚕️ 🏦

Rust-based platform for the Web

µC/OS-III is a preemptive, highly portable, and scalable real-time kernel. Designed for ease of use on a huge number of CPU architectures.

µC/OS-II is a preemptive, highly portable, and scalable real-time kernels. Designed for ease of use on a huge number of CPU architectures.

Cross-platform asynchronous I/O

Primary Git Repository for the Zephyr Project. Zephyr is a new generation, scalable, optimized, secure RTOS for multiple hardware architectures.

A Rust based DNS client, server, and resolver