Artificial Intelligence Infrastructure-as-Code Generator.
Repository Index
47,133 repositories indexed
1–6 of 6 · Most stars
Automated driver management and other helper features for Selenium WebDriver in Java
- java
- selenium-webdriver
- chromedriver
- geckodriver
Harden-Runner is a CI/CD security agent that works like an EDR for GitHub Actions runners. It monitors network egress, file integrity, and process activity on those runners, detecting threats in real-time.
- github-actions
- actions
- supply-chain-security
- hardening
Free, open-source AWS emulator. LocalStack alternative: 107 services, 7,657 operations, true 100% Smithy conformance (258,545/258,545 variants pass). No account, no auth token, no paid tier.
Storage library provides a universal interface for accessing and manipulating data in different cloud blob storage providers
Old Coq plugin for parametricity [maintainer=@ppedrot]
- parametricity
- coq-plugin
- coq
- docker-coq-action