Paste from your Copy history!
Pure Trait-based Programming on the Java Platform
a DSL for type systems, reduction rules, interpreters for Xtext langs
Small plug-ins for fixing Eclipse bugs or adding some basic features.
Product Backlog Eclipse connector for Mylyn
Eclipse integration for Isabelle proof assistant