ecpeterson/FormalGeomNotes external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

ecpeterson/FormalGeomNotes

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/ecpeterson/FormalGeomNotes)

Close

ecpeterson / FormalGeomNotesView on GitHubMore

• External links
• Readme badge

Notes from the 278 semester class at Harvard

☆19Jan 20, 2026Updated last month

Alternatives and similar repositories for FormalGeomNotes

Users that are interested in FormalGeomNotes are comparing it to the libraries listed below

• fiveoutofnine / misc-notebooks

  View on GitHub
  Miscellaneous notebooks for data analysis/visualization
  ☆23Mar 6, 2022Updated 3 years ago
• zkSoju / zen

  View on GitHub
  Zen is a token trading protocol for transferring NFTs P2P.
  ☆15Sep 7, 2022Updated 3 years ago
• sushi-labs / market-making-whitepaper

  View on GitHub
  Automated market making whitepaper
  ☆21Mar 6, 2021Updated 4 years ago
• digama0 / frat

  View on GitHub
  DRAT proof processor
  ☆16Apr 8, 2023Updated 2 years ago
• refcell / evolve

  View on GitHub
  On-Chain Experiment Hub
  ☆14Mar 31, 2022Updated 3 years ago
• lonerapier / Degenmate

  View on GitHub
  The most degen solidity lib out there.
  ☆28Jul 13, 2023Updated 2 years ago
• d3or / sol-trees

  View on GitHub
  A binary search tree implementation in Solidity
  ☆20Aug 5, 2022Updated 3 years ago
• Rjected / salmonella

  View on GitHub
  A salmonella token built with foundry
  ☆20Apr 11, 2022Updated 3 years ago
• 0xPhaze / Gachapon

  View on GitHub
  ☆11Jul 27, 2022Updated 3 years ago
• nlordell / solabi-rs

  View on GitHub
  Rust Implementation of the Solidity ABI
  ☆43Sep 6, 2025Updated 5 months ago
• LogETH / commissions

  View on GitHub
  A Repository Containing Log's Commissions
  ☆10Feb 23, 2024Updated 2 years ago
• fiatdao / delphi-i

  View on GitHub
  Oracle System
  ☆15Jun 4, 2022Updated 3 years ago
• cairoeth / GOO-Racing

  View on GitHub
  A dynamic on-chain racing game with real simulations 🏎️
  ☆22Sep 26, 2022Updated 3 years ago
• ga-reth / lil-defi

  View on GitHub
  Intentionally-limited adaptations of defi protocols, dapps, and concepts
  ☆32Jul 24, 2022Updated 3 years ago
• refcell / archived-parcels

  View on GitHub
  Modern, Opinionated Multicall Library
  ☆23Feb 27, 2022Updated 4 years ago
• julianjca / erc721-nft-drop

  View on GitHub
  ☆17Jan 30, 2022Updated 4 years ago
• hrkrshnn / solmate-math-fuzz

  View on GitHub
  ☆35Jul 8, 2022Updated 3 years ago
• gallery-so / contracts

  View on GitHub
  Always a good time
  ☆17Jan 9, 2024Updated 2 years ago
• transmissions11 / publications

  View on GitHub
  Collection of reports/articles/publications/etc of mine.
  ☆50May 26, 2022Updated 3 years ago
• verumlotus / PrimitiveThetaVaults

  View on GitHub
  Theta vaults leveraging Primtive's RMM-01 modeling the payoff function of a covered call.
  ☆37Jan 21, 2022Updated 4 years ago
• refcell / protec

  View on GitHub
  An Isolated Safe Environment to Execute Foundry Projects.
  ☆44Jul 22, 2022Updated 3 years ago
• plotchy / jop-foundry

  View on GitHub
  ☆21Mar 31, 2022Updated 3 years ago
• ControlCplusControlV / Sushi-Sway

  View on GitHub
  Probably Nothing
  ☆12May 23, 2022Updated 3 years ago
• d3or / ll-stack-solidity

  View on GitHub
  A stack implementation via a single linked list in solidity.
  ☆37Feb 19, 2022Updated 4 years ago
• Alongside-Finance / amkt-contracts

  View on GitHub
  ☆10May 18, 2023Updated 2 years ago
• emo-eth / foundry-create2-deployer

  View on GitHub
  (WIP) Foundry scripting template for deploying contracts to deterministic addresses on any network
  ☆29Jul 9, 2022Updated 3 years ago
• verumlotus / Fractionalized-ERC721-Options

  View on GitHub
  Options for ERC721 assets via fractionalizing into ERC20 tokens & depositing into Primitve's RMM-01
  ☆42Apr 10, 2022Updated 3 years ago
• tarungog / geth_scan

  View on GitHub
  Scans the internet for open geth RPC clients
  ☆25Jul 2, 2017Updated 8 years ago
• nonsense / filecoin-oracle

  View on GitHub
  ☆14Feb 16, 2021Updated 5 years ago
• whitenois3 / TINIH

  View on GitHub
  Produce probabilities for economy-based environments.
  ☆11Sep 10, 2022Updated 3 years ago
• 0xPhaze / clones-with-immutable-args-comparison

  View on GitHub
  ☆12Sep 25, 2022Updated 3 years ago
• refcell / shipnauts

  View on GitHub
  Shipyard Precourse Work Part 4
  ☆10Mar 30, 2022Updated 3 years ago
• 0xinugami / aztec-lido-bridge

  View on GitHub
  ☆12Feb 3, 2022Updated 4 years ago
• thingtheory / vote-escrow-nft

  View on GitHub
  ☆11Jan 25, 2022Updated 4 years ago
• Sabnock01 / yield-mentorship

  View on GitHub
  Repo for Yield Protocol 2022 mentorship lessons
  ☆26Aug 8, 2022Updated 3 years ago
• EVM-SMT / solver

  View on GitHub
  proof first, evm specific smt solver
  ☆69Apr 11, 2022Updated 3 years ago
• recmo / experiment-solexp

  View on GitHub
  Fixed point solidity exponentiation.
  ☆75Apr 11, 2022Updated 3 years ago
• 0xJepsen / Ramanujan-Algorithm

  View on GitHub
  This is a solidity implementation of extremely efficient approximations for PI
  ☆28May 13, 2022Updated 3 years ago
• Alexangelj / dcs

  View on GitHub
  Dungeon Crawler System
  ☆27Jan 5, 2022Updated 4 years ago