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

Source code of Ferrocene, safety-critical Rust toolchain

🔤 Rust implementations of string similarity metrics

A proposal for a simple call-this operator in JavaScript.

A scrollable-tiling Wayland compositor.

Home to the Signal Protocol as well as other cryptographic primitives which make Signal possible.

✨ Magical shell history

Process manager for Procfile-based applications and tmux

Provides automated YAML management and a streamlit workbench. Designed to optimize dev workflows.

mouse & keyboard sharing via LAN

Madness enables you to easily run the same binary on NixOS and non-NixOS systems

Think tmux, then aim... lower

A Rust verification tool

Simplifying reinforcement learning for complex game environments

RE2 is a fast, safe, thread-friendly alternative to backtracking regular expression engines like those used in PCRE, Perl, and Python. It is a C++ library.

Const TypeId and non-'static TypeId

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

A Nix library for building cargo projects. Never build twice thanks to incremental artifact caching.

A precise specification for "Rust lite / MIR plus"

Notify async tasks or threads

Portable atomic types including support for 128-bit atomics, atomic float, etc.

Pure and reproducible nix overlay of binary distributed rust toolchains

Virtual machine's guest memory crate

Developer environments you can take with you

PROST! a Protocol Buffers implementation for the Rust Language

xv6 OS

The Kernel of CharlotteOS

A unikernel designed specifically for running Wasm applications and compatible with WASI

AddressSanitizer, ThreadSanitizer, MemorySanitizer

A library for to allow multiple return types by automatically generated enum.