Junkil Park's repositories
AIPs
Aptos Improvement Proposals (AIPs)
000
apt-winter-2023
Tutorial for Move Prover for Aptos India Winter School 2023
Language:Boogie000
awesome-move
Code and content from the Move community.
CC-BY-4.0000
diem
Libra’s mission is to enable a simple global currency and financial infrastructure that empowers billions of people.
Language:RustApache-2.0000
diem-move
Home of the Move programming language
Language:RustApache-2.0000
dip
Libra Improvement Proposals
Language:TypeScriptApache-2.0000
e-maxx-eng
Translation of http://e-maxx.ru into English
Language:C++CC-BY-SA-4.0000
000
mirai-bot
This is a github action to run MIRAI on libra/libra pull requests
000
move
a fork of `move-language/move`
Language:RustApache-2.0000
setup-z3
Install the Z3 binary in Github Actions
Language:JavaScript000
Language:Move000
sui
Sui, a next-generation smart contract platform with high throughput, low latency, and an asset-oriented programming model powered by the Move programming language
Language:RustApache-2.0000
z3
The Z3 Theorem Prover
Language:C++NOASSERTION000