Pinned Repositories
ascon-rust
ASCON Authenticated Cipher implementation in Rust
BLAKE3
The BLAKE3 cryptographic hash function
blake3-go
brew
🍺 The missing package manager for macOS (or Linux)
certbot
Certbot is EFF's tool to obtain certs from Let's Encrypt and (optionally) auto-enable HTTPS on your server. It can also act as a client for any other CA that uses the ACME protocol.
chacha20-poly1305-aead
A pure Rust implementation of the ChaCha20-Poly1305 AEAD from RFC 7539.
omnitikConfig
Generates Config File for Mikrotik Omnitik 5 PoE ac, compatible with NYC Mesh
proverif-vscode
rust-book-AR
The Rust Programming Language
rust-libp2p
The Rust Implementation of the libp2p networking stack.
georgio's Repositories
georgio/proverif-vscode
georgio/BLAKE3
The BLAKE3 cryptographic hash function
georgio/blake3-go
georgio/brew
🍺 The missing package manager for macOS (or Linux)
georgio/concrete
Concrete: TFHE Compiler that converts python programs into FHE equivalent
georgio/country-json
A simple data of the world by country each in JSON format.
georgio/covid19-tracker-apps
Covid19 Tracker Apps
georgio/crypto
[mirror] Go supplementary cryptography libraries
georgio/discovery
Discover the world of microcontrollers through Rust!
georgio/georgio.xyz
georgio/GitHubGraduation-2021
Join the GitHub Graduation Yearbook and "walk the stage" on June 5.
georgio/homebrew-core
🍻 Default formulae for the missing package manager for macOS (or Linux)
georgio/img-compression
Basic 8x8 jpeg compression
georgio/kremlin
KreMLin is a tool for extracting low-level F* programs to readable C code
georgio/noiseexplorer
Noise Explorer is an online engine for reasoning about Noise Protocol Framework Handshake Patterns.
georgio/ood-3
georgio/Open-in-iTerm
georgio/os-concurrent
georgio/os-shell
georgio/PAKEs
Password-Authenticated Key Agreement protocols
georgio/react-native-hcaptcha
georgio/rebuildingbeirut
georgio/rust
Empowering everyone to build reliable and efficient software.
georgio/rust-bindgen
Automatically generates Rust FFI bindings to C (and some C++) libraries.
georgio/rust-hacl-star
HACL*, a formally verified cryptographic library for Rust (binding to hacl-c).
georgio/rust-libp2p
The Rust Implementation of libp2p networking stack.
georgio/stdarch
Rust's standard library vendor-specific APIs and run-time feature detection
georgio/systems-integration-project
georgio/uYouPlus
uYou+ is a modified version of uYou (made by @MiRO92) with additional features and mainly made for non jailbroken users!
georgio/vscode-extension-samples
Sample code illustrating the VS Code extension API.