Pinned Repositories
AIPs
Aptos Improvement Proposals (AIPs)
apt-winter-2023
Tutorial for Move Prover for Aptos India Winter School 2023
awesome-move
Code and content from the Move community.
coin-swap
diem
Libra’s mission is to enable a simple global currency and financial infrastructure that empowers billions of people.
diem-move
Home of the Move programming language
dip
Libra Improvement Proposals
e-maxx-eng
Translation of http://e-maxx.ru into English
hackathon2022
junkil-park's Repositories
junkil-park/coin-swap
junkil-park/AIPs
Aptos Improvement Proposals (AIPs)
junkil-park/apt-winter-2023
Tutorial for Move Prover for Aptos India Winter School 2023
junkil-park/awesome-move
Code and content from the Move community.
junkil-park/diem
Libra’s mission is to enable a simple global currency and financial infrastructure that empowers billions of people.
junkil-park/diem-move
Home of the Move programming language
junkil-park/dip
Libra Improvement Proposals
junkil-park/e-maxx-eng
Translation of http://e-maxx.ru into English
junkil-park/hackathon2022
junkil-park/junkil-park.github.io
junkil-park/metadata
junkil-park/mirai-bot
This is a github action to run MIRAI on libra/libra pull requests
junkil-park/move
a fork of `move-language/move`
junkil-park/setup-z3
Install the Z3 binary in Github Actions
junkil-park/mainnet-proposals
junkil-park/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
junkil-park/z3
The Z3 Theorem Prover