oscarlevin / discrete-bookView external linksLinks
An open textbook for Discrete Mathematics, as taught at the University of Northern Colorado
☆271Feb 6, 2026Updated last week
Alternatives and similar repositories for discrete-book
Users that are interested in discrete-book are comparing it to the libraries listed below
Sorting:
- Applied Discrete Structures using PreTeXt☆45Dec 11, 2025Updated 2 months ago
- Notes on Diffy Qs, a textbook for differential equations☆78Jan 30, 2026Updated 2 weeks ago
- "A First Course in Linear Algebra" open source textbook☆70Updated this week
- Basic Analysis, undergraduate real analysis textbook☆86Updated this week
- Elementary Number Theory: Primes, Congruences, and Secrets☆113Aug 5, 2023Updated 2 years ago
- Jupyter notebooks for the Klopper lectures on discrete mathematics☆35Aug 15, 2016Updated 9 years ago
- write LaTeX + PSTricks and produce digital textbooks with HTML5 interactivity :)☆65Feb 6, 2020Updated 6 years ago
- Set of tools and data to compute all known invariants for simple connected graphs☆14Mar 6, 2018Updated 7 years ago
- A gentle introduction to the art of mathematics -- open source text for an "intro to proofs" course☆119Jan 27, 2026Updated 2 weeks ago
- LaTeX source for my free math notes☆15Oct 18, 2020Updated 5 years ago
- Lecture notes for a graduate mathematical methods in physics course at UCR☆15Oct 2, 2023Updated 2 years ago
- A textbook for the transition to proof course for mathematics majors utilizing IBL.☆51Jan 9, 2026Updated last month
- An upcoming book on mathematical physics☆14Oct 30, 2018Updated 7 years ago
- A scribble library for using pygmentize☆16Nov 16, 2022Updated 3 years ago
- 记录PDF修订的常用软件和操作方式,以备后用。☆12Mar 6, 2024Updated last year
- Open source library to handle integers of any size in C☆14Apr 11, 2023Updated 2 years ago
- A custom Lua writer to convert anything pandoc reads to PreTeXt.☆14Jul 21, 2024Updated last year
- automated-arancino is a lightweight analysis framework to automate malware experiments.☆16Apr 17, 2017Updated 8 years ago
- Files related to PoC||GTFO 21:21 - NSA’s Backdoor of the PX1000-Cr☆17Mar 23, 2022Updated 3 years ago
- TikZ driver for tex4ht which uses dvisvgm for the SVG production☆14Jun 2, 2025Updated 8 months ago
- ☆19Feb 5, 2026Updated last week
- Prover9 is an automated theorem prover for first-order and equational logic, and Mace4 searches for finite models and counterexamples.☆16May 4, 2018Updated 7 years ago
- Curso de Python para estudiantes de grado de Matemáticas y/o Estadística☆18Feb 11, 2024Updated 2 years ago
- A more standards compliant C library written in M2-Planet's C subset☆20Updated this week
- Windows system repair tool☆18Jun 2, 2021Updated 4 years ago
- Code for the post "Elliptic Curves as Python Objects" implementing elliptic curve point addition over rational numbers.☆21Jun 9, 2020Updated 5 years ago
- TPDD client implemented in bash☆22Oct 29, 2025Updated 3 months ago
- Ported Lisp in BASIC to Tandy TRS-80 Model 100 (Kyocera KC-85 family), originally written by Randy Beer 1981.☆21Dec 31, 2019Updated 6 years ago
- ☆22Sep 8, 2024Updated last year
- A copy of my Mathematics and Computer Engineering B.Sc. thesis☆20Dec 8, 2020Updated 5 years ago
- My solutions to Ahlfors Complex Analysis☆26Nov 8, 2022Updated 3 years ago
- The dataset contains the three-phase current signals measured from a squirrel-cage induction motor. The experimental tests were carried o…☆12Jul 21, 2025Updated 6 months ago
- ☆21Nov 28, 2025Updated 2 months ago
- a multi-user networked online text-based programmable virtual environment -- MOVED TO: https://git.leastfixedpoint.com/tonyg/3-move☆32Dec 16, 2018Updated 7 years ago
- Github mirror of MediaWiki extension Math - our actual code is hosted with Gerrit (please see https://www.mediawiki.org/wiki/Developer_ac…☆25Feb 9, 2026Updated last week
- Mirror of Epigram 2, by Conor McBride, et al.☆58Jun 10, 2020Updated 5 years ago
- An Anki manual to help you get started quickly.☆11Dec 14, 2021Updated 4 years ago
- AYCWABTU is a brute force control word calculation tool for the DVB common scrambling algorithm (csa) that finds keys in encrypted transp…☆27Apr 10, 2023Updated 2 years ago
- Console application to create, solve, and play sudoku.☆24Jun 12, 2021Updated 4 years ago