xduo's repositories
cairo
Cairo is the first Turing-complete language for creating provable programs for general computation.
Language:RustApache-2.0000
go-ethereum
Official Go implementation of the Ethereum protocol
Language:GoLGPL-3.0000
kakarot
ZK-EVM type 2.5 written in Cairo, leveraging STARK proof system.
Language:CairoMIT000
kcl
KCL Programming Language (CNCF Sandbox Project). https://kcl-lang.io
Language:RustApache-2.0000
mojo
The Mojo Programming Language
000
mosn
The Cloud-Native Network Proxy Platform
Language:GoApache-2.0000