vlad9486

uefi

UEFI library written in rust

ebpf-tools

Tools to use libbpf with rust

gus

Path tracer in rust

cold-io

Deliberately simple event driven io engine

consensus-simulator

libp2p-simulation

Try to use model checker with libp2p

pq-kem

Post quantum key encapsulation mechanism

toy-plonk

Experiment with PLONK by this tutorial https://research.metastate.dev/plonk-by-hand-part-1/

un-algebra

This repository is a mirror of https://gitlab.com/ornamentist/un-algebra. Please refer to that repository for PR's.

vscode-devcontainer-rust

Sandbox for rust development

aeiou

Algebraic effects

bpf-linker

Simple BPF static linker

cold

Rust runtime for p2p networking

cv

e4d

elf64

Parse elf

gal

tensor calculator

gusni

path tracer

hashes

Collection of cryptographic hash functions written in pure Rust

intellij-rust

Rust plugin for the IntelliJ Platform: https://intellij-rust.github.io/

openmina-poc

pq-newhope

Implementation of the NewHope Post-quantum key encapsulation algorithm

radiation

Convert Rust type into raw bytes and vice versa

resettable

Wrapper enabling copy-on-write

tirse

tirse is imagine to be a serde frontent for binary format

triex

Trivial Executor for rust futures

vru-apns

APNS client

vru-cancel

Cancel tokio stream

vru-kyber

Rust implementation of kyber algorithm

vru-noise

Noise handshake