wangjwchn/sparcv8-coq

Stars
6
Rank 2,539,965 (Top 51 %)
Language Coq
Created almost 8 years ago
Updated about 6 years ago

wangjwchn/sparcv8-coq

wangjwchn

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

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

AImage

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

MetalAcc

GPU-based media processing library using Metal written in Swift

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)