Skip to content
View shafiul's full-sized avatar
💭
Research Scientist, Software Engineer
💭
Research Scientist, Software Engineer

Organizations

@bsadd @playnow

Block or report shafiul

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

Pinned Loading

  1. verivital/slsf_randgen verivital/slsf_randgen Public

    Automatically finding bugs in Matlab/Simulink compiler tool chain using randomized differential testing

    MATLAB 15 10

  2. slemi slemi Public

    SLEMI: Finding Compiler Bugs in Simulink via Equivalence Modulo Input (EMI)

    MATLAB 10 2

  3. Hyper-personal-Analytics Hyper-personal-Analytics Public

    1

  4. N-Puzzle-Z3 N-Puzzle-Z3 Public

    Test case generation of classic N-Puzzle game using Z3

    Python 1

  5. phpizza phpizza Public

    PHPizza is now being maintained as "Swadhin Framework"

    PHP 3 3

  6. logging4matlab logging4matlab Public

    Forked from optimizers/logging4matlab

    Simple Logging Module for Matlab

    MATLAB 1