@a13cui Oh! Oberon is wonderful, I read the book for it as well. It's excellent :) I mention it in the Weathering Software Winter talk a bit, you might enjoy it.
Pascal is super pretty! I still write quite a bit of it still.
https://wiki.xxiivv.com/site/pascal.html
Varvara is a devices specs, think of it like the Nintendo in relation to the 6502 chip that drives it.
https://wiki.xxiivv.com/site/varvara.html
If you're looking for a neat project to translate to pascal, I'd look at acme's source, it's readable and small.
@neauoire I am interested in something like Version 6/7 Unix (and actually have it be a really interesting master's thesis). I'm curious to see if I can make it safe (and prove its execution through SPARK) in Ada. Everyone else rewrites in Rust, I rewrite in Ada and Pascal :)