Jiawei Wang (@wangjwchn)
github

wangjwchn

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    1,262
  • Global Rank 24,505 (Top 0.9 %)
  • Followers 64
  • Following 13
  • Registered over 9 years ago
  • Most used languages
    Swift
         40.0 %
    Coq     40.0 %
    C++
         20.0 %
  • Location πŸ‡©πŸ‡ͺ Germany
  • Country Total Rank 3,925
  • Country Ranking
    Coq     11
    Swift
         41
    C++
         7,349

Top repositories

1

AImage

An animated gif & apng engine for iOS in Swift. Have a great performance on memory and cpu usage.
Swift
993
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

BBQ

The official implementation of the block-based bounded queue (BBQ)
C++
2
star
5

coq2smt

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