Abfahrt! Der InformatiCup 2022
☆22Oct 9, 2025Updated 5 months ago
Alternatives and similar repositories for informatiCup2022
Users that are interested in informatiCup2022 are comparing it to the libraries listed below
Sorting:
- spe_ed☆17Oct 12, 2023Updated 2 years ago
- Pandemie!☆20Jan 2, 2023Updated 3 years ago
- ☆18Feb 18, 2026Updated last month
- Repository for code/examples/instructions for the MIT course 15.S60 "Software Tools for Operations Research"☆19Jan 29, 2015Updated 11 years ago
- MIP 2024 Computational Competition☆18Jan 29, 2024Updated 2 years ago
- Checks GitHub pull requests for valid and accepted Jira tickets. Used for ICU and CLDR☆11Apr 7, 2025Updated 11 months ago
- A sample Node.js application that uses the database-js package.☆10Mar 28, 2024Updated last year
- GitHub Action to get a license overview in SPDX format☆14Dec 24, 2021Updated 4 years ago
- an example how to build portable conan.io C/C++ packages across Mac, Linux and Windows with multiple CIs☆17May 9, 2021Updated 4 years ago
- Present ZAProxy results in GitHub Advanced Security☆18May 24, 2024Updated last year
- Invite users to a GitHub team in bulk☆12Jan 22, 2022Updated 4 years ago
- Performance test generator for Postman☆11Jan 26, 2021Updated 5 years ago
- Python interface and modeling environment for GCG☆27Dec 4, 2025Updated 3 months ago
- Node Express API with Harry Potter data using PlanetScale☆15May 12, 2023Updated 2 years ago
- Provides the ability to run Postman collections as a local mock server.☆15Oct 13, 2025Updated 5 months ago
- An (eventually) secure open-source MCP Server to turn any REST endpoint into MCP resources automatically☆20May 23, 2025Updated 9 months ago
- API server for track information from Serato DJ Pro☆14Feb 17, 2023Updated 3 years ago
- Use this action to extract CODEOWNER information.☆14Aug 5, 2025Updated 7 months ago
- A GitHub 🤖 that checks for common Git related errors and notifies the responsible engineers☆17May 10, 2021Updated 4 years ago
- GitHub Action that creates a Azure DevOps work item when a GitHub pull request is created☆13Mar 4, 2024Updated 2 years ago
- A backstage plugin that displays API and collection objects, along with their respective versions, featuring monitoring options and "Run …☆13Feb 15, 2025Updated last year
- GitHub Actions workflows to visualize Kubernetes cluster actions with LEDs connected to Raspberry PIs☆21Jan 17, 2022Updated 4 years ago
- ☆27Oct 15, 2019Updated 6 years ago
- Automate GitHub Actions allow list for GitHub Enterprise Cloud accounts☆17Mar 1, 2026Updated 2 weeks ago
- This is the repository containing the GitHub + Azure "microservices" baseline blueprint code and documentation for partners.☆18Jan 17, 2019Updated 7 years ago
- HTTP Caching service for GitHub Actions☆25Sep 22, 2022Updated 3 years ago
- Unofficial Terraform provider for planetscale☆29May 14, 2022Updated 3 years ago
- ☆19Mar 7, 2026Updated last week
- This repo has been migrated to https://github.com/github/security-lab/tree/master/CodeQL_Queries☆26Nov 8, 2019Updated 6 years ago
- For role based applications, security tests can be a burden to create and maintain. Each endpoint must be tested for every role in the sy…☆20Nov 24, 2021Updated 4 years ago
- Raspberry Pi as a simulated car☆22Jul 5, 2023Updated 2 years ago
- GitHub Action to support parsing of the data generated in Issue body for GitHub Issues created using Issue Form Templates.☆31Aug 9, 2024Updated last year
- A GitHub Action that can parse data from the body of an Issue and provide it as output to other GitHub Action steps☆21May 15, 2025Updated 10 months ago
- Model-based Policy Gradients☆32Mar 12, 2020Updated 6 years ago
- Bare bones container for GitHub Actions Runner☆30Apr 10, 2022Updated 3 years ago
- A collection of Jenkins related Dockerfiles that can be used to implement Continuous Delivery pipelines for SAP development projects with…☆28Sep 21, 2023Updated 2 years ago
- An example of how codespaces can significantly facilitate development work on C/C++ projects.☆22Nov 15, 2025Updated 4 months ago
- On-prem GitHub Actions runners, backed by Kubernetes☆36Jan 18, 2022Updated 4 years ago
- The fastest way to create GitHub issues on your phone. Add an emoji reaction on Slack and it creates an issue for you.☆31Apr 25, 2023Updated 2 years ago