seewoo5 / awesome-number-theoryLinks
A list of awesome number theory resources
☆27Updated 2 years ago
Alternatives and similar repositories for awesome-number-theory
Users that are interested in awesome-number-theory are comparing it to the libraries listed below
Sorting:
- ☆41Updated 2 years ago
- Lattices in Cryptography (University of Michigan)☆90Updated 9 months ago
- Representing DES in Z3☆15Updated last year
- A rust and SageMath implementation of (2,2)-isogenies in the theta model☆19Updated 5 months ago
- Lecture notes for Chris Peikert's graduate-level Theory of Cryptography course☆172Updated last year
- ☆31Updated 2 years ago
- A SageMath implementation of the Castryck-Decru Key Recovery attack on SIDH☆132Updated 2 years ago
- Lattices and Their Algorithms, Leiden, Spring 2024☆13Updated 10 months ago
- A Sage interface for FGb (Gröbner basis computations)☆34Updated last year
- ☆33Updated last year
- Fast lattice reduction☆203Updated 3 months ago
- A foundational framework for modular cryptographic proofs in Coq☆65Updated last week
- Bosphorus, ANF simplifier and solver, and ANF-to-CNF converter☆73Updated 2 months ago
- A sage Toolkit for mounting/estimating attacks on LWE with Side Information☆46Updated last year
- EasyCrypt: Computer-Aided Cryptographic Proofs☆356Updated last week
- ☆16Updated 2 years ago
- SampCert : Verified Differential Privacy☆75Updated last month
- Fast lattice reduction using segmentation, multithreading, Seysen reduction and BLAS☆29Updated this week
- ☆21Updated 3 months ago
- ☆14Updated last year
- Bringing the power of SageMath to VS Code with this extension that offers specialized syntax highlighting, quick run capabilities, and ad…☆33Updated 6 months ago
- Experiments with Universal Composability in EasyCrypt☆35Updated this week
- ☆47Updated last month
- ☆19Updated 6 years ago
- ☆15Updated 2 years ago
- All the math/tex files for the Automorphic Project☆19Updated last year
- plasTeX plugin to build formalization blueprints.☆220Updated last month
- Functions for solving linear inequalities in integers☆49Updated 2 months ago
- Template for blueprint-driven formalization projects in Lean.☆57Updated last week
- repository for material for Jan-Mar 2023 course on formalising mathematics☆48Updated last year