Lists (1)
Stars
The C++ Core Guidelines are a set of tried-and-true guidelines, rules, and best practices about coding in C++
Empowering everyone to build reliable and efficient software.
Math & CS Awesome List, distinguished by proof and logic and technique
Universal and Transferable Attacks on Aligned Language Models
Learning Rust By Practice, narrowing the gap between beginner and skilled-dev through challenging examples, exercises and projects.
「Java学习+面试指南」一份涵盖大部分 Java 程序员所需要掌握的核心知识。准备 Java 面试，首选 JavaGuide！
Modern C++ Programming Course (C++03/11/14/17/20/23/26)
The core library of differential privacy algorithms powering the OpenDP Project.
A collection of resources for learning type theory and type theory adjacent fields.
A unified framework for privacy-preserving data analysis and machine learning
Google's differential privacy libraries.
Some notes on things I find interesting and important.
Training PyTorch models with differential privacy
A pure-Rust implementation of group operations on Ristretto and Curve25519
A reading list for large models safety, security, and privacy (including Awesome LLM Security, Safety, etc.).
A cryptographic protocol to verify differentially-private queries.
Efficient online random sampling algorithms via randomness recycling
A tiny scalar-valued autograd engine and a neural net library on top of it with PyTorch-like API
The simplest, fastest repository for training/finetuning medium-sized GPTs.
"Efficient Neural Theorem Proving via Fine-grained Proof Structure Analysis" (ICML 2025) official implementation.
An inequality benchmark for theorem proving
Exact Inference Engine for Probabilistic Programs
A collection of formalized statements of conjectures in Lean.