PSP-UFU (Power Systems Platform of Federal University of Uberlândia) is a cross-platform, multilingual, Free and Open-Source Software with advanced GUI features and CAD tools for electrical power system studies.
AdaCAD is a free/open-source tool for designing weave drafts for frame as well as Jacquard style looms. It has specific support for techniques (such as using supplemental weft systems and visualizing yarn paths) that are aimed at supporting the integration of circuitry into textile structures. At the same time, it also supports more general features for creating woven drafts that can integrate with other design platforms such as those producing .WIF files or photoshop.
A standalone React.js/Redux based web application for the design and visualization of atomistic materials structures. Used within the Exabyte.io platform and can be deployed in standalone mode.
Materials Design in Javascript (made.js). A JavaScript (Node) library allowing for the creation and manipulation of material structures from atoms up on the web.
OmegaThreads constructs automatically correct-bu-construction controllers for dynamical systems to satisfy Omega-regular specifications given as discrete parity automata (DPA) or linear temporal logic (LTL) formulae. It constructs a symbolic model of the system and combine it with the specification into a parity game. Winning the parity game results into a closed-loop controller that enforces the specification on the system. The controller is generated as a Mealy machine. A Python interface and a 2d simulator are provided.
Web-based Atomic Viewer by Exabyte. A JavaScript library for 3D atomic visualization and editing enabling the manipulation of material structures from atoms up on the web.