Skip to content
View shaobo-he's full-sized avatar
💭
I may be slow to respond.
💭
I may be slow to respond.
21 followers · 28 following

Achievements

Achievement: Public SponsorAchievement: YOLOAchievement: Pull Sharkx3Achievement: Arctic Code Vault Contributor
BetaSend feedback

Achievements

Achievement: Public SponsorAchievement: YOLOAchievement: Pull Sharkx3Achievement: Arctic Code Vault Contributor
BetaSend feedback
Block or Report

Block or report shaobo-he

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. smackers/smack smackers/smack Public

    SMACK Software Verifier and Verification Toolchain

    C 425 82

  2. michael-emmi/ct-fuzz michael-emmi/ct-fuzz Public archive

    C++ 9

  3. leetcode.hs leetcode.hs Public

    Selected leetcode problem solutions in Functional Programming Languages

    Racket 2

  4. monadius/dafny_examples monadius/dafny_examples Public

    Experiments with Dafny

    Dafny 4 1

  5. soarlab/OL1V3R soarlab/OL1V3R Public

    OL1V3R: solving floating-point constraints via stochastic local search

    Racket 1