Design and Verification Tools (DVT) is an integrated development environment (IDE) for the design and verification engineers working with SystemVerilog, Verilog, VHDL, e Language...
An IDE for modelling, verification of security protocols and automatic generation of Java implementation.
Zip, Unzip, verify, manage, view, and edit EULUMDAT and IES files EULUMDAT is the European standard for photometric data used by all major lighting design programs IES is the IESNA...
Xtend is a statically-typed programming languages for Java developers. It leverages Java's typesystem and reuses its syntax as far as possible, but cuts down the amount of...
With Xtext you can easily create your own programming languages and domain-specific languages (DSLs). The framework supports the development of language infrastructures including...
Integrates multiple decompilers (Fernflower, Vineflower, Procyon, CFR, JD-Core v0 and v1, JADX) https://github.com/nbauma109/ecd
S(imple) U(ML)-statemodeler enables you to develop state-based software systems with only little programming effort. The application is easy to use and does not require any...
Enhanced Class Decompiler integrates CFR, FernFlower, JD, Procyon, Vineflower seamlessly with Eclipse and allows Java developers to debug class files without source code directly...