annyanich
Hi, I'm Ann! I work on Stud.IP at the Universität Oldenburg.
Carl von Ossietzky Universität OldenburgOldenburg, Germany
Pinned Repositories
webinterface
The web interface for the tool Adam (AdamMC and AdamSYNT) providing an intuitive, visual definition of Petri nets with transits and Petri games, and an interactive interface to the algorithms of AdamMC and AdamSYNT. Contains the repos (as submodules): libs, framework, logics, modelchecking, examples, synthesizer, high-level, webinterface-backend.
LernmodulePlugin
Fork to fix a bug with the display of attempt duration
mensa-tracker
A web app that sends you emails when your favorite items show up on the menu in the Mensa at the Universität Oldenburg.
webinterface
The web interface for the tool Adam (AdamMC and AdamSYNT) providing an intuitive, visual definition of Petri nets with transits and Petri games, and an interactive interface to the algorithms of AdamMC and AdamSYNT. Contains the repos (as submodules): libs, framework, logics, modelchecking, examples, synthesizer, high-level, webinterface-backend.
LernmodulePlugin
Team-Valhalla-Spe_ed
annyanich's Repositories
annyanich/LernmodulePlugin
Fork to fix a bug with the display of attempt duration
annyanich/mensa-tracker
A web app that sends you emails when your favorite items show up on the menu in the Mensa at the Universität Oldenburg.
annyanich/webinterface
The web interface for the tool Adam (AdamMC and AdamSYNT) providing an intuitive, visual definition of Petri nets with transits and Petri games, and an interactive interface to the algorithms of AdamMC and AdamSYNT. Contains the repos (as submodules): libs, framework, logics, modelchecking, examples, synthesizer, high-level, webinterface-backend.