Explore projects

V

general / stups / vorlage

LaTeX-Vorlage für Bachelor und Masterarbeiten.

4

Updated Mar 14, 2024

4 0 0 0

Updated Mar 14, 2024
H

Jannik Dunkelau / hhu-beamer-template

Unofficial implementation of the HHU slide deck in the corporate design portal in LaTeX.

latex beamer slides
+ 1 more

1

Updated Nov 16, 2023

1 0 0 0

Updated Nov 16, 2023
P

general / stups / ProB 2 Jupyter Kernel

A Java-based Jupyter kernel for ProB 2

0

Updated Mar 25, 2024

0 0 10

Updated Mar 25, 2024
S

Sajjad Ghaffarinasabsharabiani / Supermodel

0

Updated Nov 15, 2023

0 1 0

Updated Nov 15, 2023
P

general / stups / Prolog mlpack Library
BSD 3-Clause "New" or "Revised" License

0

Updated Jan 16, 2023

0 0 0 0

Updated Jan 16, 2023
T

general / stups / tla2bAST

0

Updated Sep 30, 2024

0 0 0

Updated Sep 30, 2024
P

general / stups / ProB 2 Documentation

0

Updated Apr 08, 2024

0 0 0 0

Updated Apr 08, 2024