Popular repositories Loading

1. nat_zahlen_lean nat_zahlen_lean Public

   CSS

2. STACKrateLLV STACKrateLLV Public

   This repository contains a slightly modified version of the tool STACKrate (https://www.ruhr-uni-bochum.de/stackrate-maths/) by Daniel Meißner and Jonas Alexander Lache. The Code was copied from ht…

   JavaScript

3. beispiel_spiel beispiel_spiel Public

   Jupyter Notebook

4. lina_lean_umgebung lina_lean_umgebung Public

   Lean

5. moodle-qtype_stack moodle-qtype_stack Public

   Forked from maths/moodle-qtype_stack

   Stack question type for Moodle

   PHP

6. Manim_Workshop Manim_Workshop Public

   Hier liegt die Colab-Datei für den Manim_Workshop des KHDM-Tags am 16.01.2026

   Jupyter Notebook