Lists (1)
Stars
(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
Keriew / augustus
Forked from bvschaik/juliusAn 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 2025 tech internships!
List of bugs found in distributed protocols
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
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.
This repository contains several tools to perform Cache Template Attacks
Advanced Fuzzing Library - Slot your Fuzzer together in Rust! Scales across cores and machines. For Windows, Android, MacOS, Linux, no_std, ...
Comprehensive timing leak protection for Rust programs https://www.chosenplaintext.ca/open-source/rust-timing-shield/
SILVER - Statistical Independence and Leakage Verification