br-data / corona-deutschland-karteView external linksLinks
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:
- Rezepte im RecipeMD-Format, siehe https://recipemd.org☆17Jan 8, 2026Updated last month
- Collect data about the sharing economy☆17Dec 8, 2022Updated 3 years ago
- RKI-Corona-Daten-Archiv☆48Aug 27, 2022Updated 3 years ago
- A card game with train stations and open data☆29Dec 9, 2019Updated 6 years ago
- A spreadsheet program with Lua scripting 🌖☆12May 28, 2024Updated last year
- 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
- ☆10Oct 11, 2022Updated 3 years ago
- Complexity analysis in Lean☆10Feb 5, 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☆15Feb 9, 2026Updated last week
- ☆13Jul 8, 2024Updated last year
- WpWinNl repository on GitHub. Moved from CodePlex☆11Sep 11, 2016Updated 9 years ago
- ☆15Mar 16, 2024Updated last year
- ☆11Jan 30, 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
- Mediator pattern and Command Query Responsibility Segregation (CQRS) implementation in .NET☆19Updated this week
- The TeX for Adams' blue book, by the group TeXromancers☆13Sep 15, 2025Updated 5 months ago
- ☆12May 17, 2023Updated 2 years ago
- A crash dump handler☆10Feb 16, 2025Updated last year
- Lists capabilities used by processes on your system as they are requested, to assist in the task of creating custom hardened profiles for…☆13Jul 24, 2025Updated 6 months ago
- A library for working with relative times in JS.☆11Apr 10, 2015Updated 10 years ago
- prbot: Pull Request robot☆13Mar 16, 2016Updated 9 years ago
- Sample QR code reader app for Windows Phone 8.1☆11Dec 30, 2015Updated 10 years ago
- A repository to host all the different vagrant setups that I use.☆10Jun 14, 2022Updated 3 years ago
- A web client for OpenAQ API.☆12Jan 8, 2020Updated 6 years ago
- Wait for a commit's check suites to complete.☆14Aug 30, 2023Updated 2 years ago
- Encode/decode Lua tables into a string. It's a native extension for the Defold game engine.☆12Jun 7, 2022Updated 3 years ago
- An unofficial API for https://getbring.com☆10Dec 8, 2022Updated 3 years ago
- Becker Cover custom component for Home Assistant☆11Mar 17, 2022Updated 3 years ago
- ☆12Mar 30, 2022Updated 3 years ago
- Lindemann–Weierstrass Theorem☆12May 4, 2024Updated last year
- automate your document generation process☆12Apr 9, 2025Updated 10 months ago
- Interesting ATP Proofs☆13Sep 3, 2021Updated 4 years ago
- A simple REPL for Lean 4, returning information about errors and sorries.☆12Jun 19, 2023Updated 2 years ago
- math puzzles from various sources, formalized in Lean☆10Oct 21, 2023Updated 2 years ago
- Tumor Phylogeny Reconstruction via Integrative use of Single Cell and Bulk Sequencing Data☆11Jul 13, 2020Updated 5 years ago
- Auto math prover.☆11Jul 10, 2024Updated last year
- Lean proof that a normed vector space with compact unit ball is finite dimensional☆11Dec 7, 2019Updated 6 years ago
- A deck of emojis for Deckmaster☆10Jun 8, 2021Updated 4 years ago