OuluBSD's repositories
libtopside
libtopside is a research project that both extends Ultimate++ and is an alternative implementation focused on 3D VR GUI and AI.
SongData
Training data for SongTool
000
Language:C++BSD-3-Clause000
libtopside is a research project that both extends Ultimate++ and is an alternative implementation focused on 3D VR GUI and AI.
Training data for SongTool