shd101wyy

markdown-preview-enhanced

One of the 'BEST' markdown preview extensions for Atom editor!

vscode-markdown-preview-enhanced

One of the "BEST" markdown preview extensions for Visual Studio Code

crossnote

Powerful markdown tool

Python_Reverse_TCP

simple reverse tcp backdoor hack

ribbit

An experimental, decentralized, lightweight social media web application WITHOUT CENTRAL SERVER based on Ethereum platform. 基于以太坊的去中心化，轻量级，无中心服务器的社交程序。

yiyi-diary

Yiyi's startup diary - Yiyi 的创业日记

jianzhi-offer-js

剑指Offer 笔记本 JS 版本

logic.dart

Minikanren implemented in dart language based on logic.js repository.

hello-flakes

shd101wyy.github.io

project_barley

barley, wheat, beans, and tofu

test-gh-page

yiyi-notes

Yiyi's public notes - Yiyi 的公开笔记

amm-arbitrageur

An arbitrage bot between Uniswap AMMs

evm-semantics

K Semantics of the Ethereum Virtual Machine (EVM)

github-k

Highlight the K language code block on GitHub

iele-semantics

Semantics of Virtual Machine for IELE prototype blockchain

k

k-editor-support

Plugin files for editing K files

kore

The symbolic execution engine powering the K Framework

michelson-semantics

A K semantics of Tezos' Michelson language.

notebook-demo

PlanetWalley

presentations

My presentations (PPT)

ProxyPool

An Efficient ProxyPool with Getter, Tester and Server

purescript-halogen

A declarative, type-safe UI library for PureScript.

rv-toolkit-docs

space_ball

HackIllinois Project with Aya Sophia Yuting

test-erc20

vscode

Visual Studio Code