Solutions to Susanna Epp's Discrete Mathematics book, 5th Edition
☆140Aug 17, 2026Updated 2 months ago
Alternatives and similar repositories for Epp-Discrete-Math-5th-solutions
Users that are interested in Epp-Discrete-Math-5th-solutions are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Solutions to In-Class questions, Problem Sets and Exams of MIT Mathematics for Computer Science 2015 (same as 2019 Open Learning Library)☆199Sep 2, 2024Updated 2 years ago
- Abstract thinking patterns and problem decomposition / solving strategies☆64Jul 14, 2026Updated 3 months ago
- Borr Project Website☆18Updated this week
- Liquid Haskell: How to turn Haskell into a Theorem Prover☆12Dec 6, 2016Updated 9 years ago
- Reviewing some online CS courses I took☆359Dec 7, 2025Updated 10 months 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.
- open source vscode coding assistant in Scala.js☆15Dec 13, 2025Updated 10 months ago
- Solutions to the annual Advent calendar of programming puzzles☆11Apr 13, 2026Updated 6 months ago
- My solutions to the projects in The Elements of Computing Systems☆20Apr 18, 2013Updated 13 years ago
- Go port of simplify-js (https://github.com/mourner/simplify-js)☆20Dec 5, 2014Updated 11 years ago
- ☆12Sep 29, 2026Updated 2 weeks ago
- Solutions to Imperial College London's Natural Number Game, a gamified formal mathematics course on the Peano axioms using an interactive…☆23Dec 12, 2021Updated 4 years ago
- Proofs for the exercises for Lawvere and Schanuel's Conceptual Mathematics☆28Feb 16, 2022Updated 4 years ago
- A handbook for mathematicians who want to get productive using GitHub☆12Jun 23, 2026Updated 3 months ago
- Homework solution for Algorithms & Data Structure Course by Princeton University☆11Feb 27, 2025Updated last year
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- My solutions for the programming contest website Kattis : open.kattis.com : If you have any questions about the reasoning behind a proble…☆10May 6, 2024Updated 2 years ago
- https://discord.gg/aredl☆17May 29, 2025Updated last year
- A curated list of awesome LeetCode discussions and articles!☆13Oct 21, 2020Updated 5 years ago
- Working through "Modern Systems Programming with Scala Native" by Richard Whaling, in Scala 3☆29Apr 7, 2026Updated 6 months ago
- Physics Derivation Graph: mathematical connections among equations☆21Jul 25, 2026Updated 2 months ago
- Omnicraft, a modpack for Minecraft 1.12.2☆11Dec 22, 2021Updated 4 years ago
- ☆12Jan 11, 2022Updated 4 years ago
- The Princess Theorem Prover☆36Oct 7, 2026Updated last week
- Bunch of Random files including the HRM code☆12Oct 12, 2023Updated 3 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- ☆12Apr 7, 2026Updated 6 months ago
- Comprehensive tutorial notes for ETC2410 Introductory Econometrics☆14Sep 4, 2019Updated 7 years ago
- Great Ideas in Computer Architecture UC Berkeley EECS☆25Jul 4, 2019Updated 7 years ago
- SecureLink is a link shortener that gives you full control over your links. You can set a password, a read count limit and a one-time ope…☆14Mar 22, 2023Updated 3 years ago
- Documenting HMRC design patterns☆30Jan 31, 2024Updated 2 years ago
- A Proof Generator for Entailments, Tautologies, and Semantic Equivalences in First-order Logic☆43Jan 5, 2026Updated 9 months ago
- Package gpx provides convenience types for reading and writing GPX files.☆49Apr 24, 2025Updated last year
- A port of Spring Petclinic to Axum☆14Aug 12, 2022Updated 4 years ago
- A set of tools that make working with the Scala ecosystem even better.☆15Oct 8, 2026Updated last week
- 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.
- Proof combinators used in Liquid Haskell for theorem proving☆12Mar 28, 2018Updated 8 years ago
- A .tex file to use in the math discord☆16Dec 10, 2025Updated 10 months ago
- "The 50-50-90 rule: anytime you have a 50-50 chance of getting something right, there's a 90% probability you'll get it wrong." ― Andy Ro…☆46Dec 13, 2019Updated 6 years ago
- The official Issue Tracker for Enigmatica 2: Expert Skyblock☆14Sep 28, 2024Updated 2 years ago
- 📚 Data Structures and Algorithms by UCSanDiego☆26Dec 15, 2023Updated 2 years ago
- A super fast plugin to convert your notion page to corresponding JSX, with customizable styles☆16Dec 30, 2023Updated 2 years ago
- A blazing-fast, accurate Fibonacci number calculator using the GMP (GNU Multiple Precision Arithmetic) library for arbitrary-precision in…☆17Aug 19, 2025Updated last year