Jiawei Wang (@wangjwchn)
github

wangjwchn

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    1,262
  • Global Rank 24,441 (Top 0.9 %)
  • Followers 61
  • Following 12
  • Registered about 9 years ago
  • Most used languages
    Swift
         50.0 %
    Coq     50.0 %
  • Location 🇩🇪 Germany
  • Country Total Rank 3,925
  • Country Ranking
    Coq     9
    Swift
         41

Top repositories

1

AImage

An animated gif & apng engine for iOS in Swift. Have a great performance on memory and cpu usage.
Swift
995
star
2

MetalAcc

GPU-based media processing library using Metal written in Swift
Swift
259
star
3

sparcv8-coq

Released code for the paper: Formalizing SPARCv8 Instruction Set Architecture in Coq (SETTA'17)
Coq
6
star
4

coq2smt

Released code for the paper: Formalizing SPARCv8 Instruction Set Architecture in Coq (SCP'20)
Coq
2
star