Reviewing some online CS courses I took
☆357Dec 7, 2025Updated 8 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☆62Jul 14, 2026Updated last month
- Solutions to In-Class questions, Problem Sets and Exams of MIT Mathematics for Computer Science 2015 (same as 2019 Open Learning Library)☆194Sep 2, 2024Updated last year
- Solutions to Susanna Epp's Discrete Mathematics book, 5th Edition☆138Updated this week
- use an LLM to translate purpose-statements into code to evaluate their quality☆11Apr 3, 2024Updated 2 years ago
- Working through "Modern Systems Programming with Scala Native" by Richard Whaling, in Scala 3☆29Apr 7, 2026Updated 4 months ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Show how to use ZIO with Doobie, without deadlock☆16Mar 16, 2021Updated 5 years ago
- Typeclasses for integration of dotty-cps-async with well-known monads.☆16Jul 14, 2026Updated last month
- ☆74Dec 6, 2024Updated last year
- An sbt plugin to organize your build using plain Scala files☆30Mar 19, 2023Updated 3 years ago
- ☆14Jul 19, 2023Updated 3 years ago
- Scala 3 Decompiler☆11May 17, 2021Updated 5 years ago
- A small command-line tool to extract or restore the URL of every open tab in the current browser window on macOS.☆18Jan 19, 2026Updated 6 months ago
- ☆10Aug 8, 2026Updated last week
- BigInteger for scala with very fast modPow☆10Jun 14, 2026Updated 2 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.
- A Proof Generator for Entailments, Tautologies, and Semantic Equivalences in First-order Logic☆44Jan 5, 2026Updated 7 months ago
- Physics Derivation Graph: mathematical connections among equations☆23Jul 25, 2026Updated 2 weeks ago
- Plugin to produce locales dbs☆11Mar 4, 2026Updated 5 months ago
- Staging area for new benchmarking infrastructure for Scala Native.☆16Nov 1, 2023Updated 2 years ago
- Rotate your Application Secret on an active cluster of Play app servers☆15Aug 3, 2026Updated last week
- Projects of CS-537: Intro to Operating Systems (Spring 2019) at University of Wisconsin-Madison using xv6 Operating System☆21May 16, 2019Updated 7 years ago
- Scala Center's solution of Advent of Code☆63Dec 20, 2025Updated 7 months ago
- ☆11Oct 8, 2024Updated last year
- A few extra tools☆15Aug 4, 2026Updated last week
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- A simple calculator app built with Scala JS and Tyrian.☆12Dec 5, 2023Updated 2 years ago
- Accompanying repo for my blog post about Capacitor and Scala☆16Jul 4, 2021Updated 5 years ago
- Book about using Lean with How To Prove It☆28Jun 10, 2026Updated 2 months ago
- ☆14Jun 5, 2023Updated 3 years ago
- Helpers for setting up an embedded Python interpreter☆20Oct 31, 2025Updated 9 months ago
- Small, simple, minimal HTTP library written in Scala.☆11Nov 15, 2024Updated last year
- Augmented functions☆14Jul 8, 2026Updated last month
- My study guide for SICP☆141May 4, 2020Updated 6 years ago
- A single-file starting point for your Emacs configuration☆18Feb 25, 2025Updated last year
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Very Simple Example using ZIO + Quill☆17Aug 4, 2024Updated 2 years ago
- Smithy4s integration for Caliban, a Scala GraphQL library.☆14Oct 22, 2023Updated 2 years ago
- An experimental language server for SomewhatML☆24Dec 30, 2022Updated 3 years ago
- Solutions and tests for Phil Gold's S-99: Ninety-Nine Scala Problems☆15Apr 24, 2013Updated 13 years ago
- usql - micro JDBC toolit for Scala 3☆18Jun 17, 2026Updated last month
- How to read Lean☆28Jan 30, 2025Updated last year
- A small library to create custom options☆16Jul 8, 2025Updated last year