Parameterized verification framework (PCells, DRC, LVS) for Superconducting and Quantum Electronics.

Coriolis VLSI EDA Tool (LIP6)

FPGA synthesis tool powered by program synthesis

An awesome list of e-graph resources

Boolean Logic Minimization using Graph Attention Network

A curated list of resources for using LLMs to develop more competitive grant applications.

Deep and conventional community detection related papers, implementations, datasets, and tools.

Open Circuit Benchmark OCB and source code for CktGNN (https://openreview.net/forum?id=NE2911Kq1sp).

[NeurIPS 2023] DeepACO: Neural-enhanced Ant Systems for Combinatorial Optimization

Fully Open Source FASOC generators built on top of open-source EDA tools

Open-source repository for a standard-cell library characterizer using complete open-source tools

Graph Learning with Generative Pretrained Transformers

Productive, portable, and performant GPU programming in Python.

PEDA - Python Exploit Development Assistance for GDB

PDK installer for open-source EDA tools and toolchains. Distributed with setups for the SkyWater 130nm and Global Foundries 180nm open processes.

MQT DDSIM - A quantum circuit simulator based on decision diagrams written in C++

ASTRAN - Automatic Synthesis of Transistor Networks

FAN (fan-out-oriented) ATPG (Automatic Test Pattern Generation) and Fault Simulation command line tool

code for our CVPR 2020 paper "PQ-NET: A Generative Part Seq2Seq Network for 3D Shapes"

GLARE: Accelerating Sparse DNN Inference Kernels with Global Memory Access Reduction

SNICIT: Accelerating Sparse Neural Network Inference via Compression at Inference Time on GPU

GPU-based logic synthesis tool

This is an official implementation for "DeepGate: Learning Neural Representations of Logic Gates".