Pyro: web-based modeling environments

Pyro is a framework for enabling domain-specific modeling via the internet. Provided with an adequate metamodel specification, Pyro turns your browser into a collaborative, domain-specific, graphical development environment with features reminiscent of desktop IDEs for textual programming languages. The required metamodeling is supported in a high-level, simplicity-driven fashion, and the entire ready-to-run browser-based domain-specific development environment is generated fully automatically.

Pyro Logo

Pyro: web-based modeling environments

Visit Webiste


The Java Library for Algebraic Decision Diagrams

With the ADD-Lib we introduce a powerful framework for Decision Diagrams to the Java world. Its core bases on the CUDD library [1] – the de facto standard for decision diagrams. With the ADD-Lib we bring its extensive functionality to the Java world. We introduce type safety and substantial support varying Custom Algebraic Structures. Whether you are interested in fuzzy logic decision diagrams or decision diagrams over permutation groups, with the ADD-Lib you can easily lift your algebraic structure to decision diagrams.

ADD-Lib Logo

The Java Library for Algebraic Decision Diagrams, Code Generation, and Layouting.

Visit Webiste


References

[1] F. Somenzi, “CUDD: CU Decision Diagram Package”, vlsi.colorado.edu/~fabio/, 2018.