8000 pqcfox (kat fox) / Starred · GitHub
[go: up one dir, main page]

Skip to content
View pqcfox's full-sized avatar
🎧
🎧

Organizations

@stanford-ssi @stanfordroboticsclub @tock @rosenpass @pavona

Block or report pqcfox

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Content in all repositories owned by your account will be closed.
Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. This note will only be visible to you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Starred repositories

Showing results

Linux bring-up for Apple M4 and M5 SoCs — SPTM reverse engineering, m1n1 scaffolding, and Arch-based distro targeting Apple Silicon

Python 9 3 Updated Jul 12, 2026

A simple application written in python for the purpose of sorting the pixels in an image

Python 3 Updated Jan 2, 2026

excrypto offers specialized versions of the Go crypto, TLS, x509, and SSH packages designed for security research.

Go 29 4 Updated Oct 13, 2026

Open-Source 2D Vtuber software

GDScript 13 Updated Sep 13, 2026

RE notes for ILCE-7M4, aka Sony A7 IV mirrorless camera

C 90 10 Updated Oct 28, 2026

An on-device debugger/JIT enabler for iOS versions 17.4+, powered by idevice.

Swift 3,036 314 Updated Nov 7, 2026

A lightweight, memory-protected, message-passing kernel for deeply embedded systems.

Rust 3,647 242 Updated Nov 6, 2026

FPGA modules used together with the PCILeech Direct Memory Access (DMA) Attack Software

Verilog 4 Updated Sep 14, 2026

An external lean checker with a proof of consistency

Lean 144 10 Updated Nov 6, 2026

Interactive demo of UNIX V4 at Low Resource Computing

C 22 1 Updated Sep 10, 2026

Jailbreak supported Google Pixel phones with CVE-2026-43499

Kotlin 491 72 Updated Sep 13, 2026

Racing to the bottom of CPU performance

C 994 19 Updated Aug 6, 2026

old school music tracker

Rust 3 Updated Sep 12, 2026

A spicy hardware description language with dependent types

Idris 17 1 Updated Sep 25, 2022

An RTL-based simulation framework to evaluate the resilience of hardware-software combinations against fault injection attacks

C++ 4 Updated Jun 6, 2026

Entirety of `rustc`, translated to C.

C 489 13 Updated Jul 2, 2026

Open source plural system tracker. Selfhostable, optional managed service backend, Android+iOS+wearables, API-first design, PluralPort and many other importers, by systems with professional experie…

Python 16 2 Updated Nov 4, 2026

Rust-based tool that automates the generation of RISC-V runtime initialization code

Rust 4 1 Updated Jan 14, 2026

Refinement Types for Rust

Rust 936 49 Updated Nov 4, 2026

Rosenpass is a post-quantum-secure VPN that uses WireGuard to transport the actual data.

Rust 1,442 137 Updated Nov 6, 2026

The HOL Light theorem prover

OCaml 565 100 Updated Nov 6, 2026

A very fast linker for Linux and WebAssembly

Rust 4,107 150 Updated Nov 7, 2026

Analysis tool to assess (HW/SW) system security against fault-injection attacks

Python 22 Updated Jul 21, 2026

Pythonic AI crawler tarpit

Python 125 3 Updated Oct 28, 2026

💎 Amber the programming language compiled to Bash/Ksh/Zsh

Rust 5,243 149 Updated Nov 3, 2026

A library of modular, tapeout-proven, and secure-by-default open silicon blocks

SystemVerilog 103 35 Updated Nov 6, 2026

Full-featured terminal user interface for Mullvad VPN, with mouse support

Rust 82 1 Updated Jun 24, 2026

TRUST – Coding Rust like it's 1989

Ru 4FDC st 253 6 Updated Jul 15, 2026

Secure, fast, and portable C90 implementation of ML-KEM / FIPS 203

Assembly 259 76 Updated Nov 7, 2026

Library for reducing tail latency in RAM reads

C++ 2,869 163 Updated Apr 11, 2026
Next
0