Solutions to Susanna Epp's Discrete Mathematics book, 5th Edition
☆138Jul 5, 2026Updated 3 weeks 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)☆193Sep 2, 2024Updated last year
- Abstract thinking patterns and problem decomposition / solving strategies☆62Jul 14, 2026Updated 2 weeks ago
- Liquid Haskell: How to turn Haskell into a Theorem Prover☆13Dec 6, 2016Updated 9 years ago
- Proofs and exercises from "Elements of Programming" by Stepanov (author of C++ STL) and McJones☆30Jul 29, 2017Updated 9 years ago
- Reviewing some online CS courses I took☆357Dec 7, 2025Updated 7 months ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- open source vscode coding assistant in Scala.js☆16Dec 13, 2025Updated 7 months ago
- Solutions to the annual Advent calendar of programming puzzles☆12Apr 13, 2026Updated 3 months ago
- My solutions to the projects in The Elements of Computing Systems☆20Apr 18, 2013Updated 13 years ago
- Proofs for the exercises for Lawvere and Schanuel's Conceptual Mathematics☆28Feb 16, 2022Updated 4 years ago
- A haskell tutorial using CodeWorld☆19Jan 5, 2025Updated last year
- Working through "Modern Systems Programming with Scala Native" by Richard Whaling, in Scala 3☆29Apr 7, 2026Updated 3 months ago
- ☆12Jul 6, 2022Updated 4 years ago
- Physics Derivation Graph: mathematical connections among equations☆23Updated this week
- ☆12Apr 27, 2023Updated 3 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.
- Comprehensive tutorial notes for ETC2410 Introductory Econometrics☆14Sep 4, 2019Updated 6 years ago
- The Princess Theorem Prover☆36Updated this week
- Modelling tool for virtual robotic body parts☆12Mar 4, 2024Updated 2 years ago
- Generic async runtime functions using a pluggable dispatcher☆19May 31, 2024Updated 2 years ago
- Parallel search algorithm for finding the closest object in a collection of polygonal models based on Hausdorff Distance with implementat…☆14Jul 16, 2023Updated 3 years ago
- Cours d'introduction au langage Python, inspiré du tutoriel Python traduit en français.☆10Jan 14, 2022Updated 4 years ago
- Transformer for protein function prediction (version 2)☆14Jun 5, 2026Updated last month
- proof of concept of an ephemeral nixos vm, prepared to build android aosp in a FHS bubblewrap env☆15Jul 15, 2026Updated 2 weeks ago
- A Procedural City Generator script for Maya☆13Aug 7, 2013Updated 12 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- A .tex file to use in the math discord☆16Dec 10, 2025Updated 7 months ago
- Documenting HMRC design patterns☆32Jan 31, 2024Updated 2 years ago
- A port of Spring Petclinic to Axum☆14Aug 12, 2022Updated 3 years ago
- The official Issue Tracker for Enigmatica 2: Expert Skyblock☆12Sep 28, 2024Updated last year
- ☆18Jul 11, 2025Updated last year
- ☆11Aug 6, 2019Updated 6 years ago
- A Proof Generator for Entailments, Tautologies, and Semantic Equivalences in First-order Logic☆44Jan 5, 2026Updated 6 months ago
- Vue and Nuxt plugins for easy access to Ethereum (using web3.js 1.x)☆12Dec 11, 2022Updated 3 years ago
- Material Point Method for Soft Body/Fluid Physics Simulation in Rust☆15Jan 31, 2020Updated 6 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.
- A set of tools that make working with the Scala ecosystem even better.☆13Jul 21, 2026Updated last week
- Proof combinators used in Liquid Haskell for theorem proving☆12Mar 28, 2018Updated 8 years ago
- Example of how to use pointer lock controls in Three Fiber with offsets for raycasting☆13Aug 4, 2022Updated 3 years ago
- Miscellaneous scripts and the like that help with Japanese learning in some capacity.☆18Apr 23, 2024Updated 2 years ago
- RomAI is your way to play ranked and use trading cards in osu!☆19May 9, 2026Updated 2 months ago
- ☆14Nov 15, 2024Updated last year
- Deterministic, replicated sequencer for latency-critical applications. Rust, io_uring, LMAX-inspired. Ships with an exchange core.☆15Updated this week