Dresden

Jiawei Wang

Expert
@wangjwchn
wangjwchn.github.io/

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

976

MetalAcc. GPU-based media processing library using Metal written in Swift

260

sparcv8-coq. Released code for the paper: Formalizing SPARCv8 Instruction Set Architecture in Coq (SETTA'17)

6

BBQ. The official implementation of the block-based bounded queue (BBQ)

5

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

2
5
Apply