program-transformation

A code rewrite tool for structural search and replace that supports ~every language.

Tools for transparent data transformation

A curated list of awesome transpilers. aka source-to-source compilers

📚 A collection of resources about supercompilation

Automatically convert Julia methods to Gen functions.

Source Code Automated Refactoring Toolkit

FixMorph is a morphing tool for C source codes which supports automated code-transfer

Rust refactoring templates for comby, the structural find-and-replace tool.

This is an automated transformation inference tool that leverages a big code corpus to guide the abstraction of transformation patterns.

CropML Python library

Fixing static analysis violations in Java source code using Datalog

A Python library for easy and fast program transformation/repair

TSAR (Traits Static AnalyzeR)

Python bindings for Comby

Try it! https://comby.live

SAPFOR (System FOR Automated Parallelization)

DSL for Computation Graph Substitution in Deep Learning Compilers.

Benchmarks of loop fission algorithm.

incremental tree transformers

Valentin Turchin's four-layer Refal supersystem, in Rust: a self-hosting Refal-5 compiler that drives (supercompilation over a graph of states), a reflection engine and a meta-prover. Metacomputation, term rewriting, partial evaluation, the Futamura projections -- each measured against Turchin's own papers.