holdenlee / number-theoryView external linksLinks
Open-source number theory textbook
☆63Aug 5, 2024Updated last year
Alternatives and similar repositories for number-theory
Users that are interested in number-theory are comparing it to the libraries listed below
Sorting:
- Algebra Number Theory book☆48Mar 2, 2022Updated 3 years ago
- Elementary Number Theory: Primes, Congruences, and Secrets☆113Aug 5, 2023Updated 2 years ago
- Virtual notebook that Evan uses for his PhD thesis.☆10Sep 5, 2025Updated 5 months ago
- Johan's clone of the cring repository from http://cring.adeel.ru/☆30Aug 16, 2013Updated 12 years ago
- Math-specific tutorial/sample project for Liqvid☆22Aug 21, 2022Updated 3 years ago
- Some examples of Lean projects, for undergraduate mathematicians.☆23Jun 7, 2021Updated 4 years ago
- All of my stuff pertaining to programming contests and preparing for them☆24Dec 4, 2022Updated 3 years ago
- An implementation of Functional Reactive Programming☆41Mar 2, 2015Updated 10 years ago
- A simple but efficient C++ thread/worker pool library for asynchronous task management.☆10Jul 11, 2023Updated 2 years ago
- ☆22Dec 3, 2024Updated last year
- Cochlear implant signal processing☆10Jun 24, 2021Updated 4 years ago
- Unnoficial solutions (still under construction) to Nielsen and Chuang's "Quantum Computation and Quantum Information" - 10th anniversary …☆19Updated this week
- LaTeX version of Grothendieck's Pursuing Stacks☆53Oct 20, 2021Updated 4 years ago
- Ledger Nano Emulation/testing framework☆39Updated this week
- Rapid Blockchain Prototypes for Rust☆15Jan 18, 2023Updated 3 years ago
- Template for the CryCollege library.☆12Jan 6, 2024Updated 2 years ago
- pano date resolver stuff☆17Dec 3, 2025Updated 2 months ago
- Prangster tool from the Black Hat USA 2013 presentation "Black-Box Assessment of Pseudorandom Algorithms" by Derek Soeder, Christopher Ab…☆11Jul 9, 2014Updated 11 years ago
- OTIS course management system☆45Feb 10, 2026Updated last week
- A versatile, easily configurable vocoder software in MATLAB, for research purposes☆12Apr 9, 2021Updated 4 years ago
- 14年使用socketio做的一个聊天室😂☆13Feb 5, 2023Updated 3 years ago
- Utility for making crosschain transactions on the Wanchain network☆13Mar 18, 2019Updated 6 years ago
- A white-box Speck implementation using self-equivalence encodings☆13Jun 25, 2022Updated 3 years ago
- ☆13Mar 6, 2010Updated 15 years ago
- Polynomial semantics of linear logic☆13Apr 15, 2018Updated 7 years ago
- Aivika for .NET, simplified version☆10Nov 11, 2017Updated 8 years ago
- My final year project at the University of Strathclyde☆13Jan 26, 2023Updated 3 years ago
- ☆11Sep 15, 2025Updated 5 months ago
- A little book on General Relativity and Einstein–Cartan Theory☆16Mar 13, 2014Updated 11 years ago
- The Ray Tracer Challenge book solutions in Ocaml☆13Mar 23, 2021Updated 4 years ago
- Circuit Synthesis for Yao's Garbled Circuit by TinyGarble☆11Sep 25, 2020Updated 5 years ago
- Espruino's PixL.js 3D printable housing☆11Jun 29, 2018Updated 7 years ago
- EPA fuel economy data in an R package☆17Mar 23, 2020Updated 5 years ago
- A formalization of synthetic algebraic geometry in Agda☆14Jan 5, 2019Updated 7 years ago
- Enarx Keep Loader☆15Oct 25, 2021Updated 4 years ago
- Programming with LVars, by example☆36Jul 20, 2015Updated 10 years ago
- A prototype of Mio — modular DAW for live coding, live performance and composing.☆13Jan 12, 2021Updated 5 years ago
- Mobile Cashu Mint, Rust + Kotlin☆14Nov 14, 2025Updated 3 months ago
- NavSec is the most comprehensive passive web vulnerability and privacy scanner. It performs real-time security analysis directly in your …☆23Sep 13, 2025Updated 5 months ago