Stars
Turn your regular JavaScript code into a neural net.
Encrypt email messages before they reach Gmail's UI
pdfCropMargins -- a program to crop the margins of PDF files
LLM-as-a-Verifier is a general-purpose framework that provides fine-grained feedback for any agent without requiring additional training. It achieves SOTA performance across coding, robotics, and m…
A true minimalistic LaTeX beamer template
Computation of isogenies using Weber modular polynomials
WHIR 🌪️: Reed–Solomon Proximity Testing with Super-Fast Verification
Cross-Paradigm Models of Restricted Syndrome Decoding with Application to CROSS - Supporting code
Algorithms for linearization of S-boxes.
Trail of Bits skills for security research, vulnerability detection, and audit workflows
Polynomial Matrix Library. Additions to NTL and FLINT libraries, with a focus on univariate polynomial matrices, structured matrices, and their applications.
Solving linear systems over GF(2) by manipulating bitvectors
Transformers for Mathematics Tutorial | Simons/SLMath Workshop on AI for Mathematics 2025
High-performance C99 library for computing the Fast Walsh-Hadamard Transform (FWHT)
LaTeX package and annotated examples for annotating equations using TikZ.
Concise implementation of class group computations for quadratic fields
Context7 Platform -- Up-to-date docs for AI agents
Docker container for running Claude Code with full permissions and Twilio notifications
Programs in Magma used to determine the Q-gonality of modular curves X_0(N)
A curated list of resources about post-quantum cryptography.
A generic and efficient SIMD implementation of MSB Radix Sort with separate key and payload datastreams that supports arbitrary key and payload data types written in C++ accompanied by a bachelor's…
A Cryptographic Library for the Automated Analysis of Symmetric Primitives
Library for Polynomial System Solving through Algebraic Methods