Pinned Loading

1. keplertech/naja keplertech/naja Public

   Open-source EDA framework for RTL elaboration, netlist analysis, and transformation, with C++ and Python APIs

   Verilog 170 26

2. keplertech/naja-scope keplertech/naja-scope Public

   MCP server for AI agents to explore SystemVerilog, Verilog and VHDL (beta) designs: trace connectivity, walk hierarchy, jump to source - without pasting RTL into context. Built on najaeda.

   Python 22 2

3. keplertech/naja-schematic keplertech/naja-schematic Public

   Portable netlist schematic viewer for the naja data model

   Verilog 5

4. keplertech/kepler-formal keplertech/kepler-formal Public

   Digital Design Equivalence Checking

   C++ 120 14