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:
- ☆40Updated 2 years ago
- A SageMath implementation of the Castryck-Decru Key Recovery attack on SIDH☆132Updated 2 years ago
- A Sage interface for FGb (Gröbner basis computations)☆34Updated last year
- Lattices in Cryptography (University of Michigan)☆85Updated 8 months ago
- A rust and SageMath implementation of (2,2)-isogenies in the theta model☆19Updated 4 months ago
- ☆14Updated last year
- A foundational framework for modular cryptographic proofs in Coq☆64Updated last week
- ☆31Updated 2 years ago
- A sage Toolkit for mounting/estimating attacks on LWE with Side Information☆46Updated last year
- Fast lattice reduction☆198Updated 2 months ago
- ☆33Updated last year
- Prime numbers for Coq☆39Updated last week
- SampCert : Verified Differential Privacy☆73Updated last month
- Representing DES in Z3☆15Updated last year
- Experiments with Universal Composability in EasyCrypt☆34Updated this week
- ☆21Updated 3 months ago
- ☆16Updated 2 years ago
- ☆45Updated 3 weeks ago
- ☆49Updated last week
- Examples for EasyCrypt Lectures☆24Updated 4 months ago
- CertiCrypt Coq Framework☆35Updated 9 years ago
- Bosphorus, ANF simplifier and solver, and ANF-to-CNF converter☆71Updated 2 months ago
- Formalized Cryptography Proofs in Lean 4☆31Updated this week
- Fermat's Last Theorem for regular primes☆58Updated this week
- ☆16Updated 11 months ago
- EasyCrypt: Computer-Aided Cryptographic Proofs☆353Updated this week
- Fast lattice reduction using segmentation, multithreading, Seysen reduction and BLAS☆22Updated 3 weeks ago
- MIT 6.875☆14Updated last year
- Johan's clone of the cring repository from http://cring.adeel.ru/☆29Updated 11 years ago
- Lean 3 material for Kevin Buzzard's Jan-Mar 2022 course on formalising mathematics. Lean 4 version available here: https://github.com/Imp…☆120Updated last year