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