Pinned Repositories
advent-of-code-2020
Playing with advent of code using Haskell
advent-of-code-2021
Advent of code 2021 - https://adventofcode.com/2021/
advent-of-code-2022
advent-of-code-2023
https://adventofcode.com/2023/
csrs-syntax-checker
CSRS Syntax Checker for CoCo
muterm-framework
A kernel for a Dependency Pairs termination tool
raulgut.github.io
Webpage
starexec-master
TPDB
The Termination Problem Database
vlsm-gen
A simple Variable Length Subnet Mask (VLSM) generator
raulgut's Repositories
raulgut/advent-of-code-2020
Playing with advent of code using Haskell
raulgut/advent-of-code-2021
Advent of code 2021 - https://adventofcode.com/2021/
raulgut/advent-of-code-2022
raulgut/advent-of-code-2023
https://adventofcode.com/2023/
raulgut/csrs-syntax-checker
CSRS Syntax Checker for CoCo
raulgut/muterm-framework
A kernel for a Dependency Pairs termination tool
raulgut/raulgut.github.io
Webpage
raulgut/starexec-master
raulgut/TPDB
The Termination Problem Database
raulgut/vlsm-gen
A simple Variable Length Subnet Mask (VLSM) generator