lucaslvy Goto Github PK

aa-workshop

Code for Account Abstraction workshop using latest Starknet syntax

amarna

Amarna is a static-analyzer and linter for the Cairo programming language.

amm-101

bar

baz

beerus

Beerus is a StarkNet Light Client

blockchainhyperledger

blockifier

Blockifier is a Rust implementation for the transaction-executing component in the StarkNet sequencer, in charge of creating state diffs and blocks.

cairo

Cairo is the first Turing-complete language for creating provable programs for general computation.

cairo-book

The Cairo Programming Language Book, a comprehensive documentation of the Cairo 1 programming language.

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.

cardreading

christmrust

cryptofinance

Different bitcoin mining strategies

dojo

Dojo is a provable game engine and toolchain for building onchain games and autonomous worlds with Cairo

drive-ai

Self driving car AI in road fighter world

erc20-102

heimdall

Heimdall is the guardian of our best practices

kakarot

ZK-EVM type 3 written in Cairo, leveraging STARK proof system.

kakarot-ssj

Kakarot zkEVM - rewrite in the latest version of Cairo

la_cryptoferme

ERC721 project

llvmenv

Manage multiple LLVM/Clang builds

madara

Madara is a ⚡ blazing fast ⚡ Starknet sequencer, based on substrate and written in Rust 🦀.

nosql

num-prime

openrpc-gen

A CLI tool to generate Rust files from OpenRPC documents.

optimism

Optimism is Ethereum, scaled.

papyrus

Papyrus is a StarkNet full node written in Rust.

passwordstoring

Script to store passwords securely

poseidon-hash

Reference implementation in Python of Poseidon and optimized Poseidon (Neptune) hash functions