Open-source number theory textbook
☆64Aug 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:
- Johan's clone of the cring repository from http://cring.adeel.ru/☆30Aug 16, 2013Updated 12 years ago
- Elementary Number Theory: Primes, Congruences, and Secrets☆113Aug 5, 2023Updated 2 years ago
- Math-specific tutorial/sample project for Liqvid☆22Aug 21, 2022Updated 3 years ago
- System F implemented in Haskell☆24Mar 15, 2012Updated 14 years ago
- Server and dashboard components☆12Jun 24, 2024Updated last year
- This repo keeps track of my codes, answers and thinkings when exploring books.☆24Apr 21, 2021Updated 4 years ago
- A simple barebones OS kernel template for developers to get started with OS dev☆29May 17, 2024Updated last year
- This is our Compiler Design project for 6th semester.☆12May 15, 2022Updated 3 years ago
- This is a version of my Conway's Game of Life in JavaScript. Try it here:☆21Dec 17, 2019Updated 6 years ago
- A tool for drawing derivation trees of Tau Prolog☆11Feb 23, 2022Updated 4 years ago
- API for subscribing an email account for contract events☆14May 30, 2017Updated 8 years ago
- ☆11Sep 15, 2025Updated 6 months ago
- Performant, differentiable reinforcement learning☆23Jun 16, 2023Updated 2 years ago
- A tiny, fast, configurable popover in 1.6kb.☆13Jan 3, 2023Updated 3 years ago
- A modular, Lua-based operating system project.☆18Aug 21, 2010Updated 15 years ago
- Wiki for Programming Contests☆49Feb 15, 2021Updated 5 years ago
- Make JVM Slow Again☆12Dec 21, 2016Updated 9 years ago
- ☆10Oct 14, 2019Updated 6 years ago
- Competitive programming algorithms implementations☆12Dec 3, 2020Updated 5 years ago
- Notes for "Applications of QFT to Geometry", UT Austin, fall 2017☆12Aug 28, 2024Updated last year
- GUI Based Scientific Calculator in C.☆11Jul 27, 2018Updated 7 years ago
- Implementation of Mel-Frequency Cepstral Coefficients (MFCC) extraction☆14Jun 23, 2023Updated 2 years ago
- Everyday use .dotfiles☆28Nov 14, 2025Updated 4 months ago
- April 2024 Prompt Engineering Laboratory Code☆17Jun 12, 2024Updated last year
- Live viewer for reStructuredText (RST) documents.☆12Feb 14, 2021Updated 5 years ago
- Mini Operating System is a educational operating system with monolithic kernel design and clean implementation for x86 machines, written …☆19Oct 9, 2020Updated 5 years ago
- Web-based formula editor that creates strict content MathML☆11Feb 8, 2022Updated 4 years ago
- Solving Competition Geometry Problems in Lean☆32Aug 26, 2025Updated 6 months ago
- ☆22Dec 3, 2024Updated last year
- 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
- Formalisation of the Cambridge Part II and Part III courses Graph Theory, Combinatorics, Extremal and Probabilistic Combinatorics in Lean☆74Mar 13, 2026Updated last week
- Insert camelCase, snake_case words without "Shift"ing☆26May 15, 2015Updated 10 years ago
- A framework for natural language syntax and semantics based on type theory.☆13Feb 28, 2024Updated 2 years ago
- Deploying ROS apps using Docker☆15Jun 25, 2018Updated 7 years ago
- ☆18Dec 5, 2017Updated 8 years ago
- Special functions written in Python and accelerated by Numba☆11Apr 22, 2019Updated 6 years ago
- Use GRUB to boot a small operating system running in paged virtual memory.☆14Dec 18, 2010Updated 15 years ago
- Various Programming Competition Code☆20Jan 30, 2011Updated 15 years ago
- Ask for solutions.☆19Aug 5, 2019Updated 6 years ago