Portal in TIC-80 This is the development repository for a Portal fangame made in TIC-80. Development requires TIC-80 Pro, as the source is stored in .lua form.