program-transformation

There are 0 repository under program-transformation topic.

comby
comby-tools / comby
A code rewrite tool for structural search and replace that supports ~every language.
c go java javascript linting parser-combinators parsing php program-transformation python reason refactoring regex rewriting rust search-and-replace swift syntax syntax-transformation typescript
Language:OCaml 2565
noprompt / meander
Tools for transparent data transformation
logic-programming pattern-matching program-transformation substitution term-rewriting unification
Language:Clojure 958
etiamz / supercompilation-resources
📚 A collection of resources about supercompilation
functional-programming performance program-analysis program-optimization program-transformation static-analysis supercompilation symbolic-execution type-theory
123
milahu / awesome-transpilers
A curated list of awesome transpilers. aka source-to-source compilers
program-transformation source-to-source transpiler code-migration code-translation migration translation
104
probcomp / Genify.jl
Automatically convert Julia methods to Gen functions.
probabilistic-programming program-transformation simulation-based-inference
Language:Julia 48
CodART
m-zakeri / CodART
Source Code Automated Refactoring Toolkit
refactoring compilers antlr java python optimization search-based-software-refactoring genetic-algorithm testability testability-analysis testability-improvment machine-learning regression-analysis nsga-iii program-analysis program-transformation software-quality software-testability codart white-box-compiler
Language:Python 37
huitseeker / comby-rust
Rust refactoring templates for comby, the structural find-and-replace tool.
rust comby refactoring search-and-replace linting parsing program-transformation syntax-transformation
Language:Rust 35
rshariffdeen / FixMorph
FixMorph is a morphing tool for C source codes which supports automated code-transfer
patch-backport program-repair program-transformation
Language:Python 35
xgdsmileboy / GenPat
This is an automated transformation inference tool that leverages a big code corpus to guide the abstraction of transformation patterns.
automatic-debugging program-repair program-transformation pattern-mining
Language:Java 29
AgriculturalModelExchangeInitiative / PyCrop2ML
CropML Python library
transpiler program-transformation source-to-source crop-model
Language:Python 19
logifix
lyxell / logifix
Fixing static analysis violations in Java source code using Datalog
static-analysis program-transformation datalog program-repair
Language:C++ 17
dvm-system / tsar
TSAR (Traits Static AnalyzeR)
parallel-programming c fortran program-analysis program-transformation
Language:C++ 15
trailofbits / tourniquet
A Python library for easy and fast program transformation/repair
llvm program-repair program-transformation clang
Language:Python 15
ChrisTimperley / comby-python
Python bindings for Comby
syntax-rewriter program-transformation python-bindings comby
Language:Python 13
comby-tools / comby-ui
Try it! https://comby.live
program-transformation search-and-replace linting refactoring syntax-transformation parsing parser-combinators rewriting syntax
Language:Elm 11
dvm-system / sapfor
SAPFOR (System FOR Automated Parallelization)
semi-automatic-parallelization program-analysis fortran c automated-parallelization parallel-programming program-transformation
Language:Perl 7
statycc / loop-fission
Benchmarks of loop fission algorithm.
automatic-parallelization dependency-analysis loop-optimization program-analysis program-transformation
Language:C 6
wzh99 / GSL
DSL for Computation Graph Substitution in Deep Learning Compilers.
computation-graph-optimization deep-learning domain-specific-language graph-substitution pattern-matching program-transformation
Language:Python 6
milahu / treepipes
incremental tree transformers
incremental incremental-compilation incremental-compiler incremental-computing term-rewriting incremental-semantics live-coding low-latency differential-dataflows durchgriff incremental-evaluation program-transformation concept hot-reload hot-reloading incremental-codegen
3
pmorvalho / MultIPAs
MultIPAs: Applying Program Transformations to Introductory Programming Assignments for Data Augmentation
c c-pack-ipas data-augmentation introductory-programming ipas multipas program-mutation program-mutilation program-repair program-transformation programming-assignments software-engineering
Language:C 3
JordyAaldering / bachelor-thesis
A new semantics for array programming languages; how to introduce some laziness without being lazy
compiler functional-programming array-programming high-performance-computing program-transformation
Language:TeX 1
yushuhuang / rdd2dataframe
Spark RDD API to Dataframe API program transformation
compiler program-transformation spark rdd dataframe flex bison yacc
Language:C 1
skneko / strass
Implementation of the STRategy-based Automatic Safety aSsurance tool (STRASS), an automatic program safety enforcement tool for the Maude programming language
maude safety program-transformation formal-methods rewriting-system
Language:Svelte 0
dickensas / smartlexer
Smart way to replace and transform your source code to a different source code using custom transform template
lexical-analysis lexical-parser migration program-transformation ast code-beautify sql-migration
Language:Mustache
JordyAaldering / paper-flattening-records
Flattening Combinations of Arrays and Records
array-programming program-transformation records single-assignment-c nested-data-structures
Language:TeX