Skip to content
View Chenguang-Zhu's full-sized avatar
🎯
Focusing
🎯
Focusing

Highlights

  • Pro

Block or report Chenguang-Zhu

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. Instagram/LibCST Instagram/LibCST Public

    A concrete syntax tree parser and serializer library for Python that preserves many aspects of Python's abstract syntax tree

    Python 1.6k 192

  2. Instagram/Fixit Instagram/Fixit Public

    Advanced Python linting framework with auto-fixes and hierarchical configuration that makes it easy to write custom in-repo lint rules.

    Python 673 65

  3. seahorn/seahorn seahorn/seahorn Public

    SeaHorn Verification Framework

    C 442 130

  4. GaloisInc/LinearArbitrary-SeaHorn GaloisInc/LinearArbitrary-SeaHorn Public

    LinearArbitrary-SeaHorn is a CHC solver for LLVM-based languages.

    C 21 8

  5. DoSC DoSC Public

    DoSC is a dataset for benchmarking software analysis techniques that dynamically discover semantic changes.

    Python 4 1

  6. DocCon DocCon Public

    DocCon is an automated tool for identifying Solidity smart contract API documentation errors

    Shell 3 2