-
quaigh Public
Logic circuit analysis and optimization
-
-
moosic-yosys-plugin Public
Yosys plugin for logic locking and supply-chain security
-
volute Public
Implementation of logic function as lookup tables and sum of products
-
gptq Public
Forked from IST-DASLab/gptqCode for the ICLR 2023 paper "GPTQ: Accurate Post-training Quantization of Generative Pretrained Transformers".
Python Apache License 2.0 UpdatedJun 2, 2024 -
yosys Public
Forked from YosysHQ/yosysYosys Open SYnthesis Suite
C++ ISC License UpdatedApr 9, 2024 -
Highs-solver Public
Forked from ERGO-Code/HiGHSLinear optimization software
C++ MIT License UpdatedMar 12, 2024 -
-
-
locked-tapeout Public
Logic locking of a design build on TinyTapeout
-
rustsat Public
Forked from chrjabs/rustsatThis 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 u…
Rust MIT License UpdatedJan 7, 2024 -
torchSR Public
Super Resolution datasets and models in Pytorch
-
1DTransport Public
Efficient algorithm for the 1D transportation problem
-
Coriolis Public
Forked from lip6/coriolisCoriolis VLSI EDA Tool (LIP6)
-
-
alliance-check-toolkit Public
Forked from lip6/alliance-check-toolkitTutorial, examples and regression tests for Coriolis & Alliance (LIP6)
-
InteriorPointTransportation Public
Fast interior-point algorithm for the transportation problem
Python MIT License UpdatedJan 14, 2023 -
-
naja Public
Forked from najaeda/najaStructural Netlist API (and more) for EDA post synthesis flow development
C++ Apache License 2.0 UpdatedAug 7, 2022 -
-
kahypar Public
Forked from kahypar/kahyparKaHyPar (Karlsruhe Hypergraph Partitioning) is a multilevel hypergraph partitioning framework providing direct k-way and recursive bisection based partitioning algorithms that compute solutions of …
C++ GNU General Public License v3.0 UpdatedMay 10, 2022 -
-
overparam Public
Over-parameterization of linear and convolution layers in Pytorch
-
-
-
-
-
-
Roadef2018 Public
Glass cutting algorithm for the ROADEF 2018 challenge
-
{{ message }}