Samo Novák's repositories
ilp-aqmaps
Drone navigation and control system. Coursework assignment in the course Informatics Large Practical at the University of Edinburgh.
Language:TeX000
links-benchmarks
a curated collection of programs used to benchmark various components of Links
Language:ShellNOASSERTION000
links
Links: Linking Theory to Practice for the Web
Language:OCamlNOASSERTION000
GJAR-IoT
Internet of Things project done at GJAR
MIT000
Language:Python000
Language:JavaScriptMIT000
Language:Python000
FlipFlop
A group project for OxfordHack 2020.
Language:CSS000
Language:HTML000
Baystation12
The code for Baystation12's branch of SS13
Language:DMNOASSERTION000
NOASSERTION000
Polaris
Polaris - A version of Spacestation13, forked from Baystation12.
Language:DMNOASSERTION000