Pinned Repositories
aa-workshop
Code for Account Abstraction workshop using latest Starknet syntax
amarna
Amarna is a static-analyzer and linter for the Cairo programming language.
Cryptofinance
Different bitcoin mining strategies
kakarot
ZK-EVM type 3 written in Cairo, leveraging STARK proof system.
llvm-to-cairo
tsubasa
Tsubasa onchain game built with Dojo, running on a Starknet Appchain.
ZeroSync
A STARK proof to sync a Bitcoin full node in an instant.
cairo-lint
A collection of lints to catch common mistakes and improve your Cairo code.
shenlong
Shenlong is a blazingly fast ⚡ tool to generate LLVM IR from Cairo, written in Rust 🦀
kakarot
Kakarot is a zkEVM written in Cairo, leveraging the STARK proof system.
0xLucqs's Repositories
0xLucqs/llvm-to-cairo
0xLucqs/tsubasa
Tsubasa onchain game built with Dojo, running on a Starknet Appchain.
0xLucqs/aa-workshop
Code for Account Abstraction workshop using latest Starknet syntax
0xLucqs/madara
Madara is a ⚡ blazing fast ⚡ Starknet sequencer, based on substrate and written in Rust 🦀.
0xLucqs/bar
0xLucqs/baz
0xLucqs/beerus
Beerus is a StarkNet Light Client
0xLucqs/blockifier
Blockifier is a Rust implementation for the transaction-executing component in the StarkNet sequencer, in charge of creating state diffs and blocks.
0xLucqs/cairo
Cairo is the first Turing-complete language for creating provable programs for general computation.
0xLucqs/cairo-book
The Cairo Programming Language Book, a comprehensive documentation of the Cairo 1 programming language.
0xLucqs/cairo-rs
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.
0xLucqs/dojo
Dojo is a provable game engine and toolchain for building onchain games and autonomous worlds with Cairo
0xLucqs/drive-ai
Self driving car AI in road fighter world
0xLucqs/heimdall
Heimdall is the guardian of our best practices
0xLucqs/helix
A post-modern modal text editor.
0xLucqs/kakarot-ssj
Kakarot zkEVM - rewrite in the latest version of Cairo
0xLucqs/llvm-to-sierra
0xLucqs/llvmenv
Manage multiple LLVM/Clang builds
0xLucqs/num-prime
0xLucqs/openrpc-gen
A CLI tool to generate Rust files from OpenRPC documents.
0xLucqs/optimism
Optimism is Ethereum, scaled.
0xLucqs/papyrus
Papyrus is a StarkNet full node written in Rust.
0xLucqs/sp1
A performant, 100% open-source, contributor-friendly zkVM.
0xLucqs/starkex-apps-api
0xLucqs/starknet-api
0xLucqs/starknet-rs
Complete Starknet library in Rust
0xLucqs/stone-prover
0xLucqs/substrate
Substrate: The platform for blockchain innovators
0xLucqs/tree-sitter-cairo
Tree sitter for CairoLang
0xLucqs/vault
Empower Your Assets, Redefine Control.