Beast code in Giters

Jiawei Wang's repositories

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

Language:Swift995 22 24

GPU-based media processing library using Metal written in Swift

Language:SwiftMIT260 12 5

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

Language:Coq6 20

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

Language:CoqMIT2 10

Released code for the paper: Automated Geo-Replication with Fast System Performance and Preserved Application Semantics (VLDB'21)

Language:PythonMIT000

Generic model checker for concurrent C programs

Language:CGPL-3.0000