spamegg

reviews. Reviewing some online CS courses I took

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

tarski. Tarski's world: semantics of first-order logic

ScalaCapstone. Scala Spec Capstone

unix-sml. Working through "Unix System Programming with Standard ML" by Anthony L. Shipman, 2001

tryhackme. Tryhackme journey

spamegg1.

spamegg1.github.io. Spamegg's personal page

tarski-examples. Companion to Tarski

KNK. Working through K.N. King's book "C Programming: A Modern Approach" 2nd Edition

rust-cli. Working through the book "Command-line Rust" by Ken Youens-Clark

lpn. Learn Prolog Now LaTeX sources

advent-of-code-2023-scala. Advent of Code 2023 in Scala

gapt-explore. Scala

cs504sn. CS50 in Scala Native

spamegg1-thm-prov-lean4. Working through Theorem Proving in Lean4

haskell-prog. Working through the book "Get Programming with Haskell" by Will Kurt

spamegg1-lean. Working through Functional Programming in Lean

scala-toolkit-tutorial. Scala Toolkit tutorials all typed up (for Scala 3)

aoc. Advent of Code 2015 - 2025

scala3-simple-wordgame. Simple word game written in Scala 3. Made from scala3 sample project with beginners in mind.

practices-of-the-python-pro. Python

scala-abc. Scala

cyfra-learn. Learning Cyfra

n2t4s. Nand2Tetris in Chisel / Scala

lean4-examples. Lean