thomas's repositories
oqs-provider
OpenSSL 3 provider containing post-quantum algorithms
Language:CMIT000
sapling
A Scalable, User-Friendly Source Control System.
Language:RustGPL-2.0000
tree-sitter
An incremental parsing system for programming tools
MIT000
rules_rust
Rust rules for Bazel
Language:StarlarkApache-2.0000
rules_foreign_cc
Build rules for interfacing with "foreign" (non-Bazel) build systems (CMake, configure-make, GNU Make, boost, ninja, Meson)
Language:StarlarkApache-2.0000
liboqs
C library for prototyping and experimenting with quantum-resistant cryptography
NOASSERTION000
ssh-parser
SSH zero-copy parser written in pure rust
Apache-2.0000
hacl-packages
The Cryspen HACL Distribution
NOASSERTION000