GitHub repository: ChathuraSam/JADE-ARIA
Description: JADE extensions developed at first ARIA Hackathon (http://www.aria-romania.org/en/community/63-aria-hackaton-1)