Projects in Awesome Lists tagged with program-transformations
A curated list of projects in awesome lists tagged with program-transformations .
https://github.com/namin/lambdajam
Workshop on Program Transformations
program-transformations scheme workshop
Last synced: 24 Jan 2026
https://github.com/mmottl/fun-trans
A framework for automated transformation of functional programs (e.g. partial evaluation, common subexpression elimination, etc.) written in LambdaProlog.
higher-order-logic monads program-transformations prolog
Last synced: 09 Oct 2025
https://github.com/okue/gd
DSL: automatic derivation of greedy algorithm and dynamic programming
dynamic-programming greedy-algorithm haskell program-transformations smt-solver
Last synced: 15 Jul 2025
