robinhundt

ZLUDA

CUDA on ??? GPUs

ast-grep

⚡A CLI tool for code structural search, lint and rewriting. Written in Rust

zotero-scihub

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

libtree

ldd as a tree

nil

NIx Language server, an incremental analysis assistant for writing in Nix.

cargo-release

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

cryptol

Cryptol: The Language of Cryptography

tquic

A high-performance, lightweight, and cross-platform QUIC library

cargo-show-asm

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

offset-allocator

A port of Sebastian Aaltonen's `OffsetAllocator` to Rust

dinghy

Easier cross-compilation for phones and single boards computers

musli

Müsli is a flexible and generic binary serialization framework

pika-backup

Pika Backup – 🪞 Mirror only 🪞 – See https://gitlab.gnome.org/World/pika-backup for development

cassette

A simple, single-future, non-blocking executor intended for building state machines. Designed to be no-std and embedded friendly.

typeid

Const TypeId and non-'static TypeId

syntree

A memory efficient syntax tree for language developers

fcf

Foundational Cryptography Framework for machine-checked proofs of cryptography.

osrs-dps-calc

Web-based DPS calculator for Old School RuneScape

setup-nasm

GitHub Action to install NASM

private-measurement

A place to discuss Private Measurement

github-no-more

No more "Load more"! >:3

Asterisk

HP-Aided n Party MPC

disco

syncthreads

s2n-netbench

An efficiency, performance, and correctness analysis tool for transport protocols.

HippoWM

X WM written in Rust

rust-mpc-exercise

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

cryptOgraph

Typst Package for Cryptology Writing

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.