Elias Tazartes's Projects
Community maintained Cairo 1.0 library.
Public Articles for dev.to
AstroVim custom config
Fig adds autocomplete to your terminal.
just another cli tool for generating quotes
Beerus is a trustless StarkNet Light Client
Blockifier is a Rust implementation for the transaction-executing component in the StarkNet sequencer, in charge of creating state diffs and blocks.
Cairo is the first Turing-complete language for creating provable programs for general computation.
The Cairo Programming Language Book, a comprehensive documentation of the Cairo 1 programming language.
Foundry like framework for starknet contracts
A comprehensive library for Cairo 🐺
Cairo Language Server
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.
A typescript implementation of the Cairo VM
A compiler to convert Cairo's intermediate representation "Sierra" code to MLIR.
provides metadata for chains
My Chess Game Frontend
Chess Myth Library
Dojo is a verifiable game engine and toolchain for building onchain games and autonomous worlds with Cairo 1.0.
Dojo template starter
LoL Draft Simulator
Test runner for ethereum foundation tests
Ethereum.org is a primary online resource for the Ethereum community.
Source for evm.codes an Ethereum Virtual Machine Opcodes Interactive Reference
Specification for the Execution Layer. Tracking network upgrades.