robinhundt

act

Run your GitHub Actions locally 🚀

gleam

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

zotero-scihub

A plugin that will automatically download PDFs of zotero items from sci-hub

teach-rs

A modular, reusable university course for Rust

cargo-release

Cargo subcommand `release`: everything about releasing a rust crate.

snow

A Rust implementation of the Noise Protocol Framework

cargo-show-asm

cargo subcommand showing the assembly, LLVM-IR and MIR generated for Rust code

cargo-wizard

Cargo subcommand for configuring Cargo projects for best performance.

srgn

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

offset-allocator

A port of Sebastian Aaltonen's `OffsetAllocator` to 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.

duplicate

Easy code duplicate with substitution for Rust

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

calculator

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

fcf

Foundational Cryptography Framework for machine-checked proofs of cryptography.

setup-nasm

GitHub Action to install NASM

osrs-dps-calc

Web-based DPS calculator for Old School RuneScape

crypto

Prototyping library for lattice-based cryptography.

Asterisk

HP-Aided n Party MPC

brightr

Simple tool for adjusting backlight on Linux

hpmpc

High Performance Implementation of honest majoirty Seucre Multiparty Computation protocols

HippoWM

X WM written in Rust

rust-mpc-exercise

My take on the learning exercise for Rust and MPC and MPC in Rust.

laurahetz.github.io

rust-mpc-exercise

My solution to a learning exercise for Rust and MPC and MPC in Rust.

rust-mpc-exercise

A learning exercise for Rust and MPC and MPC in Rust.