spamegg's repositories
Math-for-CS-solutions
Solutions to In-Class questions, Problem Sets and Exams of MIT Mathematics for Computer Science 2015 (same as 2019 Open Learning Library)
Epp-Discrete-Math-5th-solutions
Solutions to Susanna Epp's Discrete Mathematics book, 5th Edition
abstract-thinking
Abstract thinking patterns and problem decomposition / solving strategies
modern-systems-scala-native
Working through "Modern Systems Programming with Scala Native" by Richard Whaling, in Scala 3
ScalaCapstone
Scala Spec Capstone
advent-of-code-2023-scala
Advent of Code 2023 in Scala
scala-toolkit-tutorial
Scala Toolkit tutorials all typed up (for Scala 3)
spamegg1-lean
Working through Functional Programming in Lean
spamegg1-thm-prov-lean4
Working through Theorem Proving in Lean4
docs.scala-lang
The Scala Documentation website
fpinscala
Code, exercises, answers, and hints to go along with the book "Functional Programming in Scala"
github-readme-stats
:zap: Dynamically generated stats for your github readmes
metals
Scala language server with rich IDE features 🚀
requests-scala
A Scala port of the popular Python Requests HTTP client: flexible, intuitive, and straightforward to use.
scala-advent-of-code
Scala Center's solution of Advent of Code
scalachain
Blockchain implemented using the Scala programming language
taggy
A Scala 3 micro-library for easy slides with Scala's contextual abstraction.