Empowering everyone to build reliable and efficient software.

A markup-based typesetting system that is powerful and easy to learn.

This is the Rust course used by the Android team at Google. It provides you the material to quickly teach Rust.

Command-line sampling profiler for macOS, Linux, and Windows

2D graphics rendering on the GPU in rust using path tessellation.

A framework for writing FPGA firmware using the Rust Programming Language

SC2 API for Rust

Blazingly fast synthesis of LTL formulas!

Flashcluster, a lightning-fast hierarchical clustering package

effectively solving the random population control problem

A Min Priority Queue implemented as a Thin Wrapper around BinaryHeap from the standard library