Skip to content
View MingfeiYu's full-sized avatar
2 followers · 0 following
  • EPFL
  • Lausanne, Switzerland

Achievements

Achievement: Pull Shark

Achievements

Achievement: Pull Shark

Block or report MingfeiYu

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

  • mockturtle Public

    Forked from lsils/mockturtle

    C++ logic network library

    C++ 1 MIT License Updated Sep 24, 2024

  • Lobster Public

    Forked from dklee0501/Lobster

    Lobster

    C 1 MIT License Updated Dec 29, 2023

  • Cingulata Public

    Forked from CEA-LIST/Cingulata

    Cingulata (pronounced "tchingulata") is a compiler toolchain and RTE for running C++ programs over encrypted data by means of fully homomorphic encryption techniques.

    C++ Other Updated Dec 20, 2023

  • tfhe Public

    Forked from tfhe/tfhe

    TFHE: Fast Fully Homomorphic Encryption Library over the Torus

    C++ Other Updated Dec 19, 2023

  • z3 Public

    Forked from Z3Prover/z3

    The Z3 Theorem Prover

    C++ Other Updated Nov 17, 2023

  • kissat Public

    Forked from arminbiere/kissat
    C MIT License Updated Nov 15, 2023

  • abc Public

    Forked from berkeley-abc/abc

    ABC: System for Sequential Logic Synthesis and Formal Verification

    C Other Updated Apr 28, 2022

  • MingfeiYu.github.io Public

    A master student pursuing high computing performance of modern deep learning implementations

    Updated Oct 26, 2021

  • kitty Public

    Forked from EPFL-CS-472/kitty

    C++ truth table library

    C MIT License Updated Sep 17, 2021

  • Spinal-bootcamp Public

    Forked from jijingg/Spinal-bootcamp

    SpinalHDL-tutorial based on Jupyter Notebook

    Jupyter Notebook Updated Sep 2, 2021

  • MPCircuits Public

    Forked from sadeghriazi/MPCircuits

    Optimized Circuit Generation for Secure Multiparty Computation

    Verilog Updated Nov 25, 2019