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

RFCs for changes to Rust

Tool for safe ergonomic Rust/C++ interop driven from existing C++ headers

In collaboration with the Rust Foundation, Rust Project, and appropriate external stakeholders, make C++ and Rust interoperability easily accessible and approachable to the widest possible audience

Rust wrapper for MFEM

An Open-Source Machine Learning Framework in Rust Δ

Rank Polymorphic array library for Rust.

Code generation tool to generate mathematical libraries

WIP COSMIC terminal emulator

kv - a C++ Library for Verified Numerical Computation

Rust grid library

the concurrent partitioner

Python port of Entangled

Rust finite element definition library

A package enabling the simple setup and solution of differential equations problems on quantum graphs.

Delaunay Triangulations for the Rust Ecosystem

Defines the Rust borrow checker.

The "p4est" forest-of-octrees library

📦 shippable application packaging

A terminal workspace with batteries included

The implementation exercise for the final year finite element course given in the Maths Department of Imperial College London

Source code of the Coccinelle project (mirror of the main Coccinelle repository located at Inria)

Rust grammar for tree-sitter

A modern, extensible GitHub API Client for Rust.

a very quick intro to rust syntax for those new to the language

An incremental parsing system for programming tools

Sccache is a ccache-like tool. It is used as a compiler wrapper and avoids compilation when possible. Sccache has the capability to utilize caching in remote storage environments, including various…

Linear algebra package for rust-ndarray using LAPACK binding

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