How this analysis was created: This summary and feature list are AI-generated from collected project material and can contain mistakes. Stars, license and language are imported from GitHub. Inclusion does not mean that we have tested or audited this project. Check the source documentation for any feature you depend on. Learn more on our About page.
This repository aims to show an example how to automatically prove Ada/SPARK software with Travis CI. The current process consists of downloading and installing the GPL versions of GNAT and SPARK and then build and prove the project.
The main features of jklmnn/continuous-verification are: Continuous Integration.
Projects with overlapping indexed features include: appimagecrafters/build-appimage-action — Create an AppImage using appimage-builder. Check the appimage-builder documentation for more details about writing the… argoproj/argo-cd — Argo CD is a declarative, GitOps-based continuous delivery tool designed for Kubernetes. It functions as a centralized… binance/binance-spot-api-docs — This project provides technical documentation and reference guides for spot trading, including specifications for… bleenco/abstruse — Abstruse is a free and open-source CI/CD platform that tests your models and code. btcid/indodax-official-api-docs — Official Documentation for the Indodax APIs. ada-actions/toolchain — Basic: ``yaml steps: - uses: actions/checkout@master - uses: ada-actions/toolchain@dev with: distrib: fsf target:…
Create an AppImage using appimage-builder. Check the appimage-builder documentation for more details about writing the recipe files.
Argo CD is a declarative, GitOps-based continuous delivery tool designed for Kubernetes. It functions as a centralized control plane that synchronizes application states from version-controlled repositories directly into target clusters, ensuring that the live environment consistently matches the desired configuration defined in Git. The platform distinguishes itself through its ability to manage multi-cluster deployments from a single interface, providing unified oversight across distinct computing environments. It employs a controller-based reconciliation loop to continuously monitor for co
This project provides technical documentation and reference guides for spot trading, including specifications for REST, WebSocket, and FIX protocols. It serves as a comprehensive resource for integrating with spot trading endpoints to execute trades, query account data, and fetch market statistics. The project distinguishes itself by supporting institutional-grade connectivity through the Financial Information eXchange standard and simple binary encoding to reduce latency and payload size. It also includes a dedicated sandbox environment for validating trading logic and strategies without fin
Basic: `yaml steps: - uses: actions/checkout@master - uses: ada-actions/toolchain@dev with: distrib: fsf target: native - run: gprbuild hello - uses: ada-actions/toolchain@dev with: distrib: community target: arm-elf - run: gprbuild --target=arm-eabi --RTS=zfp-microbit hello `