Skip to content
View Chenguang-Zhu's full-sized avatar
🎯
Focusing
🎯
Focusing
31 followers · 19 following

Organizations

@seahorn @facebookresearch @UT-SE-Research

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.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. 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.8k 218

  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 689 67

  3. seahorn/seahorn seahorn/seahorn Public

    SeaHorn Verification Framework

    C 457 130

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

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

    C 22 8

  5. DocCon DocCon Public

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

    Shell 5 2