Skip to content
View boqwxp's full-sized avatar
2 followers · 12 following

Achievements

Achievement: Pull Sharkx2

Achievements

Achievement: Pull Sharkx2

Block or report boqwxp

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

  • yosys Public

    Forked from YosysHQ/yosys

    Yosys Open SYnthesis Suite

    C++ ISC License Updated Jul 22, 2020

  • yosys-tests Public

    Forked from YosysHQ/yosys-tests

    Collection of test cases for Yosys

    Verilog Updated Jul 1, 2020

  • boqwxp.github.io Public

    HTML Updated May 29, 2020

  • contact Public

    A repository solely for you to file issues with GPG-encrypted messages in order to signal that you would like to communicate with me and why

    Updated May 29, 2020

  • yosys-examples Public

    SMT Updated May 27, 2020

  • yices2 Public

    Forked from SRI-CSL/yices2

    The Yices SMT Solver

    SMT GNU General Public License v3.0 Updated May 14, 2020

  • caqe Public

    Forked from ltentrup/caqe

    CAQE is a solver for quantified Boolean formulas

    Rust Updated May 13, 2020

  • dynamatic Public

    Forked from lana555/dynamatic
    C++ MIT License Updated May 12, 2020

  • firrtl Public

    Forked from chipsalliance/firrtl

    Flexible Intermediate Representation for RTL

    Scala Updated May 11, 2020

  • yices-bug Public

    SMT Updated May 11, 2020

  • pysmt Public

    Forked from pysmt/pysmt

    pySMT: A library for SMT formulae manipulation and solving

    Python Apache License 2.0 Updated May 5, 2020

  • quabs Public

    Forked from ltentrup/quabs

    QuAbS is a circuit-based QBF solver

    C Updated Apr 8, 2020

  • chisel3 Public

    Forked from chipsalliance/chisel

    Chisel 3: A Modern Hardware Design Language

    Scala Updated Apr 1, 2020

  • depqbf Public

    Forked from lonsing/depqbf

    DepQBF, a solver for quantified boolean formulae (QBF).

    C GNU General Public License v3.0 Updated Jul 3, 2019

  • qbm Public

    Forked from preusser/qbm

    Quantified Boolean Matching

    C++ GNU Affero General Public License v3.0 Updated Dec 22, 2016

  • synudic Public

    Forked from ashishxtiwari/synudic
    Python Updated Sep 15, 2016