Pinned Repositories
A-customizable-interface-for-LTL-Checking
A-customizable-interface-for-LTL-Checking created for the Process Conformance Checking in Python Praktikum
astronvim_config
my astronvim config based on the example user configuration with a split up structure
multilevel-feedback-queue
PCP-solver
Pong
Python Pong
project-based-learning
Curated list of project-based tutorials
shorti
A web app to shorten URLs
snek
a snake game in rust.
syncMyMoodle
Synchronization client for RWTH Moodle
meesyice's Repositories
meesyice/A-customizable-interface-for-LTL-Checking
A-customizable-interface-for-LTL-Checking created for the Process Conformance Checking in Python Praktikum
meesyice/shorti
A web app to shorten URLs
meesyice/astronvim_config
my astronvim config based on the example user configuration with a split up structure
meesyice/multilevel-feedback-queue
meesyice/PCP-solver
meesyice/Pong
Python Pong
meesyice/project-based-learning
Curated list of project-based tutorials
meesyice/snek
a snake game in rust.
meesyice/syncMyMoodle
Synchronization client for RWTH Moodle
meesyice/Tic-Tac-Toe