Kiguli
EPSRC Doctoral Prize Fellow based at Newcastle University. I finished my PhD in 2023, supervised by Sadegh Soudjani.
Newcastle University
Pinned Repositories
AdaptiveCpp
Implementation of SYCL and C++ standard parallelism for CPUs and GPUs from all vendors: The independent, community-driven compiler for C++-based heterogeneous programming models. Lets applications adapt themselves to all the hardware in the system - even at runtime!
html_feedback
Supports a student project developing a UI for feedback on arXiv articles rendered as html.
Excavators-Card-Game
A fun card game idea that I came up with my friend Eugene.
GoogleScholarSERPAPI
This repository contains code snippets for wordpress which connect a users website with SERPAPI to get results from Google Scholar.
IMPaCT
IMPaCT: Interval MDP Parallel Construction for Controller Synthesis of Large-Scale Stochastic Systems. IMPaCT is an open-source software tool for the parallelized verification and controller synthesis of large-scale stochastic systems using interval Markov chains (IMCs) and interval Markov decision processes (IMDPs).
MachineLearningTutorials
Machine Learning Code for practice and also reference for future needs. Created using pycharm.
PokemonOOP
Python object oriented programming of a pokemon game state (using gen 5 pokemon). Allows for someone to simulate a pokemon battle ahead of time to do analysis and choose optimal moves.
PRoTECT
PRoTECT is an open-source software tool, with a user-friendly GUI, for the purposes of formal verification using polynomial-type barrier certificates for safety specifications. PRoTECT can handle discrete-time stochastic systems, continuous-time stochastic systems, discrete-time deterministic systems and continuous-time deterministic systems.
SerebiiScrapeData
Some code used to scrape the data for pokemon from the serebii.com website
SumOfSquares.py
Python implementation of Sum-of-Squares optimization built on picos
Kiguli's Repositories
Kiguli/IMPaCT
IMPaCT: Interval MDP Parallel Construction for Controller Synthesis of Large-Scale Stochastic Systems. IMPaCT is an open-source software tool for the parallelized verification and controller synthesis of large-scale stochastic systems using interval Markov chains (IMCs) and interval Markov decision processes (IMDPs).
Kiguli/PRoTECT
PRoTECT is an open-source software tool, with a user-friendly GUI, for the purposes of formal verification using polynomial-type barrier certificates for safety specifications. PRoTECT can handle discrete-time stochastic systems, continuous-time stochastic systems, discrete-time deterministic systems and continuous-time deterministic systems.
Kiguli/GoogleScholarSERPAPI
This repository contains code snippets for wordpress which connect a users website with SERPAPI to get results from Google Scholar.
Kiguli/Excavators-Card-Game
A fun card game idea that I came up with my friend Eugene.
Kiguli/MachineLearningTutorials
Machine Learning Code for practice and also reference for future needs. Created using pycharm.
Kiguli/PokemonOOP
Python object oriented programming of a pokemon game state (using gen 5 pokemon). Allows for someone to simulate a pokemon battle ahead of time to do analysis and choose optimal moves.
Kiguli/SerebiiScrapeData
Some code used to scrape the data for pokemon from the serebii.com website