Beast code in Giters

Kevin Z Chen's repositories

eth-acl2

An ACL2 formalization of the Ethereum VM, aiming to be both executable and suitable for proving interesting properties of EVM contracts.

Language:Common LispApache-2.03 3 15

keystone

Keystone Enclave (QEMU + HiFive Unleashed)

Language:CNOASSERTION100

kys-js

《金庸群侠传》kys-js (pixijs)

Language:JavaScript1 10

Pentest-Notes

《内网安全攻防-渗透测试实战指南》一些技术点概括

100

augur-core

Augur back-end (Ethereum contracts)

Language:TypeScriptGPL-3.0020

augur-ui

Augur UI

Language:JavaScriptMIT020

base-contract-deployments

kz's staging area

MIT000

bazel-latex

Bazel build system rules for LaTeX

Language:StarlarkApache-2.0010

eip712sign

Golang utility for signing EIP-712 payloads

Language:GoMIT000

GitCTF

Git-based CTF

Language:PythonApache-2.0010

gitignore

A collection of useful .gitignore templates

CC0-1.0010

go.cgao.me

Language:HTML020

icesugar-pro

iCESugar series FPGA dev board

Language:Verilog000

j

ckev.in/j

Apache-2.0020

kdev

Docker envronments for development

Language:DockerfileApache-2.0020

keystone-sdk

SDK for Keystone Enclave - ABI/SBI libraries and sample apps

Language:CNOASSERTION000

keystone2

Language:CNOASSERTION010

mcsema

x86 to machine code translation framework

Language:C++NOASSERTION020

optimism-kztest

Optimism is Ethereum, scaled.

Language:GoMIT000

pcs-web

http://ckev.in/pcs-web/

Apache-2.0020

prjtrellis-docker

github.com/YosysHQ/prjtrellis

Language:Dockerfile000

riscv-gnu-toolchain-docker

github.com/riscv/riscv-gnu-toolchain

Language:Dockerfile000

riscv-playground

Language:DockerfileUnlicense000

riscv-tee

Language:Makefile000

simple-safe-ui

Language:TypeScriptMIT010

test-codespaces

Language:EJSMIT010

xg2xg

by ex-googlers, for ex-googlers - a lookup table of similar tech & services

020

yosys

Yosys Open SYnthesis Suite

Language:C++ISC000

zchn

Config files for my GitHub profile.

010

zchn.github.io

Language:JavaScript020