Skip to content
View shafiul's full-sized avatar
💭
Research Scientist, Software Engineer
💭
Research Scientist, Software Engineer
48 followers · 9 following

Achievements

Achievement: Arctic Code Vault ContributorAchievement: Pull Shark
BetaSend feedback

Achievements

Achievement: Arctic Code Vault ContributorAchievement: Pull Shark
BetaSend feedback

Organizations

@bsadd @playnow
Block or Report

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

  1. verivital/slsf_randgen verivital/slsf_randgen Public

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

    MATLAB 13 10

  2. slemi slemi Public

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

    MATLAB 9 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