claudiacauli / CloudFORMALView external linksLinks
Prototype compiler from AWS CloudFormation IaC templates into Logic.
☆13Dec 5, 2023Updated 2 years ago
Alternatives and similar repositories for CloudFORMAL
Users that are interested in CloudFORMAL are comparing it to the libraries listed below
Sorting:
- An interactive, TLS-capable HTTP intercepting proxy designed for penetration testers and software developers, including a parser for the …☆21Jul 31, 2025Updated 6 months ago
- ☆10Jun 28, 2017Updated 8 years ago
- Tool to check the CloudTrail configuration and the services where trails are sent, to detect potential attacks to CloudTrail logging.☆13May 25, 2024Updated last year
- A greybox fuzzer for continuous integration☆10Dec 15, 2023Updated 2 years ago
- C# Livy client to submit Spark jobs to HDInsight and other Spark clusters☆10Sep 15, 2017Updated 8 years ago
- One page visualization tool for AWS CloudFormation scripts☆10Jun 30, 2023Updated 2 years ago
- SSE to Stdio MCP Proxy Server☆17Jun 9, 2025Updated 8 months ago
- reinforcement learning for optimal debt collection strategy☆11Dec 8, 2019Updated 6 years ago
- ☆10Mar 31, 2016Updated 9 years ago
- CORS Proxy which can take multiple url requests at a time☆10Sep 26, 2021Updated 4 years ago
- Insecure web application used to test system security controls☆13Oct 14, 2025Updated 4 months ago
- ☆12Aug 19, 2021Updated 4 years ago
- Pollard Rho attack on ECDLP with GMP☆10Sep 6, 2022Updated 3 years ago
- Monitor your domains for newly issued certificates and alert to Slack in near-realtime☆10Aug 29, 2022Updated 3 years ago
- Pure C# version of VIM2VHD☆15Jan 4, 2025Updated last year
- Companion Code to go along with the eBook on using HttpClient properly and refactoring it into reusable client-side components for ASP.NE…☆11Sep 28, 2022Updated 3 years ago
- A collection of sorting algorithms written in C#.☆11Nov 26, 2016Updated 9 years ago
- Tech books☆14Dec 13, 2012Updated 13 years ago
- Malware dev tricks. Syscalls part 1. Simple C example☆10Jun 8, 2023Updated 2 years ago
- Simple authentication toolkit for works with Yubikey☆13Feb 1, 2026Updated 2 weeks ago
- ☆11Apr 6, 2022Updated 3 years ago
- Sample created during Greg Young's Advanced CQRS & DDD Workshop☆13Nov 10, 2017Updated 8 years ago
- Index page for AWS CloudFormation resource provider repos☆49Feb 13, 2022Updated 4 years ago
- Open Source Cross Platform EventStore(see https://eventstore.org/) Solution based on .NET Core 3.1 and Netty(https://github.com/cuteant/d…☆13Aug 29, 2020Updated 5 years ago
- An opinionated library to create event-driven microservices☆13Dec 6, 2023Updated 2 years ago
- AWS DynamoDB Operation & Persisted store for IdentityServer4☆11Aug 7, 2019Updated 6 years ago
- Interstate Love Song is a Teradici broker☆12Dec 9, 2022Updated 3 years ago
- Some popular questions from geeksforgeeks and solutions in C#☆12Jul 11, 2021Updated 4 years ago
- Asynchronous job and file i/o management for containers☆15Dec 9, 2022Updated 3 years ago
- An opinionated tool for comparing open API specified services and reporting on breaking changes, potentially breaking changes and suggest…☆12Dec 3, 2017Updated 8 years ago
- Demo for vulnerable Nodejs project☆12Jul 6, 2024Updated last year
- Micronaut version of Eventuate event sourcing-based Customers and Orders☆11Mar 18, 2025Updated 10 months ago
- ⚔️ Tyrion is a mediator pattern implementation package for dotnet☆11Nov 28, 2023Updated 2 years ago
- pyenv integration for xonsh☆13Aug 13, 2024Updated last year
- Development tree for staging core changes☆22Jun 15, 2024Updated last year
- AWS Edge Services Workshop Material☆15Jun 22, 2019Updated 6 years ago
- Manage Distributed Sessions on .NET Core Apps with Redis☆14Dec 2, 2017Updated 8 years ago
- Open SAMMY codebase☆23Feb 3, 2026Updated last week
- ☆14Jan 11, 2015Updated 11 years ago