Attempting to see if browsers can be tempted into bootstrapping a WebRTC chat app over a `data:` QR code.

Certificate transparency for Android and JVM

create a "simulated internet" cyber range environment

libxev is a cross-platform, high-performance event loop that provides abstractions for non-blocking IO, timers, events, and more and works on Linux (io_uring or epoll), macOS (kqueue), and Wasm + W…

Language for high-assurance and high-speed cryptography

A collection of high-performance crypto implementations.

The HOL Light theorem prover

An implementation of an auditable key directory

Proposal for the addition of Curve25519 and Curve448 to the Web Cryptography API

A cross-platform .NET library for IMAP, POP3, and SMTP.

Development environment for starting OpenBao (Vault) instances

Main source code repository of the Tamarin prover for security protocol verification.

Hybrid Post Quantum Cryptography

PKCS#11 library and tools for Linux and AIX. Includes tokens supporting IBM crypto hardware as well as a software token.

A tool for benchmarking usage of Vault.

BouncyCastle.NET Cryptography Library (Mirror)

A Vault swiss-army knife: A CLI tool to init, unseal and configure Vault (auth methods, secret engines).

OpenBao exists to provide a software solution to manage, store, and distribute sensitive data including secrets, certificates, and keys.

Common go library shared across sigstore services and clients

OpenTofu lets you declaratively manage your cloud infrastructure.

A CLI tool to sign and verify artifacts

Create MIDI files from numerical chord progressions!

🎹🎸A music theory library with a command-line interface

Enarx: Confidential Computing with WebAssembly

Tool for interactive command line environments on Linux