PedroCailleret

PedroCailleret's Stars

• Significant-Gravitas/AutoGPT

  AutoGPT is the vision of accessible AI for everyone, to use and to build on. Our mission is to provide the tools, so that you can focus on what matters.

  Language:Python170k1.5k3k44.7k

• dubzzz/fast-check

  Property based testing framework for JavaScript (like QuickCheck) written in TypeScript

  Language:TypeScript4.4k19555185

• Uniswap/v4-core

  🦄 🦄 🦄 🦄 Core smart contracts of Uniswap v4

  Language:Solidity2.1k412261k

• BitMaker-hub/NerdMiner_v2

  Improved version of first ESP32 NerdMiner

  Language:C1.7k97276327

• securing/SCSVS

  Smart Contract Security Verification Standard

  62721588

• chinmay-farkya/solidity-notes

  5817080

• pacholoamit/chatgpt-prompts

  A NodeJS ChatGPT prompts library that contains more than 140+ awesome prompts

  Language:TypeScript5744165

• Picodes/4naly3er

  Static smart contract code 4naly3er

  Language:TypeScript5201017138

• flashbots/simple-blind-arbitrage

  Language:Solidity35611693

• yuichiroaoki/poly-flashloan-bot

  Flashloan Bot on Polygon

  Language:TypeScript3053766194

• yuichiroaoki/poly-flash

  Flashloan on Polygon

  Language:Solidity2982237175

• openlawteam/tribute-contracts

  A new modular DAO framework, inspired by the Moloch smart contracts

  Language:JavaScript29720130110

• nomoixyz/vulcan

  Development framework for Foundry projects

  Language:Solidity28659119

• Cyfrin/audit-report-templating

  2824552

• ethereum/hevm

  symbolic EVM evaluator

  Language:Haskell2471217049

• plotchy/evm-cfg

  Symbolic stack CFG generator for EVM

  Language:Rust1813714

• smartcontractkit/functions-hardhat-starter-kit

  Language:JavaScript1501524103

• jtriley-eth/ether-deck

  Language:Solidity98304

• devtooligan/awesome-ascii-art

  A curated list of resources and examples of ASCII Art

  96207

• saddle-finance/saddle-frontend

  An open source UI for saddle.finance 🤠

  Language:TypeScript54838461

• vezenovm/basic_mul_noir_example

  Language:Solidity18104

• ColorblindAdam/ChatGPTPrompts

  Prompts I have created or modified to use with ChatGPT

  90

• jtriley-eth/snarki-boi

  Experimental Noir repo. Very important not to get carried away

  Language:Solidity9

• lorenzocesconetto/QuickSort-SmartContracts-Yul

  Language:Yul7100

• GalloDaSballo/historical-contract-values-fetcher-ts

  Fetches historical values via alchemy

  Language:TypeScript610

• Elyx0/kattanatoken

  Language:Solidity4101

• lindy-labs/sandclock-contracts

  Sandclock V2 is a set of yield strategies and staking contracts on mainnet.

  Language:Solidity2813

• 0xduality/self-arbing-dex

  Math for a decentralized exchange where arbs happen as part of regular transactions

  Language:TeX1100

• AStox/StenographerGPT

  A GPT powered stenographer for recording and transcribing meetings, interviews, or any other audio.

  Language:Python1240

• doiim/p2pix-signature-schema

  A signature schema to be used for validate ITP signatures.

  Language:JavaScript1100