Solutions to Susanna Epp's Discrete Mathematics book, 5th Edition
☆130Mar 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)☆185Sep 2, 2024Updated last year
- Abstract thinking patterns and problem decomposition / solving strategies☆57Mar 9, 2026Updated 3 weeks ago
- Liquid Haskell: How to turn Haskell into a Theorem Prover☆13Dec 6, 2016Updated 9 years ago
- Reviewing some online CS courses I took☆348Dec 7, 2025Updated 3 months ago
- Solutions to the annual Advent calendar of programming puzzles☆12Jan 2, 2026Updated 2 months ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- The Princess Theorem Prover☆33Updated this week
- My solutions to the projects in The Elements of Computing Systems☆21Apr 18, 2013Updated 12 years ago
- Proofs for the exercises for Lawvere and Schanuel's Conceptual Mathematics☆28Feb 16, 2022Updated 4 years ago
- Physics Derivation Graph: mathematical connections among equations☆23Feb 3, 2026Updated last month
- ☆24Dec 8, 2021Updated 4 years ago
- A CLI tool for fetching information about countries. Written in Go.☆35May 16, 2023Updated 2 years ago
- A Proof Generator for Entailments, Tautologies, and Semantic Equivalences in First-order Logic☆44Jan 5, 2026Updated 2 months ago
- Great Ideas in Computer Architecture UC Berkeley EECS☆22Jul 4, 2019Updated 6 years ago
- Documenting HMRC design patterns☆32Jan 31, 2024Updated 2 years ago
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- A set of tools that make working with the Scala ecosystem even better.☆12Mar 16, 2026Updated last week
- Proof combinators used in Liquid Haskell for theorem proving☆12Mar 28, 2018Updated 8 years ago
- ☆11Feb 3, 2026Updated last month
- Scala Center's solution of Advent of Code☆64Dec 20, 2025Updated 3 months ago
- ☆10Updated this week
- A small example of a source->source pattern matching to decision tree compiler☆14Jul 29, 2020Updated 5 years ago
- SBT Plugins For ZIO Projects☆12Updated this week
- BigInteger for scala with very fast modPow☆10Mar 10, 2026Updated 2 weeks ago
- ☆13Updated this week
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting with the flexibility to host WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Cloudways by DigitalOcean.
- Language mixing functional programming and Ambient Calculus☆12Dec 10, 2024Updated last year
- Giter8 template for a simple project that uses sbt-crossproject.☆11Jul 16, 2018Updated 7 years ago
- TASTy Migration Manager☆12Oct 9, 2025Updated 5 months ago
- Manage lockfiles in PKGBUILDs for upstreams that don't ship them, `updpkgsums` for dependency trees (Arch Linux tooling)☆14Mar 13, 2026Updated 2 weeks ago
- RTL blocks compatible with the Rocket Chip Generator☆17Mar 30, 2025Updated 11 months ago
- Supplemental materials for the book entitled "Practical ML Programming with SML#"☆10Jun 27, 2025Updated 9 months ago
- Plugin to produce locales dbs☆11Mar 4, 2026Updated 3 weeks ago
- Staging area for new benchmarking infrastructure for Scala Native.☆16Nov 1, 2023Updated 2 years ago
- Data management utilities for Scala☆19Dec 13, 2016Updated 9 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting with the flexibility to host WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Cloudways by DigitalOcean.
- ICD - Interface Control Document Management☆13Sep 7, 2025Updated 6 months ago
- gpm is a tool for managing Go projects.☆11May 18, 2019Updated 6 years ago
- Common sbt plugins for Play modules☆12Oct 21, 2023Updated 2 years ago
- A Scala testing library for homeworks☆10Aug 17, 2022Updated 3 years ago
- Design by Contract for Java☆12Apr 13, 2013Updated 12 years ago
- Atomic Scala Book Solutions - for Beginners and first time Functional Programmers☆12Mar 10, 2020Updated 6 years ago
- Voice Notes is a lightweight memo tool to make text notes and voice and audio recordings.☆11Mar 16, 2026Updated 2 weeks ago