-
ts-metro Public
Web app that minimizes distance between Metro de Madrid stations
-
44733 Public
44733 is a web app designed to facilitate the parsing of Spanish "Loteria de Navidad" lottery numbers files.
-
generic-anon-ake Public
Implementation of Generic Anonymous AKE
-
distinct-colors Public
-
primos-adri Public
A generator of Primos de Adri
-
offensive-ai-compilation Public
A curated list of useful resources that cover Offensive AI.
-
-
jMetro Public
jMetro is a desktop Java application that computes the shortest path between Metro de Madrid stations.
-
spake2plus Public
Python 3 implementation of SPAKE2+ protocol, according to RFC 9383
-
openssh-portable Public
Forked from openssh/openssh-portablePortable OpenSSH
C Other UpdatedSep 2, 2025 -
lottery Public archive
Find and check Lotería de Navidad numbers
-
noble-post-quantum Public
Forked from paulmillr/noble-post-quantumAuditable & minimal JS implementation of public-key post-quantum cryptography
TypeScript MIT License UpdatedJul 18, 2025 -
hpke-pq Public
Forked from hpkewg/hpke-pqPost-Quantum Algorithms for HPKE
Rust Other UpdatedJul 8, 2025 -
draft-composite-sigs Public
Forked from lamps-wg/draft-composite-sigsIETF Internet-Draft about X.509 certificates with composite keys and signatures.
Makefile Other UpdatedJun 18, 2025 -
-
botan Public
Forked from randombit/botanCryptography Toolkit
C++ BSD 2-Clause "Simplified" License UpdatedApr 10, 2025 -
openssl Public
Forked from openssl/opensslTLS/SSL and crypto library
C Apache License 2.0 UpdatedMar 30, 2025 -
bc-java Public
Forked from bcgit/bc-javaBouncy Castle Java Distribution (Mirror)
Java MIT License UpdatedMar 25, 2025 -
pqc-demos Public
Some basic PQC demos
-
oqs-provider Public
Forked from open-quantum-safe/oqs-providerOpenSSL 3 provider containing post-quantum algorithms
C MIT License UpdatedFeb 21, 2025 -
-
-
draft-composite-kem Public
Forked from lamps-wg/draft-composite-kemIETF draft specifying PQC composite KEM algorithms for use in X.509 and CMS
Makefile Other UpdatedOct 31, 2024 -
awesome-post-quantum Public
Forked from veorq/awesome-post-quantumA curated list of resources about post-quantum cryptography
1 UpdatedSep 24, 2024 -
-
kyber-gake Public archive
Forked from pq-crystals/kyberCompiled-Kyber Group Authenticated Group Key Exchange (GAKE)
-
libcrux Public
Forked from cryspen/libcruxThe formally verified crypto library for Rust
-
aws-lc-verification Public
Forked from awslabs/aws-lc-verificationThis repository contains specifications, proof scripts, and other artifacts required to formally verify portions of AWS libcrypto. Formal verification is used to locate bugs and increase assurance …
-
hpke-js Public
Forked from dajiaji/hpke-jsA Hybrid Public Key Encryption (HPKE) module built on top of Web Cryptography API.
TypeScript MIT License UpdatedApr 2, 2024 -
kyber Public
Forked from Argyle-Software/kyberA rust implementation of the Kyber post-quantum KEM
Rust Apache License 2.0 UpdatedMar 20, 2024
{{ message }}