cipherboy

opentofu

OpenTofu lets you declaratively manage your cloud infrastructure.

distrobox

Use any linux distribution inside your terminal. Enable both backward and forward compatibility with software and freedom to use whatever distribution you’re more comfortable with. Mirror available at: https://gitlab.com/89luca89/distrobox

MailKit

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

openbao

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

toolbox

Tool for interactive command line environments on Linux

coltrane

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

libxev

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 + WASI. Available as both a Zig and C API.

bank-vaults

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

bc-csharp

BouncyCastle.NET Cryptography Library (Mirror)

enarx

Enarx: Confidential Computing with WebAssembly

sigstore

Common go library shared across sigstore services and clients

hol-light

The HOL Light theorem prover

tamarin-prover

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

dilithium

chords2midi

Create MIDI files from numerical chord progressions!

notation

A CLI tool to sign and verify artifacts

jasmin

Language for high-assurance and high-speed cryptography

akd

An implementation of an auditable key directory

certificatetransparency

Certificate transparency for Android and JVM

opencryptoki

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

vault-benchmark

A tool for benchmarking usage of Vault.

haberdashery

A collection of high-performance crypto implementations.

webcrypto-secure-curves

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

Cyber-Range

create a "simulated internet" cyber range environment

purescript-backend-erl

devbao

Development environment for starting OpenBao (Vault) instances

hpqc

Hybrid Post Quantum Cryptography

CSE575-fa24

polynomial_hashing_framework

oom-platform-cert-service