PyPI Stats
  • Insights
  • PyPI
  • GitHub
  • Search
  • Compare
  • Advisories
  • Ecosystem
  • About
Home

Search Packages

Find Python packages by name, description, GitHub topic, or filter by metrics
sagikimhi
socx-cli

Unified command-line tool for EDA development teams to streamline common tasks and tools, and unify them under a single configurable CLI menu to increase accessibility and transparency of tools and scripts in collaborative development environments.

2K 0 1
cristian-mattarei
cosa

CoreIR Symbolic Analyzer

1K 75 18
dobios
btor2-opt

Btor2 parser, circuit mitter, and code optimizer

381 11 6
LogicX-Tatsu
rvgen

Pure-Python RISC-V instruction generator with built-in functional coverage, auto-regression, and CI-ready dashboards.

344 1 0
aebeljs
verlpy

VeRLPy is an open-source python library developed to improve the digital hardware verification process by using Reinforcement Learning (RL). It provides a generic Gym environment implementation for building cocotb-based testbenches for verifying any hardware design.

59 31 4
    • Data from PyPI, GitHub, ClickHouse, and BigQuery