Name: Elias Tazartes
Type: User
Bio: software engineer, building Kakarot zkEVM
Twitter: ETazou
Location: Paris
i'm building Kakarot zkEVM 🥕, the provable EVM written in Cairo! come check it out: https://github.com/kkrt-labs/kakarot
advent-of-code
alexandria
Community maintained Cairo 1.0 library.
articles
Public Articles for dev.to
astronvim_config
AstroVim custom config
autocomplete
Fig adds autocomplete to your terminal.
bangerquotes
just another cli tool for generating quotes
beerus
Beerus is a trustless StarkNet Light Client
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.github.io
The Cairo Programming Language Book, a comprehensive documentation of the Cairo 1 programming language.
cairo-foundry
Foundry like framework for starknet contracts
cairo-lib
A comprehensive library for Cairo 🐺
cairo-ls
Cairo Language Server
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.
cairo-vm-ts
A typescript implementation of the Cairo VM
cairo_native
A compiler to convert Cairo's intermediate representation "Sierra" code to MLIR.
chains
provides metadata for chains
chess-frontend
My Chess Game Frontend
chessmythjs
Chess Myth Library
courtroom
dojo
Dojo is a verifiable game engine and toolchain for building onchain games and autonomous worlds with Cairo 1.0.
dojo-starter
Dojo template starter
draft-simulator
LoL Draft Simulator
ef-tests
Test runner for ethereum foundation tests
eikix
ethereum-org-website
Ethereum.org is a primary online resource for the Ethereum community.
evm.codes
Source for evm.codes an Ethereum Virtual Machine Opcodes Interactive Reference
execution-specs
Specification for the Execution Layer. Tracking network upgrades.
front-end-p4
garaga
Efficient pairing library, written in Cairo 🐺.
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
Django
The Web framework for perfectionists with deadlines.
Laravel
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
Microsoft
Open source projects and samples from Microsoft.
Google
Google ❤️ Open Source for everyone.
Alibaba
Alibaba Open Source for everyone
D3
Data-Driven Documents codes.
Tencent
China tencent open source team.
