Coloquinte

torchSR

Super Resolution datasets and models in Pytorch

Coloquinte_placement

An analytical VLSI placer

quaigh

Logic circuit analysis and optimization

moosic-yosys-plugin

Yosys plugin for logic locking and supply-chain security

PlaceRoute

VLSI placement and routing tool

volute

Implementation of logic function as lookup tables and sum of products

minipart

Graph and hypergraph partitioner

overparam

Over-parameterization of linear and convolution layers in Pytorch

alliance-check-toolkit

Tutorial, examples and regression tests for Coriolis & Alliance (LIP6)

Coriolis

Coriolis VLSI EDA Tool (LIP6)

locked-tapeout

Logic locking of a design build on TinyTapeout

LogicBenchmarks

All logic benchmarks in one place

minipart2

All-purpose hypergraph partitioning tool

Roadef2018

Glass cutting algorithm for the ROADEF 2018 challenge

sleekit

Bag of Tricks for NN Quantization

umo

An efficient, easy to use optimization modeler

1DTransport

Efficient algorithm for the 1D transportation problem

gptq

Code for the ICLR 2023 paper "GPTQ: Accurate Post-training Quantization of Generative Pretrained Transformers".

Hashcode2019

Highs-solver

Linear optimization software

InteriorPointTransportation

Fast interior-point algorithm for the transportation problem

kahypar

KaHyPar (Karlsruhe Hypergraph Partitioning) is a multilevel hypergraph partitioning framework providing direct k-way and recursive bisection based partitioning algorithms that compute solutions of very high quality.

Lemon

Mirror of https://lemon.cs.elte.hu/trac/lemon

naja

Structural Netlist API (and more) for EDA post synthesis flow development

PlaceRouteBenchmarks

VLSI placement and routing benchmarks

Roadef2020

rustsat

This library aims to provide implementations of elements commonly used in the development on software in the area of satisfiability solving. The focus of the library is to provide as much ease of use without giving up on performance.

sparsenn

stackexchange-fun

yosys

Yosys Open SYnthesis Suite