Skip to content
#

computer-aided-design

Here are 44 public repositories matching this topic...

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.

  • Updated Mar 26, 2021
  • C++

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.

  • Updated Sep 16, 2021
  • TypeScript

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.

  • Updated Sep 10, 2021
  • C++

Improve this page

Add a description, image, and links to the computer-aided-design topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the computer-aided-design topic, visit your repo's landing page and select "manage topics."

Learn more