MJJ-Shuai

Pinned Repositories

Gourmet
Language:Swift0 1 00
binsec
BINSEC binary-level open-source platform
Language:OCaml328 15 3834
cbmc
C Bounded Model Checker
Language:C++867 41 1.3k269
esbmc
The efficient SMT-based context-bounded model checker (ESBMC)
Language:C307 18 980100
circom
zkSnark circuit compiler
Language:WebAssembly1.4k 19 151280
circomm_compiler_verification
Language:Assembly0 1 00
korepi-docs
Official Documentation Page
Language:TypeScript0 0 00
SpeechTest
Using Turing Robot and Speech Framework to imitate Siri.
Language:Swift0 0 00
UnityHomework
用户交互技术
Language:C#0 1 00
vue-dropzone
A Vue.js component for Dropzone.js - a drag’n’drop file uploads utility with image previews
Language:Vue0 0 00

MJJ-Shuai's Repositories

MJJ-Shuai/circomm_compiler_verification
Language:Assembly0 1 00
MJJ-Shuai/korepi-docs
Official Documentation Page
Language:TypeScript0 0 00
MJJ-Shuai/SpeechTest
Using Turing Robot and Speech Framework to imitate Siri.
Language:Swift0 0 00
MJJ-Shuai/UnityHomework
用户交互技术
Language:C#0 1 00
MJJ-Shuai/vue-dropzone
A Vue.js component for Dropzone.js - a drag’n’drop file uploads utility with image previews
Language:Vue0 0 00