Ergonomic and modular web framework built with Tokio, Tower, and Hyper

Brotli compression format

🦀 How to minimize Rust binary size 📦

An innovative superfamily of fonts for code

A fast Bloom filter implementation in Rust

TypeScript-first schema validation with static type inference

Automated integer hash function discovery

PQClean for Node.js, Deno, and browsers 🔏🔑 Node.js native addon and WebAssembly implementation

Private symbols for node.js

AIGER files designed by hand, for testing (and limited benchmarking) of new model checkers

ABC: System for Sequential Logic Synthesis and Formal Verification

Secure datagram transmissions over untrusted channels, designed for CubeSats 📡🔐🛰

Windows software for sharing locally connected USB devices to other machines, including Hyper-V guests and WSL 2.

Node.js bindings for the reference implementation of the Classic McEliece KEM.

cvc5 is an open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.

JWA, JWS, JWE, JWT, JWK, JWKS for Node.js, Browser, Cloudflare Workers, Deno, Bun, and other Web-interoperable runtimes.

The Vampire Theorem Prover

Virtual whiteboard for sketching hand-drawn like diagrams

Gitbook documentation for libsodium

A tiny but valid `init` for containers

The JavaScript / Wasm runtime that powers Cloudflare Workers

Cap'n Proto serialization/RPC system - core tools and C++ library

Module for using Node-API from C++

⚙️ Attempt to run Linux in a GPU shader

tap-producing test harness for node and browsers

C library for prototyping and experimenting with quantum-resistant cryptography

A portable C library for generating cypto-secure random bytes

Clean, portable, tested implementations of post-quantum cryptography

A MITM (monster-in-the-middle) detection tool. Used to build MALCOLM: