Suhabe Bugrara's repositories
kevm-verify-benchmarks
Micro benchmarks for EVM contract verification using K
blst
Multilingual BLS12-381 signature library
cpr
C++ Requests: Curl for People, a spiritual port of Python Requests.
erigon
Ethereum implementation on the efficiency frontier
ethash
C/C++ implementation of Ethash and ProgPoW – the Ethereum Proof of Work algorithms
genqlient
a truly type-safe Go GraphQL client
gqlgen
go generate based graphql server library
hardhat
Hardhat is a development environment to compile, deploy, test, and debug your Ethereum software. Get Solidity stack traces & console.log.
helm-charts
You know, for Kubernetes
k-distributed
A batch processing system to distribute K-prover job over a cluster
llir-testdata
Test data for the LLVM IR library.
openzeppelin-contracts-upgradeable
Upgradeable variant of OpenZeppelin Contracts, meant for use in upgradeable contracts.
react
A declarative, efficient, and flexible JavaScript library for building user interfaces.
registry-creds
Allow for AWS ECR, Google Registry, & Azure Container Registry credentials to be refreshed inside your Kubernetes cluster via ImagePullSecrets
safe-contracts
Gnosis Safe allows secure management of blockchain assets.
silkworm-2021
C++ implementation of the Ethereum protocol
tests
Common tests for all Ethereum implementations
v2-core
🎛 Core smart contracts of Uniswap V2
v3-core
🦄 🦄 🦄 Core smart contracts of Uniswap v3