Popular repositories Loading

1. paraview-scripts paraview-scripts Public

   Collection of python scripts for interfacing with paraview for the Chair for Electromagnetic Theory at Saarland University

   Python 10 2

2. Transformers-and-GANs-for-LTL-sat Transformers-and-GANs-for-LTL-sat Public

   Implementation of my master's thesis: Transformer-based architectures for solving linear-time temporal logic satisfiability and generation of new challenging instances with a new type of Wasserstei…

   Python 2

3. edacc_user_guide edacc_user_guide Public

   Forked from EDACC/edacc_user_guide

   User guide

   TeX

4. kivy kivy Public

   Forked from kivy/kivy

   Open source UI framework written in Python, running on Windows, Linux, macOS, Android and iOS

   Python

5. tensorflow tensorflow Public

   Forked from tensorflow/tensorflow

   Computation using data flow graphs for scalable machine learning

   C++