Alternatives and similar repositories for elementare-geometrie

Users that are interested in elementare-geometrie are comparing it to the libraries listed below

• skript-sicherheit / skript
  Skript zur Vorlesung "Sicherheit" am KIT.
  ☆43Updated 3 years ago
• Jupiterrr / Vorlesungsverzeichnis
  Website for students of the Karlsruhe Institute of Technology (KIT).
  ☆50Updated 9 years ago
• fabicorp / dbs
  DBS Lösungen KIT
  ☆7Updated 6 years ago
• Gram21 / Zusammenfassungen
  Zusammenfassung
  ☆18Updated 8 years ago
• okfde / offenegesetze.de
  ⚖️ Wir öffnen das Bundesgesetzblatt
  ☆88Updated last week
• zweitstimme-org / prediction-2025
  ☆16Updated 4 months ago
• leanprover / vscode-lean
  Extension for VS Code that provides support for the older Lean 3 language. Succeeded by vscode-lean4 ('lean4' in the extensions menu) for…
  ☆115Updated 2 months ago
• FFPiHaskell / Vorlesung2016
  Folien und Übungsaufgaben für unsere Vorlesung
  ☆26Updated 8 years ago
• banacorn / agda-mode-vscode
  agda-mode on VS Code
  ☆176Updated this week
• ard-data / 2020-rki-archive
  RKI-Corona-Daten-Archiv
  ☆48Updated 2 years ago
• resulknad / networks2tester
  Unofficial tester for second networks project. It constructs a graph, runs dijkstra on it and checks your implementation (whether all you…
  ☆8Updated 3 years ago
• datenguide / datenguide
  Datenguide: Your guide to using German official statistics
  ☆79Updated 9 months ago
• rossprogram / tex.rossprogram.org
  A real-time collaborative TeX editor
  ☆18Updated 4 years ago
• tech4germany / bam-inclusify
  INCLUSIFY is a tool to support the practical use of diversity-sensitive language in German.
  ☆12Updated 2 years ago
• MartinThoma / KIT-Musterloesungen
  Musterlösungen für Klausuraufgaben am KIT
  ☆51Updated 2 years ago
• ImperialCollegeLondon / real-number-game
  A gamification of the theorems in MATH40002 Analysis 1
  ☆82Updated 2 years ago
• remimorvan / knowledge-clustering
  Clustering notions for the knowledge LaTeX package
  ☆17Updated 3 weeks ago
• formalabstracts / formalabstracts
  ☆164Updated 5 years ago
• fsmi / odie-client
  odie-client is a Knockout.js frontend to odie-server
  ☆17Updated 2 years ago
• traines-source / time-space-train-planner
  Browser-based Tool to Visualize Public Transport Journeys
  ☆63Updated 6 months ago
• nettrino / BibtexFromUrl
  A simple chrome extension that creates a BibTeX entry for the URL in the current tab. Tab's title and url are automatically copied to be …
  ☆14Updated 6 months ago
• knowsys / FormaleSysteme
  Unterlagen zur Vorlesung "Formale Systeme", Fakultät Informatik, TU Dresden
  ☆44Updated last year
• bertelsmannstift / Musterdatenkatalog
  ☆12Updated 9 months ago
• decker-edu / decker
  A markdown based tool for slide deck creation.
  ☆70Updated this week
• GermanZero-de / localzero-monitoring
  LocalZero Monitoring is a website with which activist groups can monitor their municipality's progress towards climate neutrality.
  ☆19Updated 3 weeks ago
• pkern / kitcard-reader
  An app to read the purse of the student's card of universities in Karlsruhe and Pforzheim (NOTE: This app no longer works with the curren…
  ☆11Updated 7 years ago
• joshuanianji / derivative
  Symbolic Differentiation with Elm
  ☆15Updated 2 years ago
• informatiCup / informatiCup2020
  Pandemie!
  ☆20Updated 2 years ago
• cafca / metawahl
  Tracking changes in stances of Germany's political parties over time
  ☆20Updated 2 years ago
• teaching-lab / reflective-diary
  Teacher's Reflective Diary (developed by the Teaching Lab community at the Faculty of Informatics, Masaryk University)
  ☆26Updated last year