Alternatives and similar repositories for COS-ECE473-sp2023

Users that are interested in COS-ECE473-sp2023 are comparing it to the libraries listed below

• tyleryzhu / course-notes
  Source code for most of my course notes
  ☆22Updated 4 years ago
• lekhovitsky / CS364A
  Solutions to Tim Roughgarden's Algorithmic Game Theory course exercises and problems
  ☆80Updated 2 years ago
• b-chiang / protocol-reading-list
  ☆451Updated 3 years ago
• ddkang / zkml
  ☆364Updated last year
• zk-ml / linear-regression-demo
  private quantized linear regression on Ethereum
  ☆215Updated 3 years ago
• zkml-community / awesome-zkml
  Aggregator for amazing ZKML resources
  ☆411Updated last year
• 0xmebius / mev
  ☆415Updated 3 years ago
• callummcdougall / ARENA_2.0
  Resources for skilling up in AI alignment research engineering. Covers basics of deep learning, mechanistic interpretability, and RL.
  ☆232Updated 3 months ago
• flashbots / mev-research
  Project management for MEV Research
  ☆964Updated last week
• Mikerah / awesome-algorithmic-game-theory
  An Awesome list for resources on algorithmic game theory
  ☆163Updated 2 years ago
• fuzzland / audit_gpt
  Fine-tuning GPT for Smart Contract Auditing
  ☆166Updated 2 years ago
• 0xngmi / ideas
  A list of ideas for cool stuff to build
  ☆369Updated last year
• 0xpranay / solidity-notes
  A bunch of notes for beginners learning solidity
  ☆243Updated 3 years ago
• wellecks / ntptutorial
  Tutorial on neural theorem proving
  ☆177Updated last year
• flashbots / mev-job-board
  Need a bot?
  ☆828Updated 2 years ago
• Anish-Agnihotri / flashside
  Long-tail MEV contracts to claim Otherside land NFTs
  ☆583Updated 3 years ago
• zkonduit / ezkl
  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
• srush / GPTWorld
  A puzzle to learn about prompting
  ☆135Updated 2 years ago
• 0xperp / awesome-amm
  Collection of AMMs, Orderbooks, and everything in between
  ☆333Updated last year
• hzysvilla / Academic_Smart_Contract_Papers
  Academic Smart Contract Papers. Welcome developers or researchers to add more published papers to this list.
  ☆602Updated 2 weeks ago
• bertmiller / sMEV
  ☆496Updated 4 years ago
• xCaptainFortune / NO-BULLSHIT-GUIDE-TO-MEV-By-CaptainFortune
  ☆220Updated 2 years ago
• SunWeb3Sec / DeFiLabs
  On-chain test DeFi using Foundry
  ☆217Updated 2 years ago
• guiltygyoza / tiny-dnn-on-starknet
  ☆90Updated 4 years ago
• 0xalpharush / awesome-MEV-resources
  Get up to speed on Maximum Extractable Value
  ☆1,142Updated last year
• flashbots / mev-inspect-py
  🔎 an MEV inspector for Ethereum 🔎
  ☆846Updated last year
• leonardoalt / ethereum_formal_verification_overview
  Overview of the formal verification projects in the Ethereum ecosystem.
  ☆335Updated 8 months ago
• WintermuteResearch / Alpha-Challenge-2024
  A set of case studies for the Wintermute Alpha Challenge
  ☆161Updated 3 months ago
• bcc-research / CFMMRouter.jl
  Convex optimization for fun and profit. (Now in Julia!)
  ☆353Updated 11 months ago
• WilfredTA / formal-methods-curriculum
  Formal methods training program with an emphasis on software in the blockchain & decentralized financed (DeFi) industry
  ☆168Updated 3 years ago