Search by author: ksrh1

ksrh1

Sokoban Procedural Instance Generation

Procedural content generation is an alternative approach to games level development that replaces intricate design choices of a human level-creation with those of automated and informed brute-force techniques. We…

Digraphs for GAP and VIP

“Digraphs” is a package for the computational algebra system GAP that has been in development and use here in St Andrews since 2014. It provides usable tools and algorithms for directed graphs, a concept that arises in…

Idris: Programming as a Conversation

Idris is a programming language which encourages “type-driven development”. We believe that to enable the highest levels of productivity, programming should be a conversation between the programmer and the machine. A…

Climate Action Large Language Model

CaLLM is a chatbot that has been given specialist information about the impact of climate change and the Berwickshire Marine Reserve to harness both the natural language processing power of large language models (like…