larswe

MSc Biomedical AI @ UoE

xiv-consult / UoECologne / Edinburgh

Pinned Repositories

BikeSystem
Software for a Federalised Bike Rental System for CW2 in Intro to Software Engineering (2019-20)
Language:Java00
codeforces
Language:Python00
EEG-Conformer
EEG Transformer 2.0. i. Convolutional Transformer for EEG Decoding. ii. Novel visualization - Class Activation Topography.
Language:Python00
game-theory
A mechanisation of some concepts from game theory using the Isabelle theorem prover.
Language:Isabelle00
gamemaster
Language:Python00
ml-shenanigans
Language:Jupyter Notebook00
probability-theory
A (work in progress) guide to probability theory in Isabelle
Language:Isabelle00
BikeSystem
Software for a Federalised Bike Rental System for CW2 in Intro to Software Engineering (2019-20)
Language:Java11

larswe's Repositories

larswe/EEG-Conformer
EEG Transformer 2.0. i. Convolutional Transformer for EEG Decoding. ii. Novel visualization - Class Activation Topography.
Language:Python
larswe/codeforces
Language:Python
larswe/probability-theory
A (work in progress) guide to probability theory in Isabelle
Language:Isabelle
larswe/game-theory
A mechanisation of some concepts from game theory using the Isabelle theorem prover.
Language:Isabelle
larswe/gamemaster
Language:Python
larswe/ml-shenanigans
Language:Jupyter Notebook
larswe/BikeSystem
Software for a Federalised Bike Rental System for CW2 in Intro to Software Engineering (2019-20)