Pinned Repositories
kcl
KCL Programming Language (CNCF Sandbox Project). https://kcl-lang.io
cairo
Cairo is the first Turing-complete language for creating provable programs for general computation.
dora
The Ultimate Layer for on-chain Computing and Verification
go-ethereum
Official Go implementation of the Ethereum protocol
kakarot
ZK-EVM type 2.5 written in Cairo, leveraging STARK proof system.
kcl
KCL Programming Language (CNCF Sandbox Project). https://kcl-lang.io
kylin
Apache Kylin
mojo
The Mojo Programming Language
mosn
The Cloud-Native Network Proxy Platform
mosn
The Cloud-Native Network Proxy Platform
ldxdl's Repositories
ldxdl/cairo
Cairo is the first Turing-complete language for creating provable programs for general computation.
ldxdl/dora
The Ultimate Layer for on-chain Computing and Verification
ldxdl/go-ethereum
Official Go implementation of the Ethereum protocol
ldxdl/kakarot
ZK-EVM type 2.5 written in Cairo, leveraging STARK proof system.
ldxdl/kcl
KCL Programming Language (CNCF Sandbox Project). https://kcl-lang.io
ldxdl/kylin
Apache Kylin
ldxdl/mojo
The Mojo Programming Language
ldxdl/mosn
The Cloud-Native Network Proxy Platform