Go implementation of FOKS -- client and server

Custom Components for HomeAssistant.io

wazero: the zero dependency WebAssembly runtime for Go developers

Verifying concurrent storage and distributed systems

qpdf: A content-preserving PDF document transformer

Translates WebAssembly modules to portable C

The WebAssembly Binary Toolkit

A WebAssembly interpreter written in pure Python

Access Touchstone SSO sites easily without a web browser.

Kani Rust Verifier

Trustworthy, encrypted, command-line TOTP/HOTP authenticator app with import functionality.

A simple, correct TOTP library.

a hack to allow direct connections to unifi protect on a different layer 3 network

Universal Radio Hacker: Investigate Wireless Protocols Like A Boss

File system notifications for Go.

Algorand's official implementation in Go.

Algorand Specifications

Proving crash safety for systems with layered recovery

A web framework for Rust.

Lecture material for DeepSpec Summer School 2017

Lsyncd (Live Syncing Daemon) synchronizes local directories with remote targets

Private messaging system that hides metadata

C++ library for zkSNARKs

xv6 OS

A Z3-Based String Constraint Solver

Mylar - Transparent end-to-end encryption for Meteor JS

Meteor, the JavaScript App Platform