PEP is a modeling and verification framework for parallel systems. It provides a large number of different modelling languages (e.g. SDL, B(PN)^2, Petri nets, Process algebras and Finite Automata), and verification techniques (e.g. reachability and temporal logic model checking). Due to its Tcl/Tk-based GUI, PEP is easily extensible to other analysis or specification tools. The framework offers fully integrated simulation and debugging features on all levels.
DiaCanvas is a generalized version of the drawing canvas used by DIA. It extends some features used by DIA and adds new ones, while preserving as many of the original features as possible. This project is no longer actively maintained. It is suggested that you try DiaCanvas2 instead.
LinkCAD is an all-in-one converter for AutoCAD DXF, Gerber RS274X, Calma GDS-II, CIF, PostScript, IE3D, TLC, and more. LinkCAD allows you to convert your mask or PCB layout between all the supported formats. Typical users are layout designers in the electronics industry, and mask designers for micro-technology applications.
Salut is a small program that performs calculations on simple networks around two-port devices (like transistors) characterized by s-parameters, at radio frequencies (RF). It has the ability to model components in series with a two-port block, like an inductance from the common lead to ground. Salut is also not restricted to the usual common emitter or common source configuration even though many semiconductor manufacturers only provide s-parameters for this case.