Lists (1)
Starred repositories
HackSys Extreme Vulnerable Driver (HEVD) - Windows & Linux
This project hosts security advisories and their accompanying proof-of-concepts related to research conducted at Google which impact non-Google owned code.
Code at the speed of thought – Zed is a high-performance, multiplayer code editor from the creators of Atom and Tree-sitter.
Formalization of Mathematical Logic
A Minimal, Cozy, Vertical Optimized Firefox Theme
An axiom-free formalization of category theory in Coq for personal study and practical work
An alternative frontend for LessWrong 2.0
An open-source, customizable intermediate logic textbook
Common data structures and algorithms in Rust
Blazing fast Neovim framework providing solid defaults and a beautiful UI, enhancing your neovim experience.
A new markup-based typesetting system that is powerful and easy to learn.
The Mullvad VPN client app for desktop and mobile
Lean 4 programming language and theorem prover
LaTeX article class with design features from E.Tufte's works
pix2tex: Using a ViT to convert images of equations into LaTeX code.
This is the Rust course used by the Android team at Google. It provides you the material to quickly teach Rust.
Algorithms used in Competitive Programming
🐙 Guides, papers, lecture, notebooks and resources for prompt engineering