SignServer – Open source, PKI-based signing software to sign code, documents, timestamps and more.

EJBCA® – Open-source public key infrastructure (PKI) and certificate authority (CA) software.

Additional implementation of BIKE (Bit Flipping Key Encapsulation)

Intel® Cryptography Primitives Library is a secure, fast and lightweight library of building blocks for cryptography, highly-optimized for various Intel® CPUs

Java TLS PSK JSSE Socket Factories powered by Bouncy Castle

Paranoid's library contains implementations of checks for well known weaknesses on cryptographic artifacts.

Mirror of Apache HttpClient

Mirror of Apache HttpCore

Netty project - an event-driven asynchronous network application framework

Collection of block cipher algorithms written in pure Rust

SRI Yices SMT Solver

The Z3 Theorem Prover

The Amazon Corretto Crypto Provider is a collection of high-performance cryptographic implementations exposed via standard JCA/JCE interfaces.

Rel is a desktop database management system that implements Date & Darwen's "Tutorial D" database language.

Please check out https://github.com/hacspec/hacspec for more information on hacspec

Cryptol: The Language of Cryptography

The SAW scripting language.

✅ .NET crypto done right. Professionally audited.

TLS-Attacker is a Java-based framework for analyzing TLS libraries. It can be used to manually test TLS clients and servers or as as a software library for more advanced tools.

Checking the SafeCurves primes in Coq

Snowshoe - Portable, Secure, Fast Elliptic Curve Math Library in C

Comprehensive Bitcoin library for the .NET framework.

Optimized C library for EC operations on curve secp256k1

A library for working with Bitcoin

Low-latency machine code generation