Open-source number theory textbook
☆68Aug 5, 2024Updated 2 years ago
Alternatives and similar repositories for number-theory
Users that are interested in number-theory are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Algebra Number Theory book☆50Mar 2, 2022Updated 4 years ago
- ☆10Sep 27, 2015Updated 10 years ago
- Elementary Number Theory: Primes, Congruences, and Secrets☆115Aug 5, 2023Updated 3 years ago
- Virtual notebook that Evan uses for his PhD thesis.☆12May 26, 2026Updated 3 months ago
- Math-specific tutorial/sample project for Liqvid☆22Aug 21, 2022Updated 4 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- System F implemented in Haskell☆24Mar 15, 2012Updated 14 years ago
- Olympiad problem database☆61Sep 15, 2026Updated last week
- All the math/tex files for the Automorphic Project☆19Feb 12, 2026Updated 7 months ago
- API for subscribing an email account for contract events☆14May 30, 2017Updated 9 years ago
- NCAR HPC Docs Repository☆13Updated this week
- Find cool seeds in minecraft☆15Feb 23, 2016Updated 10 years ago
- A tiny, fast, configurable popover in 1.6kb.☆13Jan 3, 2023Updated 3 years ago
- Working through https://leanpub.com/optics-by-example by Chris Penner☆12Sep 9, 2021Updated 5 years ago
- Principal component analysis using a linear autoencoder☆16May 25, 2019Updated 7 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Notes for "Applications of QFT to Geometry", UT Austin, fall 2017☆12Aug 28, 2024Updated 2 years ago
- get birth date of your friend from ERP☆12May 10, 2019Updated 7 years ago
- A simple development of linear logic in Coq.☆13Mar 22, 2025Updated last year
- Computes the alpha complex of a point set in any dimension☆14Mar 10, 2015Updated 11 years ago
- Web-based formula editor that creates strict content MathML☆12Feb 8, 2022Updated 4 years ago
- ☆12Aug 12, 2019Updated 7 years ago
- My Linux / Mac dotfiles · powered by dotbot ⚡️☆16Sep 5, 2026Updated 2 weeks ago
- Attempted implementation of a Bi-directional GRU followed by a linear-chain-CRF (from scratch) for Named Entity Recognition.☆15Dec 5, 2017Updated 8 years ago
- A framework for natural language syntax and semantics based on type theory.☆14Feb 28, 2024Updated 2 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Xy-pic extension for MathJax☆64Jan 16, 2021Updated 5 years ago
- A simple but efficient C++ thread/worker pool library for asynchronous task management.☆10Jul 11, 2023Updated 3 years ago
- Repository for cutout animation characters setup in Godot Engine☆15Jun 8, 2018Updated 8 years ago
- Some CSS experiments for arXiv HTML documents converted via latexml☆21Aug 23, 2026Updated last month
- ☆16Jan 3, 2023Updated 3 years ago
- 14年使用socketio做的一个聊天室😂☆13Feb 5, 2023Updated 3 years ago
- Insert camelCase, snake_case words without "Shift"ing☆26May 15, 2015Updated 11 years ago
- Ask for solutions.☆19Aug 5, 2019Updated 7 years ago
- Package to implement bots in Mathematica using the Telegram API.☆11Feb 19, 2017Updated 9 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- OTIS course management system☆47Updated this week
- Stacks project, from a homotopy type theory point-of-view (hPOV)☆14Oct 10, 2020Updated 5 years ago
- A small C++ library for formatted stream output of standard library objects☆10Dec 16, 2015Updated 10 years ago
- LaTeX version of Grothendieck's Pursuing Stacks☆55Oct 20, 2021Updated 4 years ago
- Animation Framework☆13Aug 3, 2019Updated 7 years ago
- "Essential Information about Algorithms and Data Structures"☆14Oct 18, 2017Updated 8 years ago
- moderngpu algorithms for C++ shaders☆16Mar 3, 2021Updated 5 years ago