• Stars
    star
    8
  • Rank 2,087,360 (Top 42 %)
  • Language
    TypeScript
  • License
    MIT License
  • Created over 1 year ago
  • Updated 7 months ago

Reviews

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

Repository Details

We help protocols improve their invariant tests

More Repositories

1

redis-roaring

Roaring Bitmaps for Redis
C
345
star
2

theauditorbook

The Auditor Book
HTML
231
star
3

security

Security Reviews and Audit Checklists
90
star
4

solidity-audit-report-generator

Solidity Audit Report Generator
TypeScript
82
star
5

qcl

Quantum Computation Language port from http://tph.tuwien.ac.at/~oemer/qcl.html
C++
39
star
6

fuzzer-evaluation

Evaluating fuzzer effectiveness
Solidity
20
star
7

guitar-pro-6

Unofficial Guitar Pro 6 docker image for linux
Shell
18
star
8

circom-mutator

Mutation testing tool for circom
Circom
15
star
9

judgementalist

Judgementalist — judge Sherlock contests faster
TypeScript
13
star
10

fiat-paymaster

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

property-based-testing-benchmark

Property-based testing benchmark
Solidity
9
star
12

weth-paymaster

WETH Paymaster for ERC-4337 Account Abstraction Using Alt Mempool
Solidity
7
star
13

account-abstraction-workshop

Account Abstraction Workshop
4
star
14

CoinMarketApp

CoinMarketApp - cryptocurrency price tracker
JavaScript
4
star
15

tcc

Sistema de Recomendação de Produtos para e-Commerces
TeX
3
star
16

the-state-of-invariant-testing

The State of Invariant Testing
2
star
17

rm-logger

Redis module logger
C
2
star
18

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.
TypeScript
2
star
19

talks

Talks
1
star
20

flexbox-for-dummies

JavaScript
1
star
21

votobrasil

Previsão de voto das eleições presidenciais de 2014 no Brasil
Python
1
star
22

selfgpt

Talk to yourself with ChatGPT on WhatsApp
TypeScript
1
star
23

serverless-boilerplate

Serverless Boilerplate based on AWS Lambda/API Gateway and Node.js
JavaScript
1
star
24

openzeppelin-contracts-upgradeable-v5-footguns

OpenZeppelin Contracts 5.0 Footguns
Solidity
1
star