Sam's repositories
botframework-sdk
Bot Framework provides the most comprehensive experience for building conversation applications.
samproton
Config files for my GitHub profile.
encrypt-body-spring-boot-starter
SpringBoot控制器统一的响应体加密与请求体解密的注解处理方式，支持MD5/SHA/AES/DES/RSA
php-course
An introduction to PHP with HTML
java-course
An introduction to Java
ruby-course
An introduction to Ruby
python-random-quote
A file-based quote bot written in Python
bitcoinj
A library for working with Bitcoin
EcdlPlay
Repositorio para subir el código fuente del juego ECDL y la aplicación web de gestión de preguntas
FStar
Verification system for effectful programs
hacl-star
HACL*, a formally verified cryptographic library written in F*
openssl
Fork of OpenSSL that includes prototype quantum-resistant algorithms and ciphersuites based on liboqs
liboqs-java
liboqs-java is an open source Java wrapper for the liboqs C library. The Open Quantum Safe (OQS) project provides software for prototyping quantum-resistant cryptography.
liboqs
C library for prototyping and experimenting with quantum-resistant cryptography
image-spec
OCI Image Format
security-estimates
Security Estimation Scripts for Kyber and Dilithium
Practical-Cryptography-for-Developers-Book
Practical Cryptography for Developers: Hashes, MAC, Key Derivation, DHKE, Symmetric and Asymmetric Ciphers, Public Key Cryptosystems, RSA, Elliptic Curves, ECC, secp256k1, ECDH, ECIES, Digital Signatures, ECDSA, EdDSA