x86 emulation library

32-bit operating system written from scratch, with alternative user interface, designed for older computers with intention to provide system that will make them usable again

A portable microkernel-based multiserver operating system written from scratch.

Conventions supporting interoperatibility between tools working with WebAssembly.

Heapless, `static` friendly data structures

Rust library for filesystems in userspace (FUSE)

Automated property based testing for Rust (with shrinking).

ndarray: an N-dimensional array with array views, multidimensional slicing, and efficient operations

mimalloc is a compact general purpose allocator with excellent performance.

Research programming language for concurrent ownership

📦✨ your favorite rust -> wasm workflow tool!

Collection of Verification Tasks (MOVED, please follow the link)

Auditing crates for unsafe code which can be safely replaced

RustSec API & Tooling

Inductive invariant synthesis via learning

COIN-OR Linear Programming Solver

CPAchecker, the Configurable Software-Verification Platform (read-only mirror)

T2 Temporal Prover

One true awk

picolibc - a C library designed for embedded 32- and 64- bit systems.

Tesseract Open Source OCR Engine (main repository)

SDL2 bindings for Rust

A Rust compiler front-end for IDEs

toybox

The Z3 Theorem Prover

The Meson Build System

Precursor to WASI libc.

Fast, SIMD-accelerated CRC32 (IEEE) checksum computation in Rust

Error-finding tool based on static analysis

A FPGA friendly 32 bit RISC-V CPU implementation