wangjwchn

Dresden

Pinned Repositories

SwiftGuide
Swift Featured Projects in brain Mapping
Language:Swift16k 1.5k 273.6k
mimalloc
mimalloc is a compact general purpose allocator with excellent performance.
Language:C9.6k 159 586782
awesome-ios
A curated list of awesome iOS ecosystem, including Objective-C and Swift Projects
Language:Swift46.1k 1.8k 4766.8k
AImage
An animated gif & apng engine for iOS in Swift. Have a great performance on memory and cpu usage.
Language:Swift995 22 2493
autogr
Released code for the paper: Automated Geo-Replication with Fast System Performance and Preserved Application Semantics (VLDB'21)
Language:Python00
coq2smt
Released code for the paper: Formalizing SPARCv8 Instruction Set Architecture in Coq (SCP'20)
Language:Coq2 1 00
genmc
Generic model checker for concurrent C programs
Language:C00
MetalAcc
GPU-based media processing library using Metal written in Swift
Language:Swift260 12 522
sparcv8-coq
Released code for the paper: Formalizing SPARCv8 Instruction Set Architecture in Coq (SETTA'17)
Language:Coq6 2 00
wangjwchn.github.io
https://wangjwchn.github.io
Language:HTML00

wangjwchn/AImage
An animated gif & apng engine for iOS in Swift. Have a great performance on memory and cpu usage.
Language:Swift995 22 2493
wangjwchn/MetalAcc
GPU-based media processing library using Metal written in Swift
Language:Swift260 12 522
wangjwchn/sparcv8-coq
Released code for the paper: Formalizing SPARCv8 Instruction Set Architecture in Coq (SETTA'17)
Language:Coq6 2 00
wangjwchn/coq2smt
Released code for the paper: Formalizing SPARCv8 Instruction Set Architecture in Coq (SCP'20)
Language:Coq2 1 00
wangjwchn/autogr
Released code for the paper: Automated Geo-Replication with Fast System Performance and Preserved Application Semantics (VLDB'21)
Language:Python00
wangjwchn/genmc
Generic model checker for concurrent C programs
Language:C00
wangjwchn/wangjwchn.github.io
https://wangjwchn.github.io
Language:HTML00