-
gen-server-verification Public
Repository for my master's thesis containing translation tool, erlang code, generated gen-server
-
tla-broadcast-model Public
Project part of the DARE 2025 where a broadcast model was written using TLA+ and PlusCal.
TLA UpdatedOct 31, 2025 -
city-dashboard Public
Dash app visualizing city data VAST Challenge 2022
-
mensa-ai-advisory Public
LLM based advisory to evaluate current mensa meta @RPTU
Swift MIT License UpdatedFeb 10, 2025 -
CommunityModules Public
Forked from tlaplus/CommunityModulesTLA+ snippets, operators, and modules contributed and curated by the TLA+ community
TLA MIT License UpdatedDec 19, 2024 -
llm-todo-list-manager Public
LLM based todo list manager for todo cli command generation
Python MIT License UpdatedMay 22, 2024 -
jupyter_notebook_browsing Public
Tool for parsing JNBs to extract data and control flow paths
Jupyter Notebook UpdatedAug 8, 2022 -
{{ message }}