Eliel 수학's Projects
This is implementation of account-abstraction on Starknet based on @barretodavid Medium posts
A domain-specific language for writing AIR constraints for STARKs
Une plateforme permettant de publier des invitations
Argent accounts for Starknet
awesome-zkml repository
Sample demonstration for building WebAssembly (WASM) modules alongside your webapps in AWS Amplify.
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.
Testing Cairo 1.0
The Cairo Programming Language Book, a comprehensive documentation of the Cairo 1 programming language.
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.
Repo for the Encode Cairo 5 week bootcamp
Impression des cartes d'étudiants à l'UCBC
Training Flutter developers to design Wallets
Web app simple pour la gestion des depenses
I would like to present here the way to calculate the determinant of a square matrix in Javascript
NF ERC 20 Token written in Cairo 1
Pure Rust implementation of Ethereum Virtual Machine
Learning Go programming language
Goma Web3 Meetup
Building a RSA keys based on HD wallet with BIP32
Herodotus Data Processor Toolkit. Enhance zk-offchain compute for verifiable onchain data using zkVMs
Simple tool to calculate how much I worth :)
Decentralized social built with Nostr and powered by Starknet account abstraction.