computer-aided-design

A High-performance Timing Analysis Tool for VLSI Systems

build BREP Solids with OpenCascade and NodeJS - 3D Modeling

DWSIM is a Steady-State and Dynamic Sequential Modular Chemical Process Simulator for Windows, Linux and macOS.

Python bindings for OpenCASCADE via pybind11.

code for our ICCV 2021 paper "DeepCAD: A Deep Generative Network for Computer-Aided Design Models"

A flexible framework for analyzing and transforming FPGA netlists. Official repository.

A Standalone Structural Verilog Parser

A Fast C++ Header-only Parser for Standard Parasitic Exchange Format (SPEF).

Airframe Finite Element Modeler

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 parametric design tool creating and arranging woven structures with a draft. While useful for all kinds of looms, it has been developed in close connection with complex weavers as well as issues for integrating functional components into textile structures

Read DNA sequences from colourful Microsoft Word documents

Generating knitting instructions with short-rows shaping

Glioblastoma Surgery Imaging - Reporting And Data System (GSI-RADS).

🏓 A Ping Pong game written in VHDL with VGA support

A standalone React.js/Redux based web application for the design and visualization of atomistic materials structures. Used at Mat3ra.com and can be deployed in standalone mode.

SiQAD graphical user interface for designing atomic silicon quantum dot assemblies.

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 res…

Ada program that draws a Bezier curve and allows to manipulate it.