Vláďa Sedláček's repositories
mq-comparison-suite
A wrapper of MQ solver implementations, allowing a unified interface and performance comparison.
Circular-Units---Diploma-Thesis
Circular units of real abelian fields with four ramified primes.
go-analysis
The goal of the repository is to analyze Go language (fork at: https://github.com/golang/go) in regards to RSA and ECC keys generation. It's part of an assignment for PV204 Security Technologies course at Faculty of Informatics in Brno (CZ, spring 2019).
md-to-pdf
Hackable CLI tool for converting Markdown files to PDF using Node.js and headless Chrome.
PrimeNumberTheoremAnd
blueprint for prime number theorem and more
ProofWidgets4
Helper toolkit for creating your own Lean 4 UserWidgets
std-curves
Standard curve database.
wolfssl
wolfSSL (formerly CyaSSL) is a small, fast, portable implementation of TLS/SSL for embedded devices to the cloud. wolfSSL supports up to TLS 1.3!
wolfssl-examples
Example applications using the wolfSSL lightweight SSL/TLS library