Bug-tracking for Jeff's algorithms book, notes, etc.
- algorithm
- textbook
- lecture-notes
- course-materials
Repository Index
61,121 visible repositories in the index
1–7 of 7 · Most stars
Blockchain dark forest selfguard handbook. Master these, master the security of your cryptocurrency.
TranslatedThe complete AI Agent interview guide: from zero to Offer, including 200+ interview questions, enterprise-level projects (Python/Java/Go), resume templates, STAR interview scripts, and Doraemon comic illustrations
A collection of resources for learning type theory and type theory adjacent fields.
Learn cloud security by building it! An open-source homelab teaching Zero Trust, DevSecOps, IaC, and cloud architecture from the ground up.
SPARK by Example is an adaptation of ACSL by Example for SPARK 2014, a programming language which is a formally verified subset of Ada
- formal-verification
- formal-methods
- formal-specification
- ada
The Gopher API, is a simple CRUD API for formative purpose, we're building it while writing the posts of the blog.