Implementation of the STRategy-based Automatic Safety aSsurance tool (STRASS), an automatic program safety enforcement tool for the Maude programming language
-
Updated
Mar 15, 2023 - Svelte
Implementation of the STRategy-based Automatic Safety aSsurance tool (STRASS), an automatic program safety enforcement tool for the Maude programming language
incremental tree transformers
Smart way to replace and transform your source code to a different source code using custom transform template
MultIPAs: Applying Program Transformations to Introductory Programming Assignments for Data Augmentation
Benchmarks of loop fission algorithm.
SAPFOR (System FOR Automated Parallelization)
DSL for Computation Graph Substitution in Deep Learning Compilers.
Try it! https://comby.live
Python bindings for Comby
TSAR (Traits Static AnalyzeR)
A Python library for easy and fast program transformation/repair
Fixing static analysis violations in Java source code using Datalog
CropML Python library
FixMorph is a morphing tool for C source codes which supports automated code-transfer
This is an automated transformation inference tool that leverages a big code corpus to guide the abstraction of transformation patterns.
A curated list of awesome transpilers. aka source-to-source compilers
Source Code Automated Refactoring Toolkit
Rust refactoring templates for comby, the structural find-and-replace tool.
Automatically convert Julia methods to Gen functions.
Add a description, image, and links to the program-transformation topic page so that developers can more easily learn about it.
To associate your repository with the program-transformation topic, visit your repo's landing page and select "manage topics."