Starred repositories
A resource for anyone interested in understanding and unlocking the potential of zk-SNARKs, from beginners to experts.
Assembly super-optimization via constraint solving
CryptOpt: Verified Compilation with Randomized Program Search for Cryptographic Primitives
A lightweight and portable cryptography library
🍃 Organic Maps is a free Android & iOS offline maps app for more than 6M travelers, tourists, hikers, and cyclists. It uses crowd-sourced OpenStreetMap data and is developed with love by the commun…
Hot is macOS menu bar application that displays the CPU speed limit due to thermal issues.
Linux kernel for reMarkable 1 & 2. zero-sugar is rM2 and zero-gravitas is rM1.
Corne keyboard, a split keyboard with 3x6 column staggered keys and 3 thumb keys.
A C library and binary for generating machine code of x86_64 assembly language and executing on the fly without invoking another compiler, assembler or linker.
Security-related flags and options for C compilers
The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.
oreboot is a fork of coreboot, with C removed, written in Rust.
Run macOS on QEMU/KVM. With OpenCore + Monterey + Ventura + Sonoma support now! Only commercial (paid) support is available now to avoid spammy issues. No Mac system is required.
Collection of pure Rust elliptic curve implementations: NIST P-224, P-256, P-384, P-521, secp256k1, SM2
ChipWhisperer - the complete open-source toolchain for side-channel power analysis and glitching attacks
Home to the Signal Protocol as well as other cryptographic primitives which make Signal possible.
Homomorphic Encryption demos
NEON implementation of NIST lattice-based PQC finalists
A WASM package and web app for encrypting and decrypting age-encrypted files, powered by rage.
F´ - A flight software and embedded systems framework