jens-ox / elementare-geometrieLinks
Aufschrieb zur Vorlesung "Elementare Geometrie", gehört bei Prof. Leuzinger im Wintersemester 2017/2018. Keine Garantie auf Richtigkeit/Vollständigkeit usw., ihr wisst Bescheid :)
☆13Updated 6 years ago
Alternatives and similar repositories for elementare-geometrie
Users that are interested in elementare-geometrie are comparing it to the libraries listed below
Sorting:
- Skript zur Vorlesung "Sicherheit" am KIT.☆43Updated 4 years ago
- DEPRECATED in favor of ghc wasm backend, see https://www.tweag.io/blog/2022-11-22-wasm-backend-merged-in-ghc☆1,958Updated 3 years ago
- Literate Visualization: Theory, software and examples☆400Updated 2 months ago
- a university course evaluation system written in Python using Django☆114Updated this week
- Browser-based Tool to Visualize Public Transport Journeys☆66Updated last week
- INCLUSIFY is a tool to support the practical use of diversity-sensitive language in German.☆12Updated 3 years ago
- Website for students of the Karlsruhe Institute of Technology (KIT).☆50Updated 9 years ago
- Tracking changes in stances of Germany's political parties over time☆21Updated 2 years ago
- JSON data from Wahl-O-Mat☆65Updated 10 months ago
- Folien und Übungsaufgaben für unsere Vorlesung☆26Updated 9 years ago
- A long-short term event memory state-space model for multi-party elections☆54Updated 11 months ago
- A Haskell library for typesafe music composition☆364Updated 6 years ago
- This is the code repository of the Steuerlotse by DigitalService.☆20Updated 4 months ago
- HGeometry is a library for computing with geometric objects in Haskell. It defines basic geometric types and primitives, and it implement…☆127Updated last month
- Skriptartiger Mitschrieb für die Vorlesung Moderne Physik für Informatiker, SS15/17, KIT☆21Updated 6 years ago
- Zusammenfassung☆18Updated 8 years ago
- A SMuFL-compliant OpenType music font☆307Updated 2 months ago
- LaTeX template used for PDF exports☆17Updated last year
- A textbook on informal homotopy type theory☆2,122Updated 3 weeks ago
- Patoline typesetting system☆194Updated 3 years ago
- 2D/3D geometry package for Elm☆186Updated last year
- A dependently typed programming language, a successor to Idris☆900Updated 5 years ago
- A CSS preprocessor as embedded Haskell.☆366Updated 3 months ago
- Learn to sight-read sheet music! SeePlay teaches you to hear with your eyes and play from your heart. 👀🎹💖 Built with @elmlang and the …☆55Updated 5 years ago
- Programming language agnostic type construction language based on polynomials.☆370Updated last year
- The video editor built for screencasters☆432Updated 4 years ago
- The Incredible Proof Machine☆386Updated last week
- Spletna storitev za poučevanje programiranja☆14Updated last year
- Algebraic graphs☆748Updated 4 months ago
- Haskell library for building declarative animations based on SVG graphics☆1,169Updated 10 months ago