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. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Parse AWS CloudFormation's intrinsic functions in the template☆13Jun 11, 2023Updated 3 years ago
- ☆11Mar 10, 2015Updated 11 years ago
- pyenv integration for xonsh☆13Aug 13, 2024Updated 2 years ago
- monome norns interactive development for Emacs☆11Oct 11, 2024Updated 2 years ago
- A hardware model checker for hyperproperties☆18Jun 14, 2024Updated 2 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Control your browser with emacs and selenium.☆14Jan 4, 2021Updated 5 years ago
- Index page for AWS CloudFormation resource provider repos☆51Feb 13, 2022Updated 4 years ago
- ☆15Dec 4, 2018Updated 7 years ago
- ☆10Mar 22, 2023Updated 3 years ago
- Automatically exported from code.google.com/p/dumbpig☆12Sep 5, 2018Updated 8 years ago
- A Cedar policy language lexer, parser & evaluator☆15Jul 3, 2023Updated 3 years ago
- CodeSec by Contrast - The fastest and most accurate SAST scanner. Scan code and serverless environments☆20Jun 22, 2026Updated 4 months ago
- Eleventy plugin to expose your Mastodon posts as a global data object.☆13Jul 6, 2024Updated 2 years ago
- Open textbook on modal logic☆25Jul 12, 2026Updated 3 months ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Open SAMMY codebase☆30Oct 27, 2026Updated last week
- ☆16Updated this week
- AWS Edge Services Workshop Material☆15Jun 22, 2019Updated 7 years ago
- Simple authentication toolkit for works with Yubikey☆14Aug 26, 2026Updated 2 months ago
- Simple Router For PHP☆26Aug 22, 2014Updated 12 years ago
- ☆24Jan 28, 2025Updated last year
- A multi-hop packet radio routing engine.☆24Updated this week
- Markdown Slides Template☆16Feb 27, 2020Updated 6 years ago
- ☆11Oct 5, 2024Updated 2 years ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- An experiment in using literate programming to write a static analysis tool in Rust☆18Feb 8, 2023Updated 3 years ago
- A simplified oscilloscope without any built-in feature for ESP32 (WORK IN PROGRESS)☆26Jan 13, 2025Updated last year
- The Cloud Property Graph is based on a Code Property Graph and tries to connect static code analysis and Cloud runtime assessment.☆32Jan 22, 2025Updated last year
- Run Docker images as Firecracker microVMs.☆14Mar 11, 2022Updated 4 years ago
- Monitor your domains for newly issued certificates and alert to Slack in near-realtime☆10Aug 29, 2022Updated 4 years ago
- Immutable/persistent functional data structures for C++11☆10Mar 20, 2019Updated 7 years ago
- weewx driver that captures data from software-defined radio using the rtldavis software.☆23Feb 11, 2023Updated 3 years ago
- An Example XCode-Project with an script to compile GnuTLS for iOS Devices (iPhone, iPod Touch, iPad)☆12Mar 3, 2013Updated 13 years ago
- Apple Books Highlights Exporter☆11Jul 31, 2024Updated 2 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- ☆21May 11, 2023Updated 3 years ago
- Compiler to convert BPMN 2.0 xml to solidity smart contract☆18Sep 3, 2024Updated 2 years ago
- Formal Solidity semantics in Lean 4 — the engine behind the Lean Semantics divergence challenge.☆29Updated this week
- Schyma is a tool designed to simplify the visualization of JSON Schemas☆11Mar 10, 2026Updated 7 months ago
- Asynchronous job and file i/o management for containers☆15Dec 9, 2022Updated 3 years ago
- A chat about passive income with @cassidoo☆31May 25, 2022Updated 4 years ago
- An rtl-sdr receiver for Davis Instruments weather stations.☆29Mar 3, 2016Updated 10 years ago