Eclipse Xtext
With Xtext you can easily create your own programming languages and domain-specific languages (DSLs). The framework supports the development of language infrastructures including...
An IDE for modelling, verification of security protocols and automatic generation of Java implementation.
With Xtext you can easily create your own programming languages and domain-specific languages (DSLs). The framework supports the development of language infrastructures including...
This plug-in adds support for editing Protelis (.pt) files from within Eclipse, with syntax check, highlighting, and code suggestions. The goal of the Protelis language is to make...