robinhundt

FireDBG.for.Rust

🔥 Time Travel Visual Debugger for Rust

hotspot

The Linux perf GUI for performance analysis.

cinny-desktop

Yet another matrix client for desktop

yacl

YACL (Yet Another Common crypto library) is a C++ library that contains cryptgraphy, network and io modules which other SecretFlow code depends on.

jaq

A jq clone focussed on correctness, speed, and simplicity

listings-rust

A Rust language and style specification for the LaTeX-package listings

Modern-CPP-Programming

Modern C++ Programming Course (C++03/11/14/17/20/23/26)

rustlantis

UB-free and deterministic rustc fuzzer

hypergraph

Hypergraph is data structure library to create a directed hypergraph in which a hyperedge can join any number of vertices.

crucible

Crucible is a library for symbolic simulation of imperative programs

simd-polyfill

Polyfill for SIMD instruction sets

MOTION-FD

Function-Dependent Preprocessing in MOTION

tokio-rustls

Async TLS for the Tokio runtime

lilos

A wee async RTOS for Cortex-M

rsc-regexp

Translations of a simple C program to Rust.

bls12_381

Implementation of the BLS12-381 pairing-friendly elliptic curve group

aya

Aya is an eBPF library for the Rust programming language, built with a focus on developer experience and operability.

udp-over-tcp

Proxy UDP traffic over a TCP stream

mullvadvpn-app

The Mullvad VPN client app for desktop and mobile

coc-implementation

A "Code of Conduct" helps improve diversity and inclusion in a given community, provided it's adequately implemented. So here's an approach that proved successful.

ointers

What do you call a pointer we stole the high bits off? An ointer.

lean4

Lean 4 programming language and theorem prover

tfhe-rs

TFHE-rs: A Pure Rust implementation of the TFHE Scheme for Boolean and Integer Arithmetics Over Encrypted Data.

boogie

Boogie

cmarker.typ

Transpile CommonMark Markdown to Typst, from within Typst!

spanned

string processing with file/line/col information and the regular rust `str` API

good_lp

Linear Programming for Rust, with a user-friendly API. This crate allows modeling LP problems, and lets you solve them with various solvers.

libprio-rs

Implementation of Prio in Rust.

mpc-deadlines.github.io

Deadlines for MPC conferences (Security and Privacy)

HEIR