wangjwchn/sparcv8-coq

Stars
6
Rank 2,534,817 (Top 50 %)
Language Coq
Created over 7 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

coq2smt

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