Notes for courses taken at Harvard (2015--2019)
☆482Dec 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
Sorting:
- Notes from the 278 semester class at Harvard☆19Jan 20, 2026Updated last month
- Miscellaneous notebooks for data analysis/visualization☆23Mar 6, 2022Updated 3 years ago
- Zen is a token trading protocol for transferring NFTs P2P.☆15Sep 7, 2022Updated 3 years ago
- DRAT proof processor☆16Apr 8, 2023Updated 2 years ago
- On-Chain Experiment Hub☆14Mar 31, 2022Updated 3 years ago
- ☆11Jul 27, 2022Updated 3 years ago
- ☆48Nov 1, 2021Updated 4 years ago
- A Repository Containing Log's Commissions☆10Feb 23, 2024Updated 2 years ago
- Oracle System☆15Jun 4, 2022Updated 3 years ago
- Always a good time☆17Jan 9, 2024Updated 2 years ago
- An intuitive and visual guide to understanding Maxwell's equations.☆797Jul 15, 2020Updated 5 years ago
- Automated market making whitepaper☆21Mar 6, 2021Updated 4 years ago
- General space for Solidity smart contract code and notes☆10Nov 29, 2023Updated 2 years ago
- The most degen solidity lib out there.☆28Jul 13, 2023Updated 2 years ago
- A binary search tree implementation in Solidity☆20Aug 5, 2022Updated 3 years ago
- My Cambridge Lecture Notes☆1,466Jul 14, 2024Updated last year
- For Solidity practice, I tried to rebuild the base ENS contracts from the EIP-137.☆21Jan 2, 2022Updated 4 years ago
- A salmonella token built with foundry☆20Apr 11, 2022Updated 3 years ago
- ☆172Sep 13, 2025Updated 5 months ago
- This is a solidity implementation of extremely efficient approximations for PI☆28May 13, 2022Updated 3 years ago
- Rust Implementation of the Solidity ABI☆43Sep 6, 2025Updated 5 months ago
- Application of formal systems to model biological systems☆494Apr 5, 2023Updated 2 years ago
- Gas comparison between Remco Bloemen's and Mikhail Vladimirov's mulDiv implementations.☆18Nov 29, 2021Updated 4 years ago
- Options for ERC721 assets via fractionalizing into ERC20 tokens & depositing into Primitve's RMM-01☆42Apr 10, 2022Updated 3 years ago
- ☆28Sep 27, 2022Updated 3 years ago
- Minimal EVM implementation in Rust☆29Mar 28, 2018Updated 7 years ago
- A dynamic on-chain racing game with real simulations 🏎️☆22Sep 26, 2022Updated 3 years ago
- Lecture notes from Cambridge maths☆73Feb 1, 2024Updated 2 years ago
- A learned index structure☆53Jan 5, 2021Updated 5 years ago
- Wolfsort is a stable adaptive hybrid radix / merge sort.☆199Jul 27, 2024Updated last year
- WARNING! NSFW CONTENT! This repository contains all of the human models shown on our website. Please read README.md for important details…☆46Aug 29, 2021Updated 4 years ago
- Intentionally-limited adaptations of defi protocols, dapps, and concepts☆32Jul 24, 2022Updated 3 years ago
- proof first, evm specific smt solver☆69Apr 11, 2022Updated 3 years ago
- Data Science from Scratch Implemented in Swift☆19Jul 24, 2020Updated 5 years ago
- ☆21May 9, 2023Updated 2 years ago
- evm implementation in rust☆16May 26, 2022Updated 3 years ago
- Modern, Opinionated Multicall Library☆23Feb 27, 2022Updated 4 years ago
- ☆17Jan 30, 2022Updated 4 years ago
- Fixed point solidity exponentiation.☆75Apr 11, 2022Updated 3 years ago