weiss-i-net

Student at RWTH Aachen

Germany

Pinned Repositories

ciwyc
ECS 289C Project: Different encoundings for bounded model checking
Language:Python10
adventofcode2015
Language:Python00
adventofcode2016
Language:Python00
adventofcode2019
Language:C++00
adventofcode2020
Language:Python00
adventofcode2021
Language:Ruby00
adventofcode2023
Language:Python00
adventofcode2024
Language:Rust00
crn
Language:Python00
progra
Programmierung Übungsaufgaben
Language:Java00

weiss-i-net's Repositories

weiss-i-net/storm
A Modern Probabilistic Model Checker
Language:C++
weiss-i-net/adventofcode2024
Language:Rust
weiss-i-net/ciwyc
ECS 289C Project: Different encoundings for bounded model checking
Language:Python1
weiss-i-net/adventofcode2016
Language:Python
weiss-i-net/adventofcode2023
Language:Python
weiss-i-net/adventofcode2015
Language:Python
weiss-i-net/crn
Language:Python
weiss-i-net/web_tas_helper
Utility code for editing tilesets for the webtas simulator
Language:Python
weiss-i-net/adventofcode2021
Language:Ruby
weiss-i-net/progra
Programmierung Übungsaufgaben
Language:Java
weiss-i-net/adventofcode2020
Language:Python
weiss-i-net/adventofcode2019
Language:C++