Abstract thinking patterns and problem decomposition / solving strategies
☆57Jun 21, 2025Updated 8 months ago
Alternatives and similar repositories for abstract-thinking
Users that are interested in abstract-thinking are comparing it to the libraries listed below
Sorting:
- Reviewing some online CS courses I took☆345Dec 7, 2025Updated 3 months ago
- Solutions to Susanna Epp's Discrete Mathematics book, 5th Edition☆129Updated this week
- Working through "Modern Systems Programming with Scala Native" by Richard Whaling, in Scala 3☆29Jun 5, 2025Updated 9 months ago
- Liquid Haskell: How to turn Haskell into a Theorem Prover☆13Dec 6, 2016Updated 9 years ago
- Solutions to the annual Advent calendar of programming puzzles☆12Jan 2, 2026Updated 2 months ago
- Solutions to In-Class questions, Problem Sets and Exams of MIT Mathematics for Computer Science 2015 (same as 2019 Open Learning Library)☆183Sep 2, 2024Updated last year
- An experimental language server for SomewhatML☆24Dec 30, 2022Updated 3 years ago
- The Princess Theorem Prover☆33Feb 17, 2026Updated 2 weeks ago
- Projects of CS-537: Intro to Operating Systems (Spring 2019) at University of Wisconsin-Madison using xv6 Operating System☆20May 16, 2019Updated 6 years ago
- Proofs for the exercises for Lawvere and Schanuel's Conceptual Mathematics☆29Feb 16, 2022Updated 4 years ago
- Documenting HMRC design patterns☆32Jan 31, 2024Updated 2 years ago
- Proofs and exercises from "Elements of Programming" by Stepanov (author of C++ STL) and McJones☆29Jul 29, 2017Updated 8 years ago
- A set of tools that make working with the Scala ecosystem even better.☆12Updated this week
- ICD - Interface Control Document Management☆13Sep 7, 2025Updated 6 months ago
- A hackable Model Context Protocol (MCP) gateway☆39Updated this week
- ☆10Jan 8, 2021Updated 5 years ago
- DARP engine. The MCP search engine for DARP.☆12Jun 26, 2025Updated 8 months ago
- ☆13Updated this week
- use an LLM to translate purpose-statements into code to evaluate their quality☆11Apr 3, 2024Updated last year
- Language mixing functional programming and Ambient Calculus☆12Dec 10, 2024Updated last year
- newtype and refinement (refined) type for Scala 3☆14Updated this week
- ☆10Jun 9, 2016Updated 9 years ago
- HTB write-ups with detailed walkthroughs, screenshots, and tutorials for ethical hacking, CTF challenges, and penetration testing.☆24Nov 10, 2025Updated 3 months ago
- Hack the Orbit interactive CTF workshop files 🛰️☆10Nov 15, 2024Updated last year
- A demo showing some of what is possible with OpenTelemetry and the Typelevel stack☆10May 18, 2024Updated last year
- A Proof Generator for Entailments, Tautologies, and Semantic Equivalences in First-order Logic☆44Jan 5, 2026Updated 2 months ago
- Template for PhD thesis using Tufte's style book☆11Mar 13, 2020Updated 5 years ago
- ☆12Nov 2, 2024Updated last year
- A Lean 4 formalization of Pólya enumeration theorem.☆21Jun 6, 2025Updated 9 months ago
- Design by Contract for Java☆12Apr 13, 2013Updated 12 years ago
- Supplemental materials for the book entitled "Practical ML Programming with SML#"☆10Jun 27, 2025Updated 8 months ago
- Scalar 2024 - Generative Art in Scala, No AI Required☆11Mar 27, 2024Updated last year
- A regular expression parser written in JavaScript☆10Feb 24, 2021Updated 5 years ago
- Claude Server is an MCP implementation that enhances Claude's capabilities by providing sophisticated context management across sessions,…☆15Mar 15, 2025Updated 11 months ago
- TASTy Migration Manager☆12Oct 9, 2025Updated 5 months ago
- Proof combinators used in Liquid Haskell for theorem proving☆12Mar 28, 2018Updated 7 years ago
- More Survivor Stuff mod for Cataclysm: Dark Days Ahead☆10Dec 4, 2021Updated 4 years ago
- Solutions to https://adventofcode.com/2016 (complete)☆12Dec 18, 2024Updated last year
- ☆12Dec 16, 2025Updated 2 months ago