Reviewing some online CS courses I took
☆348Dec 7, 2025Updated 3 months ago
Alternatives and similar repositories for reviews
Users that are interested in reviews are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Abstract thinking patterns and problem decomposition / solving strategies☆57Mar 9, 2026Updated 3 weeks ago
- 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
- Solutions to Susanna Epp's Discrete Mathematics book, 5th Edition☆130Mar 5, 2026Updated 3 weeks ago
- use an LLM to translate purpose-statements into code to evaluate their quality☆11Apr 3, 2024Updated last year
- 🎓 Path to a free self-taught education in Computer Science!☆202,731Updated this week
- DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- ☆66Dec 6, 2024Updated last year
- Show how to use ZIO with Doobie, without deadlock☆16Mar 16, 2021Updated 5 years ago
- 🧮 Path to a free self-taught education in Mathematics!☆8,561Dec 31, 2025Updated 2 months ago
- Typeclasses for integration of dotty-cps-async with well-known monads.☆17Mar 2, 2026Updated 3 weeks ago
- Working through "Modern Systems Programming with Scala Native" by Richard Whaling, in Scala 3☆29Jun 5, 2025Updated 9 months ago
- Programming curricula☆7,189Jan 3, 2026Updated 2 months ago
- An sbt plugin to organize your build using plain Scala files☆30Mar 19, 2023Updated 3 years ago
- Scala 3 Decompiler☆11May 17, 2021Updated 4 years ago
- Physics Derivation Graph: mathematical connections among equations☆23Feb 3, 2026Updated last month
- DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- ☆10Updated this week
- BigInteger for scala with very fast modPow☆10Mar 10, 2026Updated 2 weeks ago
- A Proof Generator for Entailments, Tautologies, and Semantic Equivalences in First-order Logic☆44Jan 5, 2026Updated 2 months ago
- An English translation of a problem course ("Trivium") in undergraduate maths☆10Jan 25, 2023Updated 3 years 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
- Code snippets used during lecture and discussion☆12Apr 26, 2023Updated 2 years ago
- Scala Center's solution of Advent of Code☆64Dec 20, 2025Updated 3 months ago
- A game introducing proofs, dependent type theory, and Lean prepared for a first year seminar course at Johns Hopkins in Fall 2025.☆56Dec 29, 2025Updated 3 months 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 Comprehensive Roadmap to Mathematics☆3,386Dec 29, 2024Updated last year
- Rotate your Application Secret on an active cluster of Play app servers☆14Mar 23, 2026Updated last week
- ☆11Oct 8, 2024Updated last year
- A few extra tools☆15Mar 17, 2026Updated last week
- Accompanying repo for my blog post about Capacitor and Scala☆16Jul 4, 2021Updated 4 years ago
- A simple calculator app built with Scala JS and Tyrian.☆12Dec 5, 2023Updated 2 years ago
- A Patient-Oriented Prescription Programing Language☆21Jan 23, 2018Updated 8 years ago
- Small, simple, minimal HTTP library written in Scala.☆11Nov 15, 2024Updated last year
- ☆14Jun 5, 2023Updated 2 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Helpers for setting up an embedded Python interpreter☆19Oct 31, 2025Updated 4 months ago
- A curated list of API Platform libraries, resources and shiny things.☆12Nov 22, 2021Updated 4 years ago
- Augmented functions☆14Nov 19, 2024Updated last year
- Smithy4s integration for Caliban, a Scala GraphQL library.☆14Oct 22, 2023Updated 2 years ago
- 📚👨🎓 Resources I'm using everyday to develop my skills to become a self-taught good programmer ...☆32Nov 26, 2020Updated 5 years ago
- Very Simple Example using ZIO + Quill☆17Aug 4, 2024Updated last year
- An experimental language server for SomewhatML☆24Dec 30, 2022Updated 3 years ago