Anca's repositories
matrix-termination
Implementation for proving termination of string rewriting systems using matrix interpretations.
Language:Python000
safe-path
Website which finds routes through Amsterdam that are not only fast, but also safe.
000
personal-website
(empty draft)
minesweeper
Classic minesweeper, created in Scala
women-vs-john
Data visualizer, aiming to find discrepancies in salary between women and men in tech.