Samo Novák's starred repositories
thesis--reimagining-computer-input
Thesis exploring the future of computer input. We discuss the theory, conduct case studies, then design and build a new input device to replace the computer keyboard for the advancing XR revolution.
infos-doom
Doom port for InfOS - the University of Edinburgh Informatics research operating system used in the UG3 OS course
theorem-prover
An automated theorem prover for first-order logic.