Skip to content
🤗
coding
🤗
coding

Highlights

  • Pro

Organizations

@uwplse @ustc-lambda

Pinned

  1. BitScope Pubilc Resources

    2 2

  2. SeGuard Public Resources

    HTML 2 2

  3. Experimental Language based on Rust and Haskell

    Haskell 25 2

  4. The collection synthesizer

    Python 190 17

  5. iris-c-coq Archived

    Control-flow based language verification framework

    Coq 7 1

  6. DSL for Semantic-based Pattern Matching of Android/Java Binaries

    Scala 1

680 contributions in the last year

Jul Aug Sep Oct Nov Dec Jan Feb Mar Apr May Jun Mon Wed Fri
Activity overview
Contributed to semantic-graph/seguard-java, izgzhen/liquid, izgzhen/nightly and 5 other repositories
Loading

Contribution activity

July 2020

Seeing something unexpected? Take a look at the GitHub profile guide.

You can’t perform that action at this time.