Pinned Repositories
AssetPlus
Battery-Aware-Experiment-Scheduling
In this project, first a model checker is programmed in Python for cost-optimal reachability properties on timed automata, specified in Modest. Then, that model checker is used to compute battery-aware experiment schedules for the GOMX-3 nanosatellite.
damherkenning
omxplayer
omxplayer
pictris-snake
PICtris in c with snake added to it
Pinetime
Firmware for Pinetime smartwatch written in C/C++ and based on FreeRTOS
Project
R2API
A modding API for Risk of Rain 2
RiskOfRainModding
RoR2Libs
mistername's Repositories
mistername/RiskOfRainModding
mistername/RoR2Libs
mistername/AssetPlus
mistername/Battery-Aware-Experiment-Scheduling
In this project, first a model checker is programmed in Python for cost-optimal reachability properties on timed automata, specified in Modest. Then, that model checker is used to compute battery-aware experiment schedules for the GOMX-3 nanosatellite.
mistername/damherkenning
mistername/omxplayer
omxplayer
mistername/pictris-snake
PICtris in c with snake added to it
mistername/Pinetime
Firmware for Pinetime smartwatch written in C/C++ and based on FreeRTOS
mistername/Project
mistername/R2API
A modding API for Risk of Rain 2
mistername/RoR2Cheats
Fork of Morris1927's RoR2cheats
mistername/RoR2DiscordBot
mistername/RoR2ModsOpSrc
mistername/RoR2SharedItems
Risk of Rain 2 Shared items mod for the BepInEx Modloader
mistername/ShaderDecompiler
WIP