Skip to content

@YosysHQ Yosys Headquarters

Change the repository type filter

All

    Repositories list

    42 repositories

    • nextpnr

      Public
      nextpnr portable FPGA place and route tool
      C++
      •
      ISC License
      •286•1.6k•114•15•Updated Feb 21, 2026Feb 21, 2026

    • oss-cad-suite-build

      Public
      Multi-platform nightly builds of open source digital design and verification tools
      Shell
      •
      ISC License
      •110•1.4k•78•7•Updated Feb 21, 2026Feb 21, 2026

    • yosys

      Public
      Yosys Open SYnthesis Suite
      C++
      •
      ISC License
      •1k•4.3k•492•92•Updated Feb 20, 2026Feb 20, 2026

    • eqy

      Public
      Equivalence checking with Yosys
      C++
      •
      Other
      •10•58•21•1•Updated Feb 20, 2026Feb 20, 2026

    • test-actions

      Public
      C++
      •
      ISC License
      •0•0•0•1•Updated Feb 20, 2026Feb 20, 2026

    • apicula

      Public
      Project Apicula 🐝: bitstream documentation for Gowin FPGAs
      Verilog
      •
      MIT License
      •85•632•22•5•Updated Feb 20, 2026Feb 20, 2026

    • sby

      Public
      SymbiYosys (sby) -- Front-end for Yosys-based formal verification flows
      Python
      •
      Other
      •89•491•43•9•Updated Feb 18, 2026Feb 18, 2026

    • abc

      Public
      ABC: System for Sequential Logic Synthesis and Formal Verification
      C
      •
      Other
      •724•32•0•2•Updated Feb 11, 2026Feb 11, 2026

    • prjpeppercorn

      Public
      Project Peppercorn - GateMate FPGA Bitstream Documentation
      Python
      •
      ISC License
      •3•33•0•2•Updated Feb 11, 2026Feb 11, 2026

    • prjpeppercorn-test-cases

      Public
      Project Peppercorn GateMate Test Cases
      Verilog
      •
      ISC License
      •7•13•0•0•Updated Feb 10, 2026Feb 10, 2026

    • mcy

      Public
      Mutation Cover with Yosys (MCY)
      C++
      •
      ISC License
      •14•91•1•1•Updated Feb 4, 2026Feb 4, 2026

    • furo-ys

      Public
      A clean customizable documentation theme for Sphinx
      Sass
      •
      MIT License
      •371•1•0•0•Updated Jan 19, 2026Jan 19, 2026

    • VlogHammer

      Public
      A Verilog Synthesis Regression Test
      Shell
      •
      ISC License
      •12•37•0•3•Updated Jan 19, 2026Jan 19, 2026

    • riscv-formal

      Public
      RISC-V Formal Verification Framework
      Verilog
      •
      ISC License
      •44•178•7•3•Updated Jan 19, 2026Jan 19, 2026

    • prjtrellis

      Public
      Documenting the Lattice ECP5 bit-stream format.
      Python
      •
      Other
      •97•445•37•14•Updated Oct 27, 2025Oct 27, 2025

    • sby-gui

      Public
      GUI for SymbiYosys
      C++
      •
      ISC License
      •5•17•7•1•Updated Oct 13, 2025Oct 13, 2025

    • nerv

      Public
      Naive Educational RISC V processor
      SystemVerilog
      •
      Other
      •17•94•2•1•Updated Oct 12, 2025Oct 12, 2025

    • icestorm

      Public
      Project IceStorm - Lattice iCE40 FPGAs Bitstream Documentation (Reverse Engineered)
      Python
      •
      ISC License
      •237•1.1k•48•20•Updated Sep 22, 2025Sep 22, 2025

    • prjtrellis-db

      Public
      Project Trellis database
      Creative Commons Zero v1.0 Universal
      •13•14•0•1•Updated Sep 15, 2025Sep 15, 2025

    • scy

      Public
      Sequence of Covers with Yosys
      SystemVerilog
      •
      Other
      •1•6•1•0•Updated Sep 4, 2025Sep 4, 2025

    • rtlil-mlir

      Public
      Yosys RTLIL dialect for MLIR
      C++
      •
      ISC License
      •1•22•1•0•Updated Jun 12, 2025Jun 12, 2025

    • mau

      Public
      Modular Application Utilities
      Python
      •
      ISC License
      •3•5•1•0•Updated Feb 12, 2025Feb 12, 2025

    • imctk

      Public
      Incremental Model Checking Toolkit
      Rust
      •
      Other
      •2•11•41•1•Updated Jan 30, 2025Jan 30, 2025

    • nextpnr-tests

      Public
      Verilog
      •
      ISC License
      •6•7•2•2•Updated Jan 16, 2025Jan 16, 2025

    • yosyshq.github.io

      Public
      www.yosyshq.net
      HTML
      •1•4•0•0•Updated Oct 7, 2024Oct 7, 2024

    • yosys-web

      Public
      Yosys Web Page
      HTML
      •6•2•1•0•Updated Oct 7, 2024Oct 7, 2024

    • picorv32

      Public
      PicoRV32 - A Size-Optimized RISC-V CPU
      Verilog
      •
      ISC License
      •898•4k•67•15•Updated Jun 27, 2024Jun 27, 2024

    • setup-oss-cad-suite

      Public
      Set up your GitHub Actions workflow with a OSS CAD Suite
      TypeScript
      •
      ISC License
      •3•16•4•1•Updated Mar 21, 2024Mar 21, 2024

    • padring

      Public
      A padring generator for ASICs
      asicedachipvlsiyosys
      C++
      •
      ISC License
      •12•25•2•1•Updated May 17, 2023May 17, 2023

    • .github

      Public
      0•0•0•0•Updated Apr 4, 2023Apr 4, 2023