10000 peterdettman (Peter Dettman) / Starred · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content
View peterdettman's full-sized avatar

Block or report peterdettman

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
Showing results

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

Java 366 45 Updated Apr 28, 2025

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

Java 740 123 Updated May 26, 2025
C 81 4 Updated Apr 18, 2020

Additional implementation of BIKE (Bit Flipping Key Encapsulation)

C 51 16 Updated Apr 11, 2024

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

C 353 93 Updated May 30, 2025

Java TLS PSK JSSE Socket Factories powered by Bouncy Castle

Java 7 4 Updated Jun 8, 2024

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

Python 794 46 Updated Apr 12, 2024

Mirror of Apache HttpClient

Java 1,489 983 Updated Jun 13, 2025

Mirror of Apache HttpCore

Java 359 353 Updated Jun 13, 2025

Netty project - an event-driven asynchronous network application framework

Java 34,164 16,105 Updated Jun 13, 2025

Collection of block cipher algorithms written in pure Rust

Rust 714 137 Updated Jun 11, 2025

The Yices SMT Solver

SMT 413 56 Updated Jun 13, 2025

The Z3 Theorem Prover

C++ 11,103 1,535 Updated Jun 13, 2025

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

Java 249 62 Updated Jun 5, 2025

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

Java 101 9 Updated Mar 3, 2024

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

Python 46 8 Updated Nov 11, 2020

Cryptol: The Language of Cryptography

Haskell 1,162 126 Updated Jun 13, 2025

The SAW scripting language.

Haskell 469 75 Updated Jun 13, 2025

✅ .NET crypto done right. Professionally audited.

C# 582 50 Updated Dec 20, 2024

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.

Java 840 145 Updated Jun 12, 2025
Assembly 98 28 Updated Jul 31, 2016

Checking the SafeCurves primes in Coq

Python 3 Updated Jan 20, 2016

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

C++ 63 9 Updated Feb 3, 2018

Comprehensive Bitcoin library for the .NET framework.

C# 1,922 856 Updated Jun 9, 2025

Optimized C library for EC operations on curve secp256k1

C 2,251 1,060 Updated Jun 5, 2025

A library for working with Bitcoin

Java 5,103 2,537 Updated Jun 5, 2025

Low-latency machine code generation

C++ 4,183 534 Updated Jun 8, 2025
0