Interaktive Deutschlandkarte, die die COVID19-Infektionszahlen auf Landkreis-/Stadtebene zeigt (veraltet)
☆13Feb 2, 2022Updated 4 years ago
Alternatives and similar repositories for corona-deutschland-karte
Users that are interested in corona-deutschland-karte are comparing it to the libraries listed below
Sorting:
- Blinkenlights Berlin☆11Mar 4, 2014Updated 12 years ago
- Rezepte im RecipeMD-Format, siehe https://recipemd.org☆17Feb 27, 2026Updated last week
- Collect data about the sharing economy☆17Dec 8, 2022Updated 3 years ago
- RKI-Corona-Daten-Archiv☆48Aug 27, 2022Updated 3 years ago
- more blockchains to win every Bundesausschreibungsverfahren☆52Mar 19, 2021Updated 4 years ago
- A card game with train stations and open data☆29Dec 9, 2019Updated 6 years ago
- API Documentation for BahnBonus, the loyality system of DB☆25Feb 15, 2019Updated 7 years ago
- ☆64Dec 27, 2022Updated 3 years ago
- A spreadsheet program with Lua scripting 🌖☆12May 28, 2024Updated last year
- Inofficial LVB (Leipziger Verkehrsbetriebe) API client.☆34Oct 25, 2021Updated 4 years ago
- generator for 36c3 visuals☆68Apr 23, 2020Updated 5 years ago
- Angular tutorials☆10Feb 21, 2019Updated 7 years ago
- A semidefinite programming solver for clustered low-rank SDPs☆14Updated this week
- ☆12Feb 18, 2024Updated 2 years ago
- An Asciidoctor template for an Austrian HTL thesis with features such as Local Docker Builds, Remote Builds, matplotlib and graphviz-py d…☆11Sep 25, 2022Updated 3 years ago
- Generiert zufällige Daten wie Namen, Berufe, Bandnamen, ein Datum, Sätze oder den Datensatz einer Personen☆10Feb 25, 2023Updated 3 years ago
- BlackArch configuration for the bash shell.☆13Jan 11, 2021Updated 5 years ago
- Ort, Kreis, Bundesland, PLZ, GeoCode von Orten in Deutschland, Database Germany☆13Mar 30, 2018Updated 7 years ago
- BERD Course Booklet: Make Your Research Reproducible☆14Feb 12, 2026Updated 3 weeks ago
- Complexity analysis in Lean☆10Feb 5, 2024Updated 2 years ago
- Formalization of Arithmetization of Mathematics/Metamathematics☆13Mar 8, 2025Updated last year
- Simple to use Property Library that allows multiple profiles to be configured and used with ease. This mimics the behavior of profiles fr…☆10Dec 15, 2023Updated 2 years ago
- Threaded implementation of grid-based Bader charge analysis.☆17Oct 19, 2023Updated 2 years ago
- Examples for using the test-summary action to add test summaries in GitHub Actions CI/CD workflows☆12Jan 21, 2024Updated 2 years ago
- WpWinNl repository on GitHub. Moved from CodePlex☆11Sep 11, 2016Updated 9 years ago
- ☆13Jul 8, 2024Updated last year
- ☆10Oct 11, 2022Updated 3 years ago
- ☆11Oct 31, 2021Updated 4 years ago
- ☆11Sep 15, 2025Updated 5 months ago
- ☆11Jan 30, 2024Updated 2 years ago
- Transparenzranking.de vergleicht alle Transparenzregelungen Deutschlands☆12Nov 22, 2023Updated 2 years ago
- LangSmith C# SDK based on official LangSmith OpenAPI specification☆15Updated this week
- A fast implementation of mmap in Python☆14Jun 3, 2020Updated 5 years ago
- jootainer = test-containers + flyway + jooq-codegen☆11May 29, 2020Updated 5 years ago
- Primitives and routines for 2D shapes, curves, and paths. A port of kurbo.☆11Mar 26, 2025Updated 11 months ago
- A development of homotopy theory in the Lean formal theorem prover.☆14Aug 27, 2020Updated 5 years ago
- math puzzles from various sources, formalized in Lean☆10Oct 21, 2023Updated 2 years ago
- Zenodo Developers Site☆15Sep 25, 2025Updated 5 months ago
- Auto math prover.☆11Jul 10, 2024Updated last year