Implement a ChatGPT-like LLM in PyTorch from scratch, step by step

A Python script to create cactus and scatter plots based on matplotlib

Towards Automated Detection of Single-Trace Side-Channel Vulnerabilities in Constant-Time Cryptographic Code

(ICML 2024) Alphazero-like Tree-Search can guide large language model decoding and training

Algorithms to find the best rational approximation to a given floating-point number and to find the gcd and lcm of a given list of floating-point numbers

An open source re-implementation of Caesar III

Implementation of popular ML algorithms from scratch

PMLB: A large, curated repository of benchmark datasets for evaluating supervised machine learning algorithms.

A cookiecutter for projects with continuous delivery baked in.

Collection of Summer 2026 tech internships!

List of bugs found in distributed protocols

An implementation of the IETF QUIC protocol

arXiv LaTeX Cleaner: Easily clean the LaTeX code of your paper to submit to arXiv

A low-level OpenQASM benchmark suite for NISQ evaluation and simulation. Please see our paper for details.

Folklore facts on probability distribution learning, testing, and whatever-ing

DIG is a numerical invariant generation tool. It infers program invariants or properties over (i) program execution traces or (ii) program source code. DIG supports many forms of numerical invarian…

A repo for university-usage LaTeX templates

Simple Theorem Prover, an efficient SMT solver for bitvectors

High-performance Merkle key/value store

The Elegant Parser

SMC: Structural Model Counter

COIN-OR Branch-and-Cut solver

A unit test-like interface for fuzzing and symbolic execution

A static verifier for Rust, based on the Viper verification infrastructure.

Black-box transactional safety checker based on cycle detection

(Cir)cuit (C)ompiler. Compiling high-level languages to circuits for SMT, zero-knowledge proofs, and more.

Symbolic execution tool

Rust bindings for the Z3 solver.