Stars
A 5-20x faster experimental Homebrew alternative
A security-focused library OS supporting kernel- and user-mode execution
OpenCiv3 is an open-source, cross-platform, mod-oriented, modernized remake of Civilization III by the fan community built with the Godot Engine and C#, with capabilities inspired by the best of th…
Trail of Bits Claude Code skills for security research, vulnerability detection, and audit workflows
Technically-oriented PDF Collection (Papers, Specs, Decks, Manuals, etc)
Proof-of-concept C implementation of AES with masking technique to prevent side-channel analysis attacks
Cargo subcommand to easily use LLVM source-based code coverage (-C instrument-coverage).
A reference architecture for differential fuzzing using a formally verified oracle
High performance Zstandard decompression in a pure JavaScript, 8kB package
RNode is an open, free and flexible digital radio interface with many uses
Information hub for our project training the largest possible historical LLMs.
A secure enclave signing solution (read-only mirror)
ZeroOS: A Universal Modular Library OS for zkVMs
Mojo-V: A RISC-V instruction set extension for privacy-oriented programming. Mojo-V allows programmers to write software that computes on data that no software or person can see, except the data ow…
⚡ Fast, async, stream-based link checker written in Rust. Finds broken URLs and mail addresses inside Markdown, HTML, reStructuredText, websites and more!
Emacs major mode for Lean 4
The Kernel of CharlotteOS, An Experimental Modern Operating System
Studying how compiler optimizations break and fix constant-time
SP1 is a zero‑knowledge virtual machine that proves the correct execution of programs compiled for the RISC-V architecture.
linear-time sumcheck protocol for multilinear polynomials and related addends
A pqSNARK with lightweight proofs, powered by the Whir PCS.
pizlonator / fil-c
Forked from llvm/llvm-projectFil-C: completely compatible memory safety for C and C++
An extremely fast Python type checker and language server, written in Rust.
Formally Verified X.509 Certificate Validation