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

Starts a Besu QBFT network with 4 nodes whereas the first node acts as bootnode

A symbolic testing tool for EVM smart contracts

Portfolio Website V1 || build with only HTML ,CSS, JS~

Example tests for exploring upgradeable contracts with Foundry

Foundry plugin for zksync era contract deployment

Modern, opinionated, and gas optimized building blocks for smart contract development.

a generative algorithm

Date-Time utilities for ethereum contracts.

🏗 forkable Ethereum dev stack focused on fast product iterations

Source code of the Nifty Wallet

Nifty gateway with examples

The End of iOS.

The End of Servers.

A bash script to send iOS push notifications with the Apple Push Notification service (APNs)

COVID-2020 • »if you're worried ~ if you're not worried«

The Art World in Your Pocket or Your Trendy Tech Company's Tote, Artsy's mobile app.

Unique blocky identicons generator for Swift

🍁 What you don't know is what you haven't learned

High Performance Inter-Thread Messaging Library

Orion is a PegaSys component for doing private transactions

The Ethereum Wiki

Get a merkle-proof from the blockchain. Check if it's valid locally.

WorkInProgress Contract on Ropsten that verifies Rinkeby transactions