Alternatives and similar repositories for arithmetica

Users that are interested in arithmetica are comparing it to the libraries listed below

• smartcontracts / mind-breed
  A CryptoKitties powered Brainfuck interpreter on Ethereum
  ☆32Updated 7 years ago
• status-im / ETHPrize-interviews
  A repository for the ETHPrize website.
  ☆35Updated 3 years ago
• pepper-project / tinyram
  An independent reimplementation of (vn)TinyRAM
  ☆38Updated 9 years ago
• dapphub / k-dss
  formal verification of multicollateral dai in the K framework
  ☆44Updated 4 years ago
• decanus / research
  research, notes & ideas on various subjects
  ☆65Updated 3 years ago
• AztecProtocol / aztec-v1-specification
  AZTEC protocol specification
  ☆30Updated 5 years ago
• ethereum / eth2.0-tests
  [DEPRECATED] Common tests for all Eth2.0 implementations
  ☆19Updated 6 years ago
• dapphub / klab
  K framework proof explorer & smart contract specification format
  ☆124Updated 4 years ago
• Luker501 / SmartContractInteractions
  Lists examples of all the ways two smart contracts written in Solidity can interact.
  ☆24Updated 6 years ago
• kframework / vyper-semantics
  KVyper: Semantics of Vyper in K
  ☆41Updated 7 years ago
• cadCAD-org / cadCAD-Tutorials
  Design, test and validate complex systems through simulation in Python
  ☆69Updated 4 years ago
• jbaylina / ecsol
  Elliptic Curve Implementation in Solidity
  ☆81Updated 7 years ago
• zmitton / merkle-mountain-range
  Merkle tree optimized for lists of sequentially appended data and its proofs
  ☆40Updated 2 years ago
• Sikorkaio / sikorka
  Sikorka client and smart contract
  ☆36Updated 3 years ago
• ShrutiAppiah / Simulating-an-Economy-ABM
  Simulation of reward tokens in a DAO ⚡️Employs multi-agent simulations and discrete-time Markov random fields.
  ☆97Updated 2 years ago
• gnosis / dex-zksnarks
  Code to generate snark proofs for batch auction result validation of the Gnosis d.exchange
  ☆46Updated 6 years ago
• ledgerlabs / toy-state-channels
  An educational "toy" implementation of fully abstracted state channels
  ☆49Updated 9 years ago
• dpilch / solmd
  Markdown documentation generator for Solidity
  ☆33Updated 4 years ago
• BANKEX / plasma-research
  ☆24Updated 3 years ago
• pirapira / dry-analyzer
  Dr. Y's Ethereum Contract Analyzer
  ☆41Updated 3 years ago
• pirapira / vmtrace_visualizer
  A program that annotates a vm trace with dataflow information
  ☆34Updated 3 years ago
• status-im / athenaeum
  The Ethereum Research companion: research summary, impacts, specifications, status, resources, implementations
  ☆16Updated 7 years ago
• leobago / BSC-ETH2
  This repository compiles the work that the BSC team does on Eth2.0.
  ☆13Updated 3 years ago
• gnosis / dex-research
  Collection of research papers written within Gnosis
  ☆91Updated 4 years ago
• snario / zknifty
  🎴Zero-knowledge non-fungible tokens on Ethereum using zk-SNARKs
  ☆96Updated 7 years ago
• barryWhiteHat / semaphore
  ☆111Updated 6 years ago
• weijiekoh / zkmm
  A Mastermind game using zk-snarks
  ☆167Updated 3 years ago
• GuildOfWeavers / galois
  Arithmetic and polynomial operations in finite fields.
  ☆42Updated 2 years ago
• pipeos-one / pipeline
  Visual IDE for composing Solidity smart contracts and Dapp agents. Use on https://remix.ethereum.org : Settings -> Plugin -> click on Pip…
  ☆39Updated 4 years ago
• mattgstevens / awesome-zero-knowledge-proofs
  A collection of videos, reading materials and tools for learning all about the ZK side of crypto.
  ☆20Updated 7 years ago