An open API service providing repository metadata for many open source software ecosystems.

GitHub topics: program-transformation

comby-tools/comby

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

Language: OCaml - Size: 1.82 MB - Last synced at: 4 days ago - Pushed at: about 2 months ago - Stars: 2,483 - Forks: 64

noprompt/meander

Tools for transparent data transformation

Language: Clojure - Size: 3.05 MB - Last synced at: 3 days ago - Pushed at: over 1 year ago - Stars: 948 - Forks: 55

statycc/loop-fission

Benchmarks of loop fission algorithm.

Language: C - Size: 704 KB - Last synced at: 17 days ago - Pushed at: 18 days ago - Stars: 5 - Forks: 0

rshariffdeen/FixMorph

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

Language: Python - Size: 156 MB - Last synced at: about 1 month ago - Pushed at: about 2 months ago - Stars: 32 - Forks: 9

AgriculturalModelExchangeInitiative/PyCrop2ML

CropML Python library

Language: Python - Size: 68.3 MB - Last synced at: about 10 hours ago - Pushed at: 3 months ago - Stars: 19 - Forks: 18

m-zakeri/CodART

Source Code Automated Refactoring Toolkit

Language: Python - Size: 63.1 MB - Last synced at: about 1 month ago - Pushed at: 3 months ago - Stars: 36 - Forks: 59

probcomp/Genify.jl

Automatically convert Julia methods to Gen functions.

Language: Julia - Size: 1.25 MB - Last synced at: 10 days ago - Pushed at: almost 4 years ago - Stars: 47 - Forks: 1

milahu/treepipes

incremental tree transformers

Size: 44.9 KB - Last synced at: about 2 months ago - Pushed at: over 2 years ago - Stars: 2 - Forks: 0

wzh99/GSL

DSL for Computation Graph Substitution in Deep Learning Compilers.

Language: Python - Size: 494 KB - Last synced at: 9 months ago - Pushed at: about 4 years ago - Stars: 5 - Forks: 1

milahu/awesome-transpilers Fork of transpiler/awesome-transpiler

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

Size: 508 KB - Last synced at: 10 months ago - Pushed at: 10 months ago - Stars: 39 - Forks: 6

huitseeker/comby-rust

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

Language: Rust - Size: 44.9 KB - Last synced at: 5 days ago - Pushed at: over 2 years ago - Stars: 33 - Forks: 3

ChrisTimperley/comby-python

Python bindings for Comby

Language: Python - Size: 85.9 KB - Last synced at: 11 days ago - Pushed at: over 1 year ago - Stars: 13 - Forks: 2

lyxell/logifix

Fixing static analysis violations in Java source code using Datalog

Language: C++ - Size: 892 KB - Last synced at: over 1 year ago - Pushed at: over 2 years ago - Stars: 17 - Forks: 0

dvm-system/tsar

TSAR (Traits Static AnalyzeR)

Language: C++ - Size: 3.96 MB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 13 - Forks: 17

xgdsmileboy/GenPat

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

Language: Java - Size: 201 MB - Last synced at: about 1 year ago - Pushed at: almost 3 years ago - Stars: 20 - Forks: 9

trailofbits/tourniquet 📦

A Python library for easy and fast program transformation/repair

Language: Python - Size: 171 KB - Last synced at: 6 days ago - Pushed at: over 3 years ago - Stars: 15 - Forks: 2

dickensas/smartlexer

Smart way to replace and transform your source code to a different source code using custom transform template

Language: Mustache - Size: 564 KB - Last synced at: almost 2 years ago - Pushed at: almost 2 years ago - Stars: 0 - Forks: 0

comby-tools/comby-ui 📦

Try it! https://comby.live

Language: Elm - Size: 209 KB - Last synced at: about 2 years ago - Pushed at: about 2 years ago - Stars: 9 - Forks: 2

pmorvalho/MultIPAs

MultIPAs: Applying Program Transformations to Introductory Programming Assignments for Data Augmentation

Language: C - Size: 365 KB - Last synced at: about 2 years ago - Pushed at: over 2 years ago - Stars: 3 - Forks: 1

dvm-system/sapfor

SAPFOR (System FOR Automated Parallelization)

Language: Perl - Size: 43.9 KB - Last synced at: about 2 years ago - Pushed at: over 2 years ago - Stars: 1 - Forks: 2

skneko/strass

Implementation of the STRategy-based Automatic Safety aSsurance tool (STRASS), an automatic program safety enforcement tool for the Maude programming language

Language: Svelte - Size: 1.29 MB - Last synced at: about 2 years ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0

Related Keywords
program-transformation 21 program-repair 5 program-analysis 4 refactoring 4 c 4 linting 3 parsing 3 search-and-replace 3 syntax-transformation 3 migration 2 comby 2 fortran 2 parallel-programming 2 transpiler 2 source-to-source 2 term-rewriting 2 pattern-matching 2 python 2 java 2 parser-combinators 2 rewriting 2 syntax 2 rust 2 rewriting-system 1 static-analysis 1 datalog 1 syntax-rewriter 1 python-bindings 1 maude 1 translation 1 nsga-iii 1 incremental-evaluation 1 code-translation 1 code-migration 1 graph-substitution 1 domain-specific-language 1 deep-learning 1 computation-graph-optimization 1 low-latency 1 incremental-semantics 1 live-coding 1 automated-parallelization 1 software-engineering 1 programming-assignments 1 program-mutilation 1 program-mutation 1 ipas 1 introductory-programming 1 data-augmentation 1 safety 1 sql-migration 1 semi-automatic-parallelization 1 lexical-parser 1 formal-methods 1 lexical-analysis 1 code-beautify 1 ast 1 llvm 1 clang 1 pattern-mining 1 automatic-debugging 1 machine-learning 1 genetic-algorithm 1 compilers 1 codart 1 antlr 1 crop-model 1 patch-backport 1 loop-optimization 1 dependency-analysis 1 automatic-parallelization 1 unification 1 substitution 1 logic-programming 1 typescript 1 swift 1 regex 1 reason 1 php 1 javascript 1 go 1 incremental-computing 1 incremental-compiler 1 incremental-compilation 1 incremental-codegen 1 incremental 1 hot-reloading 1 hot-reload 1 durchgriff 1 differential-dataflows 1 concept 1 simulation-based-inference 1 probabilistic-programming 1 white-box-compiler 1 testability-improvment 1 testability-analysis 1 testability 1 software-testability 1 software-quality 1 search-based-software-refactoring 1