Pinned Repositories
awesome-ios
A curated list of awesome iOS ecosystem, including Objective-C and Swift Projects
AImage
An animated gif & apng engine for iOS in Swift. Have a great performance on memory and cpu usage.
autogr
Released code for the paper: Automated Geo-Replication with Fast System Performance and Preserved Application Semantics (VLDB'21)
BBQ
The official implementation of the block-based bounded queue (BBQ)
coq2smt
Released code for the paper: Formalizing SPARCv8 Instruction Set Architecture in Coq (SCP'20)
genmc
Generic model checker for concurrent C programs
MetalAcc
GPU-based media processing library using Metal written in Swift
scal
High-performance multicore-scalable data structures and benchmarks
sparcv8-coq
Released code for the paper: Formalizing SPARCv8 Instruction Set Architecture in Coq (SETTA'17)
wangjwchn.github.io
https://wangjwchn.github.io
wangjwchn's Repositories
wangjwchn/AImage
An animated gif & apng engine for iOS in Swift. Have a great performance on memory and cpu usage.
wangjwchn/MetalAcc
GPU-based media processing library using Metal written in Swift
wangjwchn/sparcv8-coq
Released code for the paper: Formalizing SPARCv8 Instruction Set Architecture in Coq (SETTA'17)
wangjwchn/BBQ
The official implementation of the block-based bounded queue (BBQ)
wangjwchn/coq2smt
Released code for the paper: Formalizing SPARCv8 Instruction Set Architecture in Coq (SCP'20)
wangjwchn/autogr
Released code for the paper: Automated Geo-Replication with Fast System Performance and Preserved Application Semantics (VLDB'21)
wangjwchn/genmc
Generic model checker for concurrent C programs
wangjwchn/scal
High-performance multicore-scalable data structures and benchmarks
wangjwchn/wangjwchn.github.io
https://wangjwchn.github.io