GLITCH is a technology-agnostic framework that enables automated detection of code smells in Infrastructure-as-Code scripts.
☆33Aug 12, 2026Updated 2 months ago
Alternatives and similar repositories for GLITCH
Users that are interested in GLITCH are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ⚙️ A tool for collecting executable code datasets with GitHub Actions ⚙️☆23Oct 2, 2026Updated last week
- Python client for coq-lsp☆54May 3, 2026Updated 5 months ago
- Language models for Coq based on data collected from the coq lsp.☆31Feb 23, 2026Updated 7 months ago
- RepairLLaMA: Efficient Representations and Fine-Tuned Adapters for Program Repair http://arxiv.org/pdf/2312.15698☆44Sep 5, 2025Updated last year
- SootDiff - Bytecode Comparison Across Different Java Compilers☆19May 24, 2024Updated 2 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- Visual Studio Code Extension and Language Server Protocol for Rocq / Coq [maintainers=@gbdrt,@SkySkimmer,@tabareau]☆209Oct 2, 2026Updated last week
- Program Transformation Tool for Java Methods☆10Sep 16, 2022Updated 4 years ago
- Bug Report driven Program Repair☆16Feb 15, 2020Updated 6 years ago
- The official repository of ICSME'23 paper "Exploring Security Commits in Python"☆19Jul 12, 2023Updated 3 years ago
- KGym - A platform to run hundreds to thousands of ML4Linux kernel experiments at scale☆17Nov 8, 2025Updated 11 months ago
- Program to generate vulnerable and fixed synthetic test cases expressing specific flaws.☆16Jul 24, 2026Updated 2 months ago
- ☆34Sep 22, 2025Updated last year
- ☆11Dec 16, 2025Updated 9 months ago
- Research Acceleration Platform that provides interface to multiple state-of-the-art program analysis tools including but not limited to f…☆73Nov 24, 2024Updated last year
- 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.
- Efficient APR with LLMs http://arxiv.org/pdf/2402.06598☆16May 28, 2024Updated 2 years ago
- LaMa, short for Labelling Machine, is an web application developed for aiding in thematic analysis of qualitative data.☆19May 9, 2023Updated 3 years ago
- A Reproducible Benchmark of Recent Java Bugs☆54Aug 19, 2025Updated last year
- From "A comprehensive evaluation of SZZ Variants through a developer-informed oracle" (pdf open-access at https://doi.org/10.1016/j.jss.2…☆22Aug 25, 2023Updated 3 years ago
- ☆16Mar 3, 2022Updated 4 years ago
- Packer templates for building Flatcar vagrant/qemu images☆20Jul 28, 2026Updated 2 months ago
- A fork of HumanEval-Java from the paper "Impact of Code Language Models on Automated Program Repair"☆22Dec 11, 2024Updated last year
- This repository contain all sources for Kaisen Linux alpha and beta ISO (packages, themes, icons, menus, launchers...)☆10Jun 8, 2020Updated 6 years ago
- OpenControl Database☆11Jan 5, 2023Updated 3 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.
- ☆12Jan 10, 2017Updated 9 years ago
- Generate Diagram from terraform output.☆14Updated this week
- Automatic program repair system for Java based on dynamic analysis and code synthesis with SMT. Also contains the code of Dynamoth.☆105Mar 14, 2026Updated 6 months ago
- ☆13Dec 16, 2020Updated 5 years ago
- ☆21Sep 7, 2026Updated last month
- Install and configure selinux and its required libraries on your system.☆11Sep 22, 2026Updated 2 weeks ago
- Ansible role to install/configure Chrony☆14Jul 9, 2026Updated 3 months ago
- Simple converter script for Day One2: JSON -> Pandoc Markdown with metadata.☆10Feb 20, 2022Updated 4 years ago
- 🛠 Collection of scripts to setup my macOS workstation☆13Aug 27, 2026Updated last month
- 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.
- FLACOCO: Fault Localization for Java based on Industry-grade Coverage http://arxiv.org/pdf/2111.12513☆38Sep 23, 2026Updated 2 weeks ago
- Create mails showing your configuration drift from an ansible repo☆19Apr 10, 2026Updated 6 months ago
- Private self-hosted alternative to Vagrant Cloud☆13Jan 5, 2023Updated 3 years ago
- ☆18Mar 28, 2026Updated 6 months ago
- All included tools on Kaisen Linux☆17Aug 12, 2025Updated last year
- Automated STIG Benchmark Compliance Audit for RHEL 8 with Ansible & GOSS☆12Jul 27, 2026Updated 2 months ago
- Manifests to build custom Incus container and virtual machine images using Distrobuilder☆26Aug 3, 2025Updated last year