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:
- Let's translate works of Grothendieck☆33Aug 13, 2019Updated 6 years ago
- All the math/tex files for the Automorphic Project☆19Feb 12, 2026Updated 3 weeks ago
- A long-horizon, sparse-reward math environment for reinforcement learning. Official code repo for "What makes Math problems hard for rein…☆32Aug 11, 2025Updated 6 months ago
- COMS 4111 Project 1☆12Jul 21, 2022Updated 3 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
- ☆15Updated this week
- A Rust adapter for the Janus WebRTC server 🦀☆13Feb 22, 2026Updated 2 weeks ago
- Cryptography in SageMath.☆10Dec 17, 2018Updated 7 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
- ☆11May 14, 2023Updated 2 years ago
- A basic Lean implementation of https://arxiv.org/pdf/2310.01530.pdf☆15Mar 27, 2025Updated 11 months ago
- CDLS: Proving Knowledge of Committed Discrete Logarithms with Soundness☆11Nov 2, 2024Updated last year
- Course website for Math 721: Homotopy Type Theory, taught at Johns Hopkins in Fall 2021☆51Dec 12, 2021Updated 4 years ago
- An English translation of Deligne's three "Hodge theory" papers☆15Feb 7, 2026Updated last month
- Experiment with synthetic domain theory in cubical agda☆14Nov 8, 2022Updated 3 years ago
- LaTeX math equations to Typst equations conversion.☆14Jan 22, 2025Updated last year
- 🤖 curl | sh installer script for Typst☆13Oct 26, 2025Updated 4 months ago
- A collection of LaTeX Templates used by my own.☆11Apr 20, 2022Updated 3 years ago
- Conference on Homotopy Type Theory 2023☆13Jan 24, 2024Updated 2 years ago
- Worksheets and lecture notes for my math courses for school students (in German)☆10Feb 12, 2026Updated 3 weeks ago
- Google Gemini Voice/Vision Assistant with gemini-1.5-pro / gemini-1.5-flash modal ! #Gemini 1.5 Flash #Gemini 1.5 Pro☆11May 18, 2024Updated last year
- Automate building of TeXmacs on windows using MSys2/Mingw-w32☆10Jun 20, 2022Updated 3 years ago
- A LaTeX library to cache pictures (including tikz, python code, and more) in a robust, customizable, and pure way.☆14Feb 23, 2026Updated 2 weeks ago
- Lean formalization of aperiodic monotiles papers (staging repository for material not yet in mathlib)☆15Feb 18, 2026Updated 2 weeks ago
- Disproof of the Aharoni–Korman conjecture☆12Dec 1, 2025Updated 3 months ago
- ☆13Mar 3, 2026Updated last week
- treelite runtime binding in Go☆13Jul 31, 2024Updated last year
- Demos for AI assistants using NLUX, Next.js, React, and Node.js☆17Jun 24, 2024Updated last year
- Hyperparameter tuning for FCN using Ray Tune☆14Sep 11, 2020Updated 5 years ago
- Lean formalizations of IMO problem statements☆31Oct 23, 2025Updated 4 months ago
- A brief course for embedded Rust on the RP2040 Microcontroller☆20Jul 19, 2025Updated 7 months ago
- ☆17Jun 10, 2022Updated 3 years ago
- This is the codebase for pre-training, compressing, extending, and distilling LLMs with Megatron-LM.☆12Mar 11, 2024Updated last year
- Examples for using the SiLLM framework for training and running Large Language Models (LLMs) on Apple Silicon☆16May 8, 2025Updated 10 months ago
- Unstract's interface to LLMs, Embeddings and VectorDBs.☆18Jul 23, 2024Updated last year
- Collection of notebooks describing the basic analysis workflow for a 16S rRNA gene amplicon sequencing project☆12May 25, 2022Updated 3 years ago
- Data Processing and Visualization for Metagenomics☆15Oct 31, 2024Updated last year
- Web published translation of Grothendieck's essay on kimchi☆17Feb 10, 2024Updated 2 years ago