OCamlPro / seacoral Star 2 Code Issues Pull requests One automated test generation tool to rule 'em all static-analysis fuzzing model-checking test-generation dynamic-symbolic-execution coverage-criteria orchestration-tool Updated Apr 14, 2026 OCaml
EstherSlabbert / Infrastructure-as-Code Star 1 Code Issues Pull requests Infrastructure as Code with Ansible and Terraform ansible terraform configuration-management iac orchestration-tool Updated Jun 10, 2023 HCL
deepeshx9 / python-efi-wrapper Star 1 Code Issues Pull requests Turn Python .py files into UEFI .efi bootable media python wrapper micropython tooling cpython uefi linux-kiosk cpython-language orchestration-tool uefi-boot-services Updated Jun 7, 2026 Shell