aviggiano/property-based-testing-benchmark

Stars
9
Rank 1,927,989 (Top 39 %)
Language
Solidity
License
GNU Affero Genera...
Created 11 months ago
Updated 10 months ago

aviggiano/property-based-testing-benchmark

aviggiano

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Property-based testing benchmark

redis-roaring

Roaring Bitmaps for Redis

theauditorbook

The Auditor Book

security

Security Reviews and Audit Checklists

solidity-audit-report-generator

Solidity Audit Report Generator

qcl

Quantum Computation Language port from http://tph.tuwien.ac.at/~oemer/qcl.html

fuzzer-evaluation

Evaluating fuzzer effectiveness

guitar-pro-6

Unofficial Guitar Pro 6 docker image for linux

circom-mutator

Mutation testing tool for circom

judgementalist

Judgementalist — judge Sherlock contests faster

fiat-paymaster

Paymaster that funds your transactions on any supported chain through a credit card top up using Paypal

fuzzy-fyi

We help protocols improve their invariant tests

weth-paymaster

WETH Paymaster for ERC-4337 Account Abstraction Using Alt Mempool

account-abstraction-workshop

Account Abstraction Workshop

CoinMarketApp

CoinMarketApp - cryptocurrency price tracker

tcc

Sistema de Recomendação de Produtos para e-Commerces

the-state-of-invariant-testing

The State of Invariant Testing

rm-logger

Redis module logger

fluffy-waddle

Zero-config smart contract vulnerability detection system. This is a project inspired by library.dedaub.com/decompile and it should ONLY be used for research purposes.

talks

flexbox-for-dummies

votobrasil

Previsão de voto das eleições presidenciais de 2014 no Brasil

selfgpt

Talk to yourself with ChatGPT on WhatsApp

serverless-boilerplate

Serverless Boilerplate based on AWS Lambda/API Gateway and Node.js

openzeppelin-contracts-upgradeable-v5-footguns

OpenZeppelin Contracts 5.0 Footguns