Beast code in Giters

michwqy's repositories

IBC-TLA

Public code of our formal analysis of IBC protocol

Language:TLA700

Paper-interested

Fomal Analysis, Smart Contract, IoT Security and something interesting

300

Binary-code-similarity-demo

Personal implementation of the paper Neural Machine Translation Inspired Binary Code Similarity Comparison beyond Function Pairs, NDSS2019, and application to IoT firmware.

Language:Assembly200

CG-demo

very small demo in cg course

Language:C000

CVE-collected

some interesting cve about IoT firmware

000

ibc

Interchain Standards (ICS) for the Cosmos network & interchain ecosystem.

Language:TeXNOASSERTION000

ibc-go

Interblockchain Communication Protocol (IBC) implementation in Golang.

Language:GoMIT000

laravel-demo

A simple personal blog using laravel framework

000

Rust-demo

Rewrite a tiny c library using Rust as course project

Language:Rust000

yui-ibc-solidity

IBC in Solidity

Language:SolidityNOASSERTION000

Mars

Language:Go000

openbilibili

https://github.com/openbilibili/go-common 备份（反正是啥咱也不知道，咱也不敢问）

000

openbilibili-backup

bilibili的后端代码

Language:Go000