echo672's Stars
microsoft/JARVIS
JARVIS, a system to connect LLMs with ML community. Paper: https://arxiv.org/pdf/2303.17580.pdf
wilsonfreitas/awesome-quant
A curated list of insanely awesome libraries, packages and resources for Quants (Quantitative Finance)
Cyfrin/foundry-full-course-cu
crytic/building-secure-contracts
Guidelines and training material to write secure smart contracts
Uniswap/v4-core
🦄 🦄 🦄 🦄 Core smart contracts of Uniswap v4
immunefi-team/Web3-Security-Library
Information about web3 security and programming tutorials/tools
jasonstrimpel/volatility-trading
A complete set of volatility estimators based on Euan Sinclair's Volatility Trading
a16z/halmos
A symbolic testing tool for EVM smart contracts
hudson-and-thames/arbitragelab
ArbitrageLab is a python library that enables traders who want to exploit mean-reverting portfolios by providing a complete set of algorithms from the best academic journals.
LechGrzelak/QuantFinanceBook
Quantitative Finance book
beatzxbt/bybit-smm
bybit simple market maker
darkforestry/amms-rs
A Rust library to interact with automated market makers across EVM chains.
LechGrzelak/Computational-Finance-Course
Here you will find materials for the course of Computational Finance
SomerEsat/ethereum-staking-guides
Ethereum Staking Guides
solana-developers/pirate-bootcamp
A pirate-theme bootcamp for getting up to speed on Solana programming!
sambacha/compendium
The Greatest Collection of anything related to finance and crypto
ImperialCollegeLondon/formalising-mathematics-2024
Formalising Mathematics; a course for undergraduate mathematicians. Ran between January and March 2024.
blanchette/logical_verification_2023
Hitchhiker's Guide to Logical Verification (2023 Edition)
hudson-and-thames/arbitrage_research
Jupyter Notebook examples on how to use the ArbitrageLab - pairs trading - python library.
jtriley-eth/uni-v4-core-flashloans
Simple Uniswap V4 Flashloan Receiver
blanchette/interactive_theorem_proving_2024
Files associated with the course Interactive Theorem Proving at LMU SoSe 2024
starkware-libs/formal-proofs
sambacha/openevm
Open Ethereum Virtual Machine - Knowledgebase, Documentation, etc
secureum/Secureum-Book
Decurity/tx-coverage
Reveal unused code of a live smart contract by collecting coverage from historical transactions.
OpenCoreCH/smart-contract-audits
Collection of different smart contract security audits I performed.
hhu-adam/Robo
A game for learning lean 4 where a cute little Robo joins you on your exploration of the Mathiverse. The game is in German 🇩🇪
subhobrata/Courses_in_ML_DL5
Courses_in_ML_DL5
bobcatzoo/Stochastic-Calculus-for-Finance-Notes
Visualization of Stochastic Calculus for Finance - Try...
chenjulang/lean-mathgirls
Formalized proofs of theorems/equations in "Math Girls (数学ガール)" book series, in Lean theorem prover.