Skip to content

@Logic-Factory Logic Factory

Change the repository type filter

All

    Repositories list

    8 repositories

    • ACE

      Public
      Verilog
      •2•10•1•0•Updated Jul 21, 2025Jul 21, 2025

    • LogicFactory-hub

      Public
      Logic synthesis integrated system.
      C++
      •5•1•0•1•Updated Jun 26, 2025Jun 26, 2025

    • mockturtle

      Public
      C++ logic network library
      C++
      •
      MIT License
      •150•0•0•0•Updated May 28, 2025May 28, 2025

    • iEDA

      Public
      C++
      •
      Other
      •46•0•0•0•Updated May 28, 2025May 28, 2025

    • LogicFactory

      Public
      Logic Synthesis Platform
      eda
      C++
      •5•8•1•0•Updated Apr 21, 2025Apr 21, 2025

    • abc

      Public
      ABC: System for Sequential Logic Synthesis and Formal Verification
      C
      •
      Other
      •647•0•0•0•Updated Jun 26, 2024Jun 26, 2024

    • yosys

      Public
      Yosys Open SYnthesis Suite
      C++
      •
      ISC License
      •976•0•0•0•Updated Jun 13, 2024Jun 13, 2024

    • lorina

      Public
      C++ parsing library for simple formats used in logic synthesis and formal verification
      C++
      •
      MIT License
      •20•0•0•0•Updated May 30, 2024May 30, 2024