Learn Lean 4 with PLFA proofs.

Metamath Zero specification language

Building blocks of a Circle STARK verifier in Bitcoin script

LaTeX code for a paper on lean's type theory

Lean documentation authoring tool

The smart contract security training ground for developers, security researchers and educators.

plasTeX plugin to build formalization blueprints.

Markdown file of the list and explanations of all mathlib4 tactics

🌎 An interplanetary microblogging platform 🚀

Theorem relational dependencies automatic extraction and visualization as a graph for Lean4.

A static analysis tool for Lean 4.

The math library of Lean 4

Verify Cairo contracts in Lean 4

A curated list of zero-knowledge folding schemes

🌲 Rust Filecoin Node Implementation

My CryptoHack adventure !

Ethereum disassembler. Binary bytecode -> Opcodes

⚡️ Python client for the unofficial ChatGPT API with auto token regeneration, conversation tracking, proxy support and more.

An Awesome list for resources on algorithmic game theory

Cryptocurrency Trading Bot that looks for large pools of liquidity getting liquidated on margin trading, when it finds these it counter trades them!

Flash loan liquidation bot for compound.finance

Flash swap liquidation bot for compound.finance + flashbots

A Python implementation of the Ethereum Virtual Machine

This repo is to understand working of UniswapV2 contracts which I plan to explain by adding comments in contracts

Learn Blockchain, Solidity, and Full Stack Web3 Development with Javascript

A repo full of smart contracts written in solidity

Need a bot?