languages

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.

Langium Eclipse Plug-in Editor for the Langium Grammar Language. Supported features: Syntax coloring Cross referencing Content assist Formatting Folding Outline ... and much more...

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...