nerdherd / ChargedUp2023Links
Code for FRC Team 687's 2023 robot.
☆10Updated last year
Alternatives and similar repositories for ChargedUp2023
Users that are interested in ChargedUp2023 are comparing it to the libraries listed below
Sorting:
- ☆18Updated 2 years ago
- Barebones Rust EVM Implementation☆12Updated 3 years ago
- Succinctly prove the fundamental equation of DAI fails to hold using the Certora prover.☆15Updated last year
- Produce probabilities for economy-based environments.☆11Updated 3 years ago
- blah☆17Updated 4 years ago
- Rust Primitives, Learnings, & Frameworks☆17Updated 3 years ago
- A basic example for how to use hashes to "store" complex objects as hashes. Inspired by 0xSplits.☆13Updated 3 years ago
- My version of a clone factory with immutable args WIP!☆18Updated 3 years ago
- Official Foundry landing page☆16Updated 2 years ago
- Zen is a token trading protocol for transferring NFTs P2P.☆15Updated 3 years ago
- My playgrounderino for starkneterino☆13Updated 3 years ago
- Share interest from Vaults with charities, friends, and more.☆15Updated 2 years ago
- A dynamic on-chain racing game with real simulations 🏎️☆22Updated 3 years ago
- GOO(Gradual Ownership Optimization) issuance implementation using Huff☆34Updated 3 years ago
- EthernautDAO reputation system☆13Updated 3 years ago
- ☆12Updated 3 years ago
- ☆12Updated 3 years ago
- Delegatecall from any contract. A kind of vm.prank for delegatecalls.☆19Updated last year
- ☆19Updated 3 years ago
- Audits for sudoswap contracts☆29Updated 3 years ago
- ☆17Updated 3 years ago
- Curta Challenge☆16Updated 2 years ago
- A simple TUI to assist in diffing bodies of text☆14Updated last year
- A collection of practical circom circuits☆14Updated 3 years ago
- Vote-escrowed SUSHI built on ERC-4626 vault standard.☆15Updated 3 years ago
- ☆11Updated 3 years ago
- A minimal contract with a lock/redeem/refund mechanism.☆23Updated 3 years ago
- Just testing, nothing to see here.☆13Updated 3 years ago
- An abstract P2E engine, allowing developers an interface to develop minigames and turn them over to their communities☆15Updated 3 years ago
- ☆15Updated 3 years ago