robinhundt

act

Run your GitHub Actions locally 🚀

gleam

⭐️ A friendly language for building type-safe, scalable systems!

orbit

C/C++ Performance Profiler

cve-rs

Blazingly 🔥 fast 🚀 memory vulnerabilities, written in 100% safe Rust. 🦀

teach-rs

A modular, reusable university course for Rust

s2n-quic

An implementation of the IETF QUIC protocol

creusot

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

snow

A Rust implementation of the Noise Protocol Framework

cargo-wizard

Cargo subcommand for configuring Cargo projects for best performance.

calyx

Intermediate Language (IL) for Hardware Accelerator Generators

srgn

A code surgeon for precise text and code transplantation. A marriage of `tr`/`sed`, `rg` and `tree-sitter`.

duplicate

Easy code duplicate with substitution for Rust

aws-lc-rs

aws-lc-rs is a cryptographic library using AWS-LC for its cryptographic operations. The library strives to be API-compatible with the popular Rust library named ring.

typst-fletcher

Typst package for drawing diagrams with arrows, built on top of CeTZ.

PhastFT

A high-performance, "quantum-inspired" Fast Fourier Transform (FFT) library written in pure and safe Rust.

claro-lang

Claro Lang

libv4l-rs

Video4Linux2 bindings for Rust

eye-rs

Cross platform camera capture in Rust

distributed_point_functions

An Implementation of Incremental Distributed Point Functions in C++

calculator

Simple mathematical expression evaluator (aka calculator) built using Nom, Pratt Parser, LLVM, Cranelift and Relm.

greco

safe_arch

Exposes arch-specific intrinsics as safe function (via cfg).

ark-mpc

A framework for SPDZ-style maliciously-secure MPC.

dagP

Multilevel Directed Acyclic Graph Partitioner

rustconf-2023

crypto

Prototyping library for lattice-based cryptography.

brightr

Simple tool for adjusting backlight on Linux

hpmpc

High Performance Implementation of honest majoirty Seucre Multiparty Computation protocols

mpc-bench

MPC Benchmarking Tool

laurahetz.github.io