Topic: "program-transformations"
namin/lambdajam
Workshop on Program Transformations
Language: Scheme - Size: 95.7 KB - Last synced at: 1 day ago - Pushed at: almost 2 years ago - Stars: 25 - Forks: 6
petur-a/masters
Developing a type system for a minimal reversible functional language.
Language: TeX - Size: 1020 KB - Last synced at: about 1 year ago - Pushed at: almost 7 years ago - Stars: 7 - Forks: 0
michael-emmi/bam-bam-boogieman 📦
Boogie AST Manipulator
Language: Boogie - Size: 815 KB - Last synced at: 6 days ago - Pushed at: about 3 years ago - Stars: 4 - Forks: 6
mmottl/fun-trans
A framework for automated transformation of functional programs (e.g. partial evaluation, common subexpression elimination, etc.) written in LambdaProlog.
Language: Vim Script - Size: 69.3 KB - Last synced at: 3 months ago - Pushed at: 5 months ago - Stars: 2 - Forks: 0
itu-square/SymexTRON
Symbolic Executor for the High-Level Transformation Language TRON
Language: Scala - Size: 24.6 MB - Last synced at: over 2 years ago - Pushed at: over 8 years ago - Stars: 1 - Forks: 2
okue/GD
DSL: automatic derivation of greedy algorithm and dynamic programming
Language: Haskell - Size: 137 KB - Last synced at: 19 days ago - Pushed at: over 7 years ago - Stars: 0 - Forks: 0
