Blockchains-Princeton / COS-ECE473-sp2023Links
Princeton University - COS/ECE 473 : Elements of Decentralized Finance
☆11Updated 2 years ago
Alternatives and similar repositories for COS-ECE473-sp2023
Users that are interested in COS-ECE473-sp2023 are comparing it to the libraries listed below
Sorting:
- Source code for most of my course notes☆22Updated 4 years ago
- Solutions to Tim Roughgarden's Algorithmic Game Theory course exercises and problems☆80Updated 2 years ago
- ☆451Updated 3 years ago
- ☆364Updated last year
- private quantized linear regression on Ethereum☆215Updated 3 years ago
- Aggregator for amazing ZKML resources☆411Updated last year
- ☆415Updated 3 years ago
- Resources for skilling up in AI alignment research engineering. Covers basics of deep learning, mechanistic interpretability, and RL.☆232Updated 3 months ago
- Project management for MEV Research☆964Updated last week
- An Awesome list for resources on algorithmic game theory☆163Updated 2 years ago
- Fine-tuning GPT for Smart Contract Auditing☆166Updated 2 years ago
- A list of ideas for cool stuff to build☆369Updated last year
- A bunch of notes for beginners learning solidity☆243Updated 3 years ago
- Tutorial on neural theorem proving☆177Updated last year
- Need a bot?☆828Updated 2 years ago
- Long-tail MEV contracts to claim Otherside land NFTs☆583Updated 3 years ago
- ezkl is an engine for doing inference for deep learning models and other computational graphs in a zk-snark (ZKML). Use it from Python, J…☆1,143Updated last month
- A puzzle to learn about prompting☆135Updated 2 years ago
- Collection of AMMs, Orderbooks, and everything in between☆333Updated last year
- Academic Smart Contract Papers. Welcome developers or researchers to add more published papers to this list.☆602Updated 2 weeks ago
- ☆496Updated 4 years ago
- ☆220Updated 2 years ago
- On-chain test DeFi using Foundry☆217Updated 2 years ago
- ☆90Updated 4 years ago
- Get up to speed on Maximum Extractable Value☆1,142Updated last year
- 🔎 an MEV inspector for Ethereum 🔎☆846Updated last year
- Overview of the formal verification projects in the Ethereum ecosystem.☆335Updated 8 months ago
- A set of case studies for the Wintermute Alpha Challenge☆161Updated 3 months ago
- Convex optimization for fun and profit. (Now in Julia!)☆353Updated 11 months ago
- Formal methods training program with an emphasis on software in the blockchain & decentralized financed (DeFi) industry☆168Updated 3 years ago