seewoo5 / awesome-number-theoryView external linksLinks
A list of awesome number theory resources
☆33Dec 31, 2022Updated 3 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:
- ☆16Feb 4, 2026Updated last week
- ☆23Mar 4, 2025Updated 11 months ago
- ☆37Sep 18, 2023Updated 2 years ago
- Mathematics + Statistics Courses at the University of Alberta☆15Jan 8, 2023Updated 3 years ago
- Solve discrete logarithm problems by the index calculus method.☆17Aug 30, 2017Updated 8 years ago
- An implementation of Dumer's algorithm for Information Set Decoding.☆14Jan 13, 2024Updated 2 years ago
- Functions for solving linear inequalities in integers☆59Jul 27, 2025Updated 6 months ago
- Representing DES in Z3☆16Jul 14, 2023Updated 2 years ago
- Let's translate works of Grothendieck☆33Aug 13, 2019Updated 6 years ago
- multilingual dictionary of mathematical terminology☆20Oct 18, 2025Updated 3 months ago
- ☆15Mar 14, 2023Updated 2 years ago
- ☆112Apr 22, 2025Updated 9 months ago
- All the math/tex files for the Automorphic Project☆19Updated this week
- Solving BDD and uSVP with predicate☆51Jul 31, 2024Updated last year
- Coppersmith method (solving polynomial equation over composite modulus on small bounds)☆123Dec 21, 2024Updated last year
- Lean 4 formalization of Rubik's cubes☆32Feb 17, 2025Updated last year
- MATH/STAT 4540/5540 Introduction to Time Series, spring 2022☆10Jan 13, 2023Updated 3 years ago
- Fast lattice reduction using segmentation, multithreading, Seysen reduction and BLAS☆48Nov 3, 2025Updated 3 months ago
- ARCHIVED - Materials for running a Team-Based Inquiry Learning linear algebra course☆10Jul 30, 2024Updated last year
- COMS 4111 Project 1☆12Jul 21, 2022Updated 3 years ago
- This was our Final Project for Distributed Computing. In this we had to create a distributed system that will use the Brute Force Algorit…☆11Aug 14, 2021Updated 4 years ago
- Typora theme based on the CryptoHack blog☆33Mar 24, 2021Updated 4 years ago
- The official github repo for the open online courses: "Dive into LLMs".☆10Mar 15, 2024Updated last year
- 内核级Dll注入监控，利用ETW输出和溯源☆11Dec 8, 2024Updated last year
- Number Geometry methods: Shortest Vector Problem and Shorter Basis Problem in Lattice (Hamming distance, Bounded distance decoding, bina…☆13May 19, 2023Updated 2 years ago
- ☆12Jan 4, 2023Updated 3 years ago
- ☆20Dec 30, 2025Updated last month
- Numerical optimization code for classical and quantum subset-sum algorithms☆10Feb 14, 2020Updated 6 years ago
- A Streamlit-based chatbot application using Gemini models for NLP. Features include light/dark mode toggle, model selection (Gemini 1.5 F…☆10May 23, 2024Updated last year
- CDLS: Proving Knowledge of Committed Discrete Logarithms with Soundness☆11Nov 2, 2024Updated last year
- ☆12Feb 10, 2026Updated last week
- A PDF template that contains its own MD5!☆44Nov 28, 2024Updated last year
- Typst Simple Icons Package☆20Updated this week
- ☆11May 14, 2023Updated 2 years ago
- Lean proof that a normed vector space with compact unit ball is finite dimensional☆11Dec 7, 2019Updated 6 years ago
- Formalization of Statement of Local Langlands Correspondence for Tori☆12Dec 18, 2018Updated 7 years ago
- A basic Lean implementation of https://arxiv.org/pdf/2310.01530.pdf☆15Mar 27, 2025Updated 10 months ago
- A Rust adapter for the Janus WebRTC server 🦀☆14Jan 14, 2026Updated last month
- A library for lattice-based homomorphic encryption in Go☆14May 15, 2022Updated 3 years ago