Alternatives and similar repositories for solidity-arithmetic

Users that are interested in solidity-arithmetic are comparing it to the libraries listed below

• spalladino / erc20-verifier
  Online ERC20 verifier based on tinchoabbate's slither-scripts
  ☆13Updated 5 years ago
• Tenderly / sol.tty
  ☆22Updated 2 years ago
• zdai-io / zDai-mixer
  zDai.io - confidential Dai transactions on Burner wallet
  ☆29Updated 6 years ago
• keep-network / sortition-pools
  A data structure to perform weighted sortition in Solidity.
  ☆21Updated last year
• lsankar4033 / surrogeth
  Tricking frontrunners into doing good
  ☆42Updated 2 years ago
• clemlak / leafleth
  📑 Documentation generator for Solidity
  ☆26Updated 3 years ago
• summa-tx / enhanced-tokens
  Advanced functionality for ERC20 tokens, as abstract inheritable contracts
  ☆20Updated 2 years ago
• dapphub / ds-cabal
  Simple m-of-n multisig proxy written in handcrafted EVM bytcode
  ☆21Updated 7 years ago
• quilt / account-abstraction-playground
  Everything you need to create your first account abstraction contract in one place
  ☆30Updated 4 years ago
• anydotcrypto / metatransactions
  A minimal meta-transaction library. It supports proxy accounts & the msgSender() solution.
  ☆45Updated last year
• AztecProtocol / consolerr
  Solidity error logging
  ☆23Updated 3 years ago
• zatoichi-labs / plasma-cash-vyper
  Plasma Cash, written in Vyper
  ☆11Updated 5 years ago
• emilianobonassi / gas-saver-deployer
  A collection of smart contracts to save gas on Ethereum to deploy other contracts leveraging CHI tokens.
  ☆19Updated 4 years ago
• waynenilsen / zendax
  ☆12Updated 3 years ago
• makerdao / k-dss
  formal verification of multicollateral dai in the K framework
  ☆15Updated 3 years ago
• yieldprotocol / fyDai
  Yield Protocol v1
  ☆44Updated last year
• protolambda / zcli
  Eth2 CLI debugging tool
  ☆37Updated 3 months ago
• AztecProtocol / Oliver
  Huff implementation of the BabyJubJub curve
  ☆13Updated 5 years ago
• vyperlang / vvm
  Vyper version manager
  ☆25Updated 3 months ago
• Amxx / Permit
  ☆32Updated 2 years ago
• d1ll0n / exeDAO
  ☆14Updated 5 years ago
• makerdao / price-feed
  price feed, with expiration and medianizer poke
  ☆32Updated 4 years ago
• bakaoh / solidity-rlp-encode
  RLP encoding in Solidity
  ☆27Updated last year
• alcueca / DecimalMath
  Smart contract implementing fixed point math operations using structs for type checking.
  ☆29Updated 4 years ago
• PhABC / gastoken-factory--token-sale
  Token Sale example implementing GasToken Factory methods
  ☆19Updated 6 years ago
• pipeos-one / goldengate
  ☆28Updated 2 years ago
• mosendo / gasless.js
  Gasless Dai transfers for browser & Node.js
  ☆22Updated 2 years ago
• yearn / eth-allowlist
  ☆16Updated 2 years ago
• dankins / kirby-web3
  ☆25Updated 2 years ago
• eternauta1337 / aave-credit-delegation
  Helper for using Aave's credit delegation
  ☆17Updated 3 years ago