stb single-file public domain libraries for C/C++

GoodbyeDPI — Deep Packet Inspection circumvention utility (for Windows)

A native, user-mode, multi-process, graphical debugger.

Simple Dynamic Strings library for C

Single-file public domain libraries for C/C++

ABC: System for Sequential Logic Synthesis and Formal Verification

METIS - Serial Graph Partitioning and Fill-reducing Matrix Ordering

A dynamic array implementation in C similar to the one found in standard C++

VHDL compiler and simulator

gb single-file public domain libraries for C & C++

Embedded Scalable Platforms: Heterogeneous SoC architecture and IP integration made easy

A Python wrapper around Metis, a graph partitioning package

Netgen complete LVS tool for comparing SPICE or verilog netlists

Gamora: Graph Learning based Symbolic Reasoning for Large-Scale Boolean Networks (DAC'23)

Mirror of tachyon-da cvc Verilog simulator

A C systems toolkit where ownership is part of the API: explicit copy/move/delete semantics and data-oriented utilities.

A verilog parser

Static Timing Analyser (LIP6)

The published IEEE paper tells about the basic details of this project

Novel placement algorithm for 3-D FPGAs based on Ant Colony Optimization