yowasp
boolector Satisfiability Modulo Theories (SMT) solver
published 3.2.3-6.24 2 months agonextpnr-ecp5 FPGA place and route tool
published 0.8.39-dev.540 3 days agonextpnr-ice40 FPGA place and route tool
published 0.8.39-dev.540 3 days agonextpnr-machxo2 FPGA place and route tool
published 0.8.39-dev.540 3 days agonextpnr-nexus FPGA place and route tool
published 0.8.39-dev.540 3 days agoWebUSB port of openFPGALoader, universal utility for programming FPGA
published 0.12.1-25.43 18 hours agoWaveDrom generates diagrams for digital waveforms, bit fields, and simple combinational circuits
published 3.5.0-8 a month ago