cootieshots Goto Github PK

formal-methods-curriculum

Formal methods training program with an emphasis on software in the blockchain & decentralized financed (DeFi) industry

foundry

Foundry is a blazing fast, portable and modular toolkit for Ethereum application development written in Rust.

frontrun-pancakeswap-bot

The front run bot for Pancakeswap (BSC)

fullrange

fusd

usd pegged collateralized fusd

gickup

gigahorse-toolchain

A binary lifter and analysis framework for Ethereum smart contracts

gnosis-safe-contracts

Gnosis Safe allows secure management of blockchain assets.

gonum

Gonum is a set of numeric libraries for the Go programming language. It contains libraries for matrices, statistics, optimization, and more

grokky

pure golang grok-like library

guardian

Web3 Guardian - a blockchain monitoring and alerting tool

hardhat-yul

Needing compile Yul and Yul+, I thought I'd integrate my current scripts into a hardhat plugin. Loosely based off the Vyper plugin this one includes none of the safety checks, tests, or safety.

hashmap

A Golang lock-free thread-safe HashMap optimized for fastest read access.

heiswap-dapp

Heiswap Dapp - Mix and Mask your Ethereum Transactions!

heiswap-poc

Heiswap DApp research and poc

heiswap-relayer

Heiswap Relayer for gasless withdrawals

hh-erc20-bal-mainpulation

Example repository for manipulating ERC20 balances on a Mainnet fork

homework

HomeWork is an autonomous utility for finding, sharing and reusing home addresses for contracts.

hyperlink

CREATIVE EXPRESSION THROUGH CONNECTION

ilhedge.finance

Impermanent loss insurance for Uniswap liquidity providers

indexer

searchable history and current state

kelp

Kelp is a free and open-source trading bot for the Stellar DEX and 100+ centralized exchanges

kuegibot

Crypto trading bot helping me sticking to my strategy.

learning-solidity

The companion to the Youtube tutorials

linkedin-skill-assessments-quizzes

Full reference of LinkedIn answers 2022 for skill assessments, LinkedIn test, questions and answers (aws-lambda, rest-api, javascript, react, git, html, jquery, mongodb, java, Go, python, machine-learning, power-point) linkedin excel test lösungen, linkedin machine learning test

locket

An arbitrage Dapp that uses Uniswap flash loans to find the most profitable route between Behodler and Uniswap, expressed in Dai.

memento

Open-source Ethereum data scraper and indexer developed by Alethio

mettiforartists

MettiForArtists is an open-source smart contract started by Pumpametti that allows artists with limited or no technical background to mint NFT artworks on their own custom contracts instead of using OpenSea Storefront Contract. With MettiForArtists you can mint unique artworks under your artist name, set irrevocable artwork links for your unique artworks, also set artwork royalties. More detailed tutorial and peer help will be availalble in Pumpametti Discord dev-Chat. No artist should starve due to technical barrier. https://linktr.ee/Pumpametti

mev

mev-1

Miner extractable value modeling and tools.