Coloquinte

Coloquinte's Stars

• NTU-LaDS-II/FAN_ATPG

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

  Language:Verilog759

• Coloquinte/sleekit

  Bag of Tricks for NN Quantization

  Language:Python1

• leventaksoy/KRATT

  A Removal and Structural Analysis Attack

  31

• spencerkent/generalized-lloyd-quantization

  An implementation of the Generalized Lloyd method for vector quantization

  Language:Python317

• sarah-ek/faer-rs

  Linear algebra foundation for the Rust programming language

  Language:Rust1.8k58

• DfX-NYUAD/GNNUnlock

  Language:Perl146

• jix/sortnetopt

  Lower Size Bounds for Sorting Networks

  Language:Isabelle43

• nbonneel/spot

  SPOT: Sliced Partial Optimal Transport

  Language:C++6110

• alexander-nadel/intel_sat_solver

  This repository contains the code of Intel(R) SAT Solver (IntelSAT)

  Language:C++246

• Coloquinte/LogicBenchmarks

  All logic benchmarks in one place

  Language:Shell1

• amaranth-lang/amaranth

  A modern hardware definition language and toolchain based on Python

  Language:Python1.5k168

• Coloquinte/locked-tapeout

  Logic locking of a design build on TinyTapeout

  Language:Verilog1

• ERGO-Code/HiGHS

  Linear optimization software

  Language:C++913170

• rust-or/highs

  Safe rust bindings to the Highs MILP Solver.

  Language:Rust2011

• rust-or/highs-sys

  Rust binding for the HiGHS linear programming solver

  Language:Rust1013

• chrjabs/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.

  Language:Rust107

• Coloquinte/volute

  Implementation of logic function as lookup tables and sum of products

  Language:Rust5

• Coloquinte/quaigh

  Logic circuit analysis and optimization

  Language:Rust271

• Coloquinte/moosic-yosys-plugin

  Yosys plugin for logic locking and supply-chain security

  Language:C++202

• orium/cargo-rdme

  Cargo command to create the README.md from your crate's documentation

  Language:Rust1265

• QDucasse/gigue

  🕺 Interpretation loop and JIT code generator to benchmark RISC-V isolation mechanisms

  Language:Python51

• CryptoExperts/IronMask

  Language:C62

• UncombedCoconut/cat_solver

  Rust bindings for the Kissat SAT Solver

  Language:Rust3

• arminbiere/kissat

  Language:C43579

• lip6/alliance-check-toolkit

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

  Language:Python72

• lip6/coriolis

  Coriolis VLSI EDA Tool (LIP6)

  Language:C++475

• OpenTimer/OpenTimer

  A High-performance Timing Analysis Tool for VLSI Systems

  Language:Verilog549144

• PKU-DAIR/open-box

  Generalized and Efficient Blackbox Optimization System

  Language:Python36752

• Coloquinte/PlaceRoute

  VLSI placement and routing tool

  Language:C++121

• kahypar/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.

  Language:C++41690