Notes for courses taken at Harvard (2015--2019)
☆483Dec 12, 2018Updated 7 years ago
Alternatives and similar repositories for harvard_notes
Users that are interested in harvard_notes are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Notes from the 278 semester class at Harvard☆19Jan 20, 2026Updated 3 months ago
- Miscellaneous notebooks for data analysis/visualization☆23Mar 6, 2022Updated 4 years ago
- A compilation of lecture notes☆17May 1, 2019Updated 7 years ago
- On-Chain Experiment Hub☆14Mar 31, 2022Updated 4 years ago
- Zen is a token trading protocol for transferring NFTs P2P.☆15Sep 7, 2022Updated 3 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- DRAT proof processor☆16Apr 8, 2023Updated 3 years ago
- Always a good time☆17Jan 9, 2024Updated 2 years ago
- ☆49Nov 1, 2021Updated 4 years ago
- Mathematics + Statistics Courses at the University of Alberta☆16Jan 8, 2023Updated 3 years ago
- Stanford course notes in math / CS☆20Oct 19, 2019Updated 6 years ago
- My Cambridge Lecture Notes☆1,499Jul 14, 2024Updated last year
- The most degen solidity lib out there.☆28Jul 13, 2023Updated 2 years ago
- General space for Solidity smart contract code and notes☆10Nov 29, 2023Updated 2 years ago
- Oracle System☆15Jun 4, 2022Updated 3 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Shipyard Precourse Work Part 4☆10Mar 30, 2022Updated 4 years ago
- Sets of LaTex course notes taken for various Math/CS classes at McGill University: currently include MATH 240, MATH 247, MATH 323 and a r…☆39Feb 1, 2021Updated 5 years ago
- A salmonella token built with foundry☆20Apr 11, 2022Updated 4 years ago
- Intentionally-limited adaptations of defi protocols, dapps, and concepts☆32Jul 24, 2022Updated 3 years ago
- An intuitive and visual guide to understanding Maxwell's equations.☆798Jul 15, 2020Updated 5 years ago
- This is a solidity implementation of extremely efficient approximations for PI☆28May 13, 2022Updated 3 years ago
- Fixed point solidity exponentiation.☆75Apr 11, 2022Updated 4 years ago
- ☆21May 9, 2023Updated 2 years ago
- ☆174Sep 13, 2025Updated 7 months ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- A binary search tree implementation in Solidity☆20Aug 5, 2022Updated 3 years ago
- Rust Implementation of the Solidity ABI☆43Sep 6, 2025Updated 7 months ago
- For Solidity practice, I tried to rebuild the base ENS contracts from the EIP-137.☆21Jan 2, 2022Updated 4 years ago
- Automated market making whitepaper☆21Mar 6, 2021Updated 5 years ago
- Modern, Opinionated Multicall Library☆23Feb 27, 2022Updated 4 years ago
- An Isolated Safe Environment to Execute Foundry Projects.☆44Jul 22, 2022Updated 3 years ago
- Collection of reports/articles/publications/etc of mine.☆50May 26, 2022Updated 3 years ago
- Links to resources talking about how to learn & understand mathematics, and mathematical language, terminology and notation.☆1,228Nov 22, 2024Updated last year
- Options for ERC721 assets via fractionalizing into ERC20 tokens & depositing into Primitve's RMM-01☆42Apr 10, 2022Updated 4 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- proof first, evm specific smt solver☆69Apr 11, 2022Updated 4 years ago
- Application of formal systems to model biological systems☆495Apr 5, 2023Updated 3 years ago
- Wayeb is a Complex Event Processing and Forecasting (CEP/F) engine written in Scala.☆150Nov 17, 2023Updated 2 years ago
- ☆35Jul 8, 2022Updated 3 years ago
- Lean proof that a normed vector space with compact unit ball is finite dimensional☆11Dec 7, 2019Updated 6 years ago
- evm implementation in rust☆16May 26, 2022Updated 3 years ago
- Minimal EVM implementation in Rust☆29Mar 28, 2018Updated 8 years ago