GitHub repository: kuznia-rdzeni/amaranth-stubs
Primary language: Python
Description: Type stubs for Amaranth