Explore projects

→ Folien zum Thema Basisinstrumente der International Summer School

TOP organization documentation

For best view of the schedule, collapse the sidebar and click on README.

_{Avatar icon: warszawianka @ OpenClipart | CC0}

Sturdy is a library to create sound abstract interpreters in Haskell.

Ein Workshop der Task Area 6 von NFDI4Objects auf dem OpenScience Festival 2024 in Mainz https://n4o.pages.gitlab.rlp.net/workshops/quarto_OSF2024/

Webpage for Infomonitor at the Institut für Physik Mainz

Distributed Cyber-Physical Contracts

Meine persönliche Vorbereitung

penplot is a companion python module developed to visualize and analyze the simulations generated using the UCN simulation pentrack software (https://github.com/wschreyer/PENTrack)