Evy's repositories
SHC_Campaign
A skirmish campaign designed for Stronghold Crusader
StrongholdMaps
Maps for the games Stronghold and Stronghold Crusader
elf_loader
A dead simple crate for ELF64 parsing and loading.
extensions-source
More extensions, if i get around to it.
Language:KotlinApache-2.0000
prusti_bug_min
Sample project that demonstrates a bug in Prusti