Stars
A collection of TLA⁺ specifications of varying complexities.
writing correct lock-free and distributed stateful systems in Rust, assisted by TLA+
TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.
The cryptography-based networking stack for building unstoppable networks with LoRa, Packet Radio, WiFi and everything in between.
Study material for NFSU Msc Cyber Security
Heritrix is the Internet Archive's open-source, extensible, web-scale, archival-quality web crawler project.
Book Code for ICPC; Unmaintained, see https://github.com/kth-competitive-programming/kactl/ or https://github.com/ecnerwala/cp-book
DDN: A novel generative model with simple principles and unique properties. (ICLR 2025)
The automatic work journal. Privately turns your screen into a timeline of what you actually accomplished. Open-source and local-first.
Defeating Google's audio reCaptcha with 85% accuracy.
Friends don't let friends make certain types of data visualization - What are they and why are they bad.
Hands-on AlphaFold implementation for educational purposes.
This package contains the original 2012 AlexNet code.
Operations on matrices, vectors, and quaternions
Unicorn CPU emulator framework (ARM, AArch64, M68K, Mips, Sparc, PowerPC, RiscV, S390x, TriCore, X86)
🚪 A simulation of lift operations, handling multiple requests with optimized movement and dynamic floor assignments.
A markup-based typesetting system that is powerful and easy to learn.
Haskell 101 and 102: slides and codelabs
An step by step fuzzing tutorial. A GitHub Security Lab initiative
Group peer to peer video calls for everyone written in Go and TypeScript
PyTorch native quantization and sparsity for training and inference
⏩ Source-controlled AI checks, enforceable in CI. Powered by the open-source Continue CLI
Solve puzzles. Improve your pytorch.