Stars
Educational Datalog system, mostly vibe-coded
Syntax highlighting support for Haskell in Visual Studio Code
PoC: fully unprivileged container escape to node-level code execution on Kubernetes via CVE-2026-31431 page-cache corruption + shared image layers. Validated on Alibaba Cloud ACK, Amazon EKS and Go…
Container to connect to a Ivanti/PulseSecure/Juniper VPN
A massive collaborative rube goldberg machine.
An ESP8266-based anonymous Wi-Fi beacon broadcaster that displays multiple custom SSIDs on nearby devices as a digital billboard. 一個基於 ESP8266 的匿名 Wi-Fi 信標廣播器，能在周圍手機上顯示多個自訂的 Wi-Fi 名稱（SSID）作為數位告示牌。
TLS implementation in pure python, focused on interoperability testing
DeleGate is a multi-purpose application level gateway, or a proxy server which runs on multiple platforms.
AWS-LC is a general-purpose cryptographic library maintained by the AWS Cryptography team for AWS and their customers. It іs based on code from the Google BoringSSL project and the OpenSSL project.
Rust sample project for trying out Dev Containers
Multiple NVIDIA GPUs or Apple Silicon for Large Language Model Inference?
Anon Aadhaar is a zero-knowledge protocol that allows Aadhaar ID owners to prove their identity in a privacy preserving way.
Executable formal model of the EVM and Yul in Lean 4.
Visualizing relationships between cryptographic primitives and number theoretic problems.
Learn Rust by writing Entirely Too Many linked lists
A free, open-source Java library for automata learning algorithms
A window management application (replacement for Divvy/SizeUp/ShiftIt)
Graphic notes on Gilbert Strang's "Linear Algebra for Everyone"
QR designer web app with a novel method of designing qr codes that does not take advantage of error correction