Pinned Repositories
app.starknet.id
Identity Service for Starknet
briq-builder
DApp to build with briqs
cairo-vm
cairo-rs is a Rust implementation of the Cairo VM. Cairo (CPU Algebraic Intermediate Representation) is a programming language for writing provable programs, where one party can prove to another that a certain computation was executed correctly. Cairo and similar proof systems can be used to provide scalability to blockchains.
cairovm.codes-server
Server code for cairovm.codes — a web app to compile Cairo programs into Sierra and CASM with step-through execution capabilities.
dojo
Dojo is a toolchain for building provable games and autonomous worlds with Cairo
fe-app
starknet-basecamp
starknetpy-abi-parsing
cairo-vm
cairo-vm is a Rust implementation of the Cairo VM. Cairo (CPU Algebraic Intermediate Representation) is a programming language for writing provable programs, where one party can prove to another that a certain computation was executed correctly without the need for this party to re-execute the same program.
cairo
Cairo is the first Turing-complete language for creating provable programs for general computation.
barabanovro's Repositories
barabanovro/app.starknet.id
Identity Service for Starknet
barabanovro/briq-builder
DApp to build with briqs
barabanovro/cairo-vm
cairo-rs is a Rust implementation of the Cairo VM. Cairo (CPU Algebraic Intermediate Representation) is a programming language for writing provable programs, where one party can prove to another that a certain computation was executed correctly. Cairo and similar proof systems can be used to provide scalability to blockchains.
barabanovro/cairovm.codes-server
Server code for cairovm.codes — a web app to compile Cairo programs into Sierra and CASM with step-through execution capabilities.
barabanovro/dojo
Dojo is a toolchain for building provable games and autonomous worlds with Cairo
barabanovro/fe-app
barabanovro/starknet-basecamp
barabanovro/starknetpy-abi-parsing