This shows you the differences between two versions of the page.
development [2018/03/04 02:53] |
development [2019/10/06 20:37] (current) |
||
---|---|---|---|
Line 1: | Line 1: | ||
+ | ====== Development ====== | ||
+ | ==== Tooling ==== | ||
+ | |||
+ | * [[JCT]] | ||
+ | * [[MODEC]] | ||
+ | * [[PADL]] | ||
+ | * [[PADL Analyses]] | ||
+ | * [[POM]] | ||
+ | * [[Ptidej Solver]] | ||
+ | * [[Ptidej UI]] | ||
+ | * [[Ptidej UI Viewer]] | ||
+ | |||
+ | |||
+ | ==== Other Interesting Concepts ==== | ||
+ | |||
+ | * [[Dirty Hack]] | ||
+ | * [[Fragile Code]] | ||
+ | * [[Historical Reason]] | ||
+ | |||
+ | ==== Other Pages of Interest ==== | ||
+ | |||
+ | * [[FAQ|FAQ General]] | ||
+ | * [[POM FAQ|FAQ POM]] |