LeXpunK-Army / meta_law
Meta_Law resources / writings / code
☆19Updated 2 years ago
Related projects ⓘ
Alternatives and complementary repositories for meta_law
- Model Token Delegation & Voting Policy (Work in Progress)☆14Updated 3 years ago
- ☆29Updated 3 years ago
- formal verification of multicollateral dai in the K framework☆14Updated 3 years ago
- The Learning Curve smart contracts☆31Updated last year
- a model simple code deference agreement☆38Updated 4 years ago
- ☆19Updated 3 years ago
- Implementation of the Funds Distribution Standard ERC-2222☆33Updated last year
- Rari Capital Documentation☆17Updated 2 years ago
- ☆14Updated 3 years ago
- Yield Protocol v1☆44Updated last year
- Know if a call is from an EOA no matter what☆34Updated 3 years ago
- A simple and sufficient ERC721 implementation☆21Updated 2 years ago
- A dapptools/foundry-ready library for charging Harberger taxes on partial common non-fungible property.☆24Updated 2 years ago
- Lazy airdrop based on private temporary ids☆42Updated 3 years ago
- Token for accruing protocol revenues☆16Updated 2 years ago
- A one-page simple agreement for future tokens. Learn the definitions in the glossary, learn the terms in the annex, and let's all work to…☆15Updated 2 years ago
- ☆29Updated 2 years ago
- Tool to generate EIP-712 compatible Solidity☆14Updated 2 years ago
- Experimental python optimistic rollup fraud-proof generation☆29Updated 2 years ago
- A twitter bot that reports slashing events on the eth2 network (with a special twist)☆12Updated 3 years ago
- A set of simple solidity contracts to extend ENS functionality to other smart contracts☆37Updated 2 years ago
- Reputation score calculation logic used for various DAOs in Karma☆15Updated last month
- Simple Restricted Funds Distribution Token (ERC-1404 + ERC-2222)☆13Updated 4 years ago
- Testnet as a service - create shareable short lived testnets☆28Updated last year
- hashmask reverse lookup☆17Updated 3 years ago
- Sense Space: a YieldSpace implementation with a native yield-bearing side and an oracle☆37Updated 2 years ago
- A smart contract to batch ETH2 deposits. It offers high convenience for large ETH stakers and also saves them transaction costs.☆13Updated 2 years ago
- High level KSpecification for the MCD System by Runtime Verification and Maker Foundation☆28Updated 2 years ago
- Gas-optimized EVM multisig☆25Updated 3 years ago
- Simple m-of-n multisig proxy written in handcrafted EVM bytcode☆21Updated 7 years ago