Ahmed's repositories
metamask-snap-polkadot
Metamask plugin for interacting with Polkadot dapps and other Substrate based chains.
aurora-cli-rs
Command-line tool for interacting with the Aurora Engine
Tutorials
Practical tutorials of Certora Prover
aurora-staking-contracts
Aurora staking contracts
halo2-examples
Include halo2 example circuits
manimjupyter
This repo contains example notebooks which can be launched via binder
evm_cfg_builder
EVM CFG recovery
rainbow-token-connector
ERC20/NEP21 Token Connector for Rainbow Bridge
workshops
Code for OpenZeppelin Workshops
panoramix
Ethereum decompiler
lollyswap
Sushiswap fork deployed on aurora
eattheblocks
Source code for Eat The Blocks, a screencast for Ethereum Dapp Developers
gnosis-multisig-wallet-cli
A CLI version of gnosis multisig wallet
ocean.py
🦑 Ocean Protocol Python library to privately & securely publish, exchange, and consume data.
metaocean-subgraph
Metadata Ocean protocol subgraph
building-secure-contracts
Guidelines and training material to write secure smart contracts
Ultimate-Python-Resource-Hub
The Ultimate resource hub of Python: All at one place
balancer-subgraph
Subgraph (Graph Protocol) data layer for Balancer pools, swaps, txs, users
provider-py
REST API for provider of data services
Sun-Grid-Engine
Install and Configure Sun Grid Engine Cluster using Ansible
fisherman
Browser extension where actors publish, sell and buy digital assets
MultiSigWalletContracts
forked from gnosis/MultiSigWallet / Allows multiple parties to agree on transactions before execution.