Pinned Repositories
Lucatowalker
Config files for my GitHub profile.
occultism
A magic mod inspired by the world of Jonathan Stroud's Bartimaeus. With the help of occult rituals players can summon entities from the "Other Side" to perform magic.
PyPL
Python program to prove predicate logic problems
Lucatowalker's Repositories
Lucatowalker/Lucatowalker
Config files for my GitHub profile.
Lucatowalker/occultism
A magic mod inspired by the world of Jonathan Stroud's Bartimaeus. With the help of occult rituals players can summon entities from the "Other Side" to perform magic.
Lucatowalker/PyPL
Python program to prove predicate logic problems