briansmith

servo

Servo, the embeddable, independent, memory-safe, modular, parallel web rendering engine

trillian

A transparent, highly scalable and cryptographically verifiable data store.

tuic

rust-crypto

A (mostly) pure-Rust implementation of various cryptographic algorithms.

trezor-firmware

:lock: Trezor Firmware Monorepo

category-theory

An axiom-free formalization of category theory in Coq for personal study and practical work

stixfonts

OpenType Unicode fonts for Scientific, Technical, and Mathematical texts

trusted-types

A browser API to prevent DOM-Based Cross Site Scripting in modern web applications.

TSS.MSR

The TPM Software Stack from Microsoft Research

biscuit

JOSE (JSON Web Token) Library for Rust

addchain

Cryptographic Addition Chain Generation in Go

rustls-native-certs

Integration with OS certificate stores for rustls

panic-never

This crate guarantees that your application is free of panicking branches

lear

Linux Engine for Asset Retrieval - speed-profiled C HTTP server

certlint

X.509 certificate linter

scroll

Scroll - making scrolling through buffers fun since 2016

osaka

async for rust without the noise

typic

Type-safe transmutations between layout-compatible types.

ctaes

Simple constant-time AES implementation

json_in_type

Fast json encoder in rust, that encodes the structure of JSON values in their types

cryptofuzz

Fuzzing Go crypto

x86-agda

Inline, type safe X86-64 assembly programming in Agda

linux-conf-au-2019-epaper-badge

My IoT badge for lca2019

memcpy-find

A tool for finding large memcpy's in llvm ir

iframe-height

Proposal for automatically setting an iframe height via HTML/CSS

no-std-net

Rust's std::net except without the std.

rpki-rs

An RPKI library for Rust

conquer-once

Synchronization primitives for lazy and one-time initialization (no_std compatible).

wwwee

wwwee, the wee webserver: a small, robust, low-resource and fast web application server for low workloads (home server, personal cloud)

ooproxy

A reverse OpenID Connect and OAuth 2 proxy, implementing the client-credentials flow.