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 2 months ago

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 4 years ago
• zkSoju / zen

  View on GitHub
  Zen is a token trading protocol for transferring NFTs P2P.
  ☆15Sep 7, 2022Updated 3 years ago
• lonerapier / Degenmate

  View on GitHub
  The most degen solidity lib out there.
  ☆28Jul 13, 2023Updated 2 years ago
• refcell / evolve

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

  View on GitHub
  A salmonella token built with foundry
  ☆20Apr 11, 2022Updated 3 years ago
• gallery-so / contracts

  View on GitHub
  Always a good time
  ☆17Jan 9, 2024Updated 2 years ago
• ga-reth / lil-defi

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

  View on GitHub
  DRAT proof processor
  ☆16Apr 8, 2023Updated 2 years ago
• zmwangx / Typeset-EGA-SGA

  View on GitHub
  Typeset version of EGA and SGA by Grothendieck.
  ☆12Jan 28, 2014Updated 12 years ago
• 0xPhaze / Gachapon

  View on GitHub
  ☆11Jul 27, 2022Updated 3 years ago
• d3or / sol-trees

  View on GitHub
  A binary search tree implementation in Solidity
  ☆20Aug 5, 2022Updated 3 years ago
• nlordell / solabi-rs

  View on GitHub
  Rust Implementation of the Solidity ABI
  ☆43Sep 6, 2025Updated 6 months ago
• sushi-labs / market-making-whitepaper

  View on GitHub
  Automated market making whitepaper
  ☆21Mar 6, 2021Updated 5 years ago
• refcell / archived-parcels

  View on GitHub
  Modern, Opinionated Multicall Library
  ☆23Feb 27, 2022Updated 4 years ago
• refcell / protec

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

  View on GitHub
  Collection of reports/articles/publications/etc of mine.
  ☆50May 26, 2022Updated 3 years ago
• hrkrshnn / solmate-math-fuzz

  View on GitHub
  ☆35Jul 8, 2022Updated 3 years ago
• ericfinster / opetopic-types

  View on GitHub
  Higher Algebra with Opetopic Types
  ☆16Mar 30, 2023Updated 2 years ago
• ericfinster / higher-alg

  View on GitHub
  An approach to higher algebra in type theory
  ☆23May 12, 2020Updated 5 years ago
• Alongside-Finance / amkt-contracts

  View on GitHub
  ☆10May 18, 2023Updated 2 years ago
• julianjca / erc721-nft-drop

  View on GitHub
  ☆17Jan 30, 2022Updated 4 years ago
• gakonst / save-noun11

  View on GitHub
  ☆15May 6, 2022Updated 3 years ago
• clabby / diffur

  View on GitHub
  A simple TUI to assist in diffing bodies of text
  ☆15May 9, 2024Updated last year
• recmo / experiment-solexp

  View on GitHub
  Fixed point solidity exponentiation.
  ☆75Apr 11, 2022Updated 3 years ago
• uemurax / synthetic-topos-theory

  View on GitHub
  ☆15Oct 31, 2023Updated 2 years ago
• hellwolf / popsicle-exploit

  View on GitHub
  Using various tools to rediscover popsicle exploit
  ☆15Mar 10, 2022Updated 4 years ago
• uemurax / morg

  View on GitHub
  Organize mathematical thoughts
  ☆20Oct 6, 2023Updated 2 years ago
• ControlCplusControlV / Sushi-Sway

  View on GitHub
  Probably Nothing
  ☆12May 23, 2022Updated 3 years 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
• jirilebl / ca

  View on GitHub
  Graduate level course on complex analysis in one variable: Guide to Cultivating Complex Analysis
  ☆13Jan 30, 2026Updated last month
• 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
• alexanderattar / solidity-tools

  View on GitHub
  General space for Solidity smart contract code and notes
  ☆10Nov 29, 2023Updated 2 years ago
• tarungog / geth_scan

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

  View on GitHub
  A framework for building modular, community-governed crypto native games with interoperable assets.
  ☆11Nov 8, 2021Updated 4 years ago
• plotchy / jop-foundry

  View on GitHub
  ☆21Mar 31, 2022Updated 3 years ago
• EVM-SMT / solver

  View on GitHub
  proof first, evm specific smt solver
  ☆69Apr 11, 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
• 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