liyi-david's Stars
deepfakes/faceswap
Deepfakes Software For All
faif/python-patterns
A collection of design patterns/idioms in Python
cfenollosa/os-tutorial
How to create an OS from scratch
MiCode/Xiaomi_Kernel_OpenSource
Xiaomi Mobile Phone Kernel OpenSource
dotnetcore/CAP
Distributed transaction solution in micro-service base on eventually consistency, also an eventbus with Outbox pattern
jlfwong/speedscope
🔬 A fast, interactive web-based viewer for performance profiles.
ufrisk/pcileech
Direct Memory Access (DMA) Attack Software
lark-parser/lark
Lark is a parsing toolkit for Python, built with a focus on ergonomics, performance and modularity.
ionescu007/SimpleVisor
SimpleVisor is a simple, portable, Intel VT-x hypervisor with two specific goals: using the least amount of assembly code (10 lines), and having the smallest amount of VMX-related code to support dynamic hyperjacking and unhyperjacking (that is, virtualizing the host state from within the host). It works on Windows and UEFI.
hacl-star/hacl-star
HACL*, a formally verified cryptographic library written in F*
kevinmehall/rust-peg
Parsing Expression Grammar (PEG) parser generator for Rust
Xinkai/XwareDesktop
桌面化迅雷固件
chaitin/cloudwalker
CloudWalker Platform
ethereum/tests
Common tests for all Ethereum implementations
boogie-org/boogie
Boogie
szhou42/osdev
Hobby os project with GUI
wangzhenjjcn/PUBG_HACK
STOP UPDATE SINCE 2018-05===PLS SUPPORT ORIGINAL====PUBG CHEAT 绝地求生 吃鸡 作弊 外挂 チート Plug-in ADD-ON мошенничать 플러그인
pirapira/ethereum-formal-verification-overview
The start page about my efforts around smart contract verification
scott0123/Tesseract-macOS
Objective C wrapper for the open source OCR Engine Tesseract (macOS)
uw-unsat/hyperkernel
federicobond/solidity-parser-antlr
A Solidity parser for JS built on top of a robust ANTLR4 grammar
hjerpbakk/OpenFolderInVSCode
With this macOS service, you can quickly open any given folder as a project in Visual Studio Code from the Finders context menu.
evm-lang-design/evm-lang-design
Language Design Community for the EVM: Intro and Resources
8427003/study-minix-os
Study Minix Operating System
fundamelon/terminal-game-tutorial
step by step game things
AlphaLiu/XShellColorSchemes
paritytech/lunarity
Lunarity - a Solidity parser in Rust
jml/tree-format
Python library for printing trees on the console
sunblaze-ucb/coq-smart-contract
PRiME-project/PRiME_CodeGen
PRiME Event-B Code Generation Tool