Pinned Loading

1. CitationCheck CitationCheck Public

   CitationCheck - Validate your references!

   Python

2. FireCommit FireCommit Public

   Python-Script for generating commit-messages

   Python 2

3. Educational-Templates Educational-Templates Public

   LaTeX-Templates for various topics

   TeX 2

4. isosafety isosafety Public

   Repository containing the isosafety package

   TeX 1

5. circlesplot circlesplot Public

   Visualize proportions with circles in a plot

   R

6. Bachelorarbeit-EGraphs Bachelorarbeit-EGraphs Public

   Development of an application to teach learning content via e-graphs and equality saturation for teaching purposes

   TeX