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 spreadsheet program with Lua scripting 🌖☆12May 28, 2024Updated last year
- 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
- ☆11Sep 15, 2025Updated 5 months ago
- 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
- Generiert zufällige Daten wie Namen, Berufe, Bandnamen, ein Datum, Sätze oder den Datensatz einer Personen☆10Feb 25, 2023Updated 3 years ago
- ☆13Jul 8, 2024Updated last year
- ☆10Oct 11, 2022Updated 3 years ago
- Complexity analysis in Lean☆10Feb 5, 2024Updated 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
- ☆11Oct 31, 2021Updated 4 years ago
- Transparenzranking.de vergleicht alle Transparenzregelungen Deutschlands☆12Nov 22, 2023Updated 2 years ago
- Formalization of Arithmetization of Mathematics/Metamathematics☆13Mar 8, 2025Updated last year
- BlackArch configuration for the bash shell.☆13Jan 11, 2021Updated 5 years ago
- BERD Course Booklet: Make Your Research Reproducible☆14Feb 12, 2026Updated 3 weeks ago
- ☆12Jan 19, 2024Updated 2 years ago
- A simple REPL for Lean 4, returning information about errors and sorries.☆12Jun 19, 2023Updated 2 years ago
- Simple c++ wrapper for xz utils☆13Jul 1, 2021Updated 4 years ago
- Various and sundry shell scripts used on my system☆21Updated this week
- An unofficial API for https://getbring.com☆10Dec 8, 2022Updated 3 years ago
- quick demo scripts for podman desktop☆12Mar 2, 2026Updated last week
- A PostgreSQL metric exporter for Prometheus written in Rust☆38Updated this week
- Unofficial copy of GSview 5.0☆11Jun 7, 2019Updated 6 years ago
- a basic peniscoin miner in python☆11Jun 12, 2014Updated 11 years ago
- Formalization of Statement of Local Langlands Correspondence for Tori☆12Dec 18, 2018Updated 7 years ago
- A deck of emojis for Deckmaster☆10Jun 8, 2021Updated 4 years ago
- ☆14Feb 26, 2026Updated last week
- Interesting ATP Proofs☆13Sep 3, 2021Updated 4 years ago
- This is the contents of the daniel.haxx.se website☆12Mar 3, 2026Updated last week
- A repository to host all the different vagrant setups that I use.☆10Jun 14, 2022Updated 3 years ago
- Becker Cover custom component for Home Assistant☆11Mar 17, 2022Updated 3 years ago
- Many proofs of the Pythagoras theorem - Lean 4☆10Dec 1, 2023Updated 2 years ago
- Primitives and routines for 2D shapes, curves, and paths. A port of kurbo.☆11Mar 26, 2025Updated 11 months ago