Graduation project during OJT at iVolve. Implements CI/CD using Jenkins, Docker, Kubernetes, Terraform, Ansible, and ArgoCD on AWS. Covers full DevOps pipeline: infrastructure provisioning, configuration management, app deployment, and monitoring.
☆62Aug 5, 2025Updated last year
Alternatives and similar repositories for CloudDevOpsProject
Users that are interested in CloudDevOpsProject 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 accompanying repository for the GitOps Master Class - Argo CD AppProjects☆20May 30, 2025Updated last year
- Tiling window manager☆13Oct 20, 2024Updated 2 years ago
- De-obfuscated payload from the September 8 2025 npm supply chain attack☆13Sep 8, 2025Updated last year
- ☆12Feb 11, 2019Updated 7 years ago
- Given a marked-ast AST generate markdown output☆10Apr 14, 2022Updated 4 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Experiments with effect systems☆12Apr 18, 2016Updated 10 years ago
- RUst way for Reuse Analysis☆11Apr 1, 2024Updated 2 years ago
- Asking questions about DBLP☆10Feb 6, 2026Updated 8 months ago
- Regular expression matching in Idris☆11Apr 27, 2016Updated 10 years ago
- ☆13Oct 19, 2026Updated last week
- an encoding of affine effect handlers using pthreads☆14Nov 15, 2022Updated 3 years ago
- Portable implementation of many standard Common Lisp macros.☆13Feb 10, 2026Updated 8 months ago
- Simple 16-bit x86 decompression algorithm☆16Aug 7, 2017Updated 9 years ago
- Cookiecutter for xeus-based Jupyter kernels☆12Mar 16, 2026Updated 7 months 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.
- Prolog Implementation in Python☆12Dec 28, 2017Updated 8 years ago
- Multi-arch Docker images for Idris 2☆13Jul 14, 2026Updated 3 months ago
- A Lean (4) type checker written in RPython☆11Oct 19, 2026Updated last week
- ☆15Jan 31, 2021Updated 5 years ago
- An implementation of snake in a bootloader☆11Jan 19, 2020Updated 6 years ago
- A 1014 Byte ELF64/DOS.COM/GameBoy/Megadrive/PDF/ARJ/PKZIP/7zip Polyglot Binary☆13Sep 8, 2022Updated 4 years ago
- Velo is a tiny language (STLC + Hutton's Razor with Bools) to showcase & explore efficient verified implementations in Idris2.☆16Apr 3, 2023Updated 3 years ago
- Java Compiler Kit (JKit)☆12May 20, 2017Updated 9 years ago
- Render a JSON with jq patterns.☆20Aug 20, 2023Updated 3 years ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- Attempt to prove semantic preservation (forward simulation) for a simple compiler.☆12May 1, 2024Updated 2 years ago
- Fork of https://github.com/fwcd/kotlin-language-server and https://github.com/fwcd/kotlin-debug-adapter with Bazel support☆15Apr 30, 2026Updated 6 months ago
- Alpacc: Array Language Parallelism-Accelerated Compiler Compiler☆11Jun 11, 2026Updated 4 months ago
- ☆12Sep 22, 2020Updated 6 years ago
- small vectorized interpreter☆16Aug 17, 2026Updated 2 months ago
- A functional language with dependent types and customisable type representations☆13Jul 15, 2025Updated last year
- Real Mode VGA Demos☆13Dec 6, 2014Updated 11 years ago
- "Strand" is an open-source implementation of the identically named parallel Prolog dialect as described in the book "Strand: New Concepts…☆14Apr 27, 2021Updated 5 years ago
- An OCaml EDSL for describing and solving strategic games☆18Sep 10, 2023Updated 3 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- TypeScript client for Idris IDE-mode.☆13Nov 6, 2022Updated 3 years ago
- ☆13Jul 31, 2016Updated 10 years ago
- ☆15May 28, 2025Updated last year
- ☆16Apr 19, 2022Updated 4 years ago
- A screen recorder for modern Linux desktops (Wayland & X11), via xdg-desktop-portal + PipeWire.☆17Sep 4, 2026Updated last month
- ☆10Nov 14, 2022Updated 3 years ago
- DIY EMG VR Controller for Oculus Quest 2: low-cost, user-friendly electromyography-based control system with Arduino, MyoWare sensors, an…☆15Mar 30, 2023Updated 3 years ago