Litani metabuild system
☆21Jun 12, 2023Updated 3 years ago
Alternatives and similar repositories for aws-build-accumulator
Users that are interested in aws-build-accumulator are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- The CBMC starter kit makes it easy to add CBMC verification to a software project.☆54Jul 1, 2026Updated last week
- Emacs flymake syntax-checker for php files☆16Apr 22, 2026Updated 2 months ago
- ☆11May 12, 2021Updated 5 years ago
- Specifications of cryptographic algorithms in Cryptol☆50Jun 11, 2026Updated 3 weeks ago
- AWS Modernization DevSecOps Code Samples☆13Nov 30, 2020Updated 5 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Python build tools for Atlassian Bamboo☆20Jan 22, 2019Updated 7 years ago
- Implementations of various algorithms in JavaScript & Python☆15Jan 9, 2019Updated 7 years ago
- Examples showing use of NGC containers and models withing Amazon SageMaker☆17Oct 4, 2022Updated 3 years ago
- This repository contains specifications, proof scripts, and other artifacts required to formally verify portions of AWS libcrypto. Formal…☆70Mar 26, 2026Updated 3 months ago
- Large enterprises try to find a balance between controlling risk and empowering their developers in alignment with DevOps practices. Id…☆20Oct 28, 2021Updated 4 years ago
- Publish OpenSCAP scan metrics to CloudWatch and optionally send SNS notifications☆19May 3, 2018Updated 8 years ago
- ACK service controller for Amazon Application AutoScaling☆13Jun 25, 2026Updated 2 weeks ago
- secrets-helper helps you use AWS Secrets Manager to secure the use of CLI tools☆18Jun 9, 2020Updated 6 years ago
- JSON tools around `jq` and other utilities☆13May 12, 2019Updated 7 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Toolkit for working with AWS APIs☆15Jul 8, 2020Updated 6 years ago
- ☆20Mar 16, 2026Updated 3 months ago
- This workshop is for .NET developers who are interested in restructuring their legacy application into microservices. In this workshop yo…☆17Dec 8, 2022Updated 3 years ago
- ☆72Jun 9, 2026Updated 3 weeks ago
- Markdown docs☆11Nov 18, 2018Updated 7 years ago
- Datasette plugin that adds a custom SQL function for executing jq expressions against JSON values☆17Apr 9, 2020Updated 6 years ago
- Public Key Infrastructure for IoT devices☆14Dec 7, 2022Updated 3 years ago
- A lightweight, efficient DICOM processing library☆24Jul 27, 2018Updated 7 years ago
- ☆22Jan 8, 2024Updated 2 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- Basic setup of an AWS Lambda function in Go with Terraform.☆10Feb 13, 2022Updated 4 years ago
- Unofficial port of the CVS version of matlab-mode with fixes and new features.☆17Mar 31, 2016Updated 10 years ago
- Alpha Streams Public SDK.☆11Mar 27, 2024Updated 2 years ago
- Connect and deploy IoT devices on AWS IoT Core in minutes and start generating immediate business value!☆21Sep 25, 2023Updated 2 years ago
- pytest-plus adds new features to pytest☆12Oct 27, 2025Updated 8 months ago
- Fully proved small C functions (examples for verification course).☆17Jun 26, 2017Updated 9 years ago
- A simple Rails Lambda Project on Docker to test Mac filesystems (https://github.com/docker/roadmap/issues/7) benchmarks for the Docker te…☆11Dec 2, 2022Updated 3 years ago
- Repository for the coredns fanout plugin used by Network Service Mesh☆21Jun 12, 2025Updated last year
- Ruby gem to check to see if an email address is on http://haveibeenpwned.com☆17Oct 26, 2017Updated 8 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- 🐍🛥🌟 Running Python in the browser with Batavia and Starlette☆13Sep 14, 2019Updated 6 years ago
- k3d provider for Karpenter☆23Aug 15, 2022Updated 3 years ago
- Build a reliable FTP utility over UDP with same reliability as traditional FTP but with higher throughput. Reliability was implemented us…☆16Mar 26, 2015Updated 11 years ago
- CLI tools for use with Mangum☆13Jun 13, 2020Updated 6 years ago
- A library that handles connecting third-party websockets based MQTT clients to AWS IoT Core.☆27Nov 23, 2023Updated 2 years ago
- output identical version strings from repository clones or downloaded archives☆15Nov 23, 2021Updated 4 years ago
- PHP autoloading simulation for Emacs' Semantic☆23Jun 19, 2026Updated 2 weeks ago