arithm3tica / arithmeticaLinks
Arithmetica is a reusable platform to democratize the computation and data availability of computational math problems.
☆17Updated 7 years ago
Alternatives and similar repositories for arithmetica
Users that are interested in arithmetica are comparing it to the libraries listed below
Sorting:
- You will find an index of our research work here.☆26Updated 5 years ago
- Design, test and validate complex systems through simulation in Python☆69Updated 4 years ago
- Sikorka client and smart contract☆36Updated 3 years ago
- A CryptoKitties powered Brainfuck interpreter on Ethereum☆32Updated 7 years ago
- Collection of research papers written within Gnosis☆91Updated 4 years ago
- Simulation of reward tokens in a DAO ⚡️Employs multi-agent simulations and discrete-time Markov random fields.☆97Updated 2 years ago
- Design and code prototypes for a system of forking oracle-enshrined L2 ledgers☆27Updated last year
- [DEPRECATED] Common tests for all Eth2.0 implementations☆19Updated 6 years ago
- 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
- Simple Ethereum event tracking☆55Updated 7 years ago
- research, notes & ideas on various subjects☆65Updated 3 years ago
- Smart Contract Security Guidelines☆13Updated 6 years ago
- Sputnik is an assembly language and interpreter for Fully Homomorphic Encryption☆27Updated 7 years ago
- Simple collared option smart contract for ETH/BTC☆19Updated 9 years ago
- documentation, justification, and potential use-cases of the Amoveo blockchain.☆25Updated 3 weeks ago
- ☆64Updated 3 years ago
- A repository for the ETHPrize website.☆35Updated 3 years ago
- A repo for solidity software design patterns☆59Updated 8 years ago
- Decentrally store files and manage their permissions☆16Updated 6 years ago
- Automatic market maker with batched buy & sell orders☆32Updated 3 years ago
- Maximize your interest rates☆33Updated 3 years ago
- Use GodMode to get full control of any Ethereum contract or account☆42Updated last year
- ZeroLaw Augmentation Protocol☆27Updated last year
- Ethereum 9 3/4's zk-SNARKs circuits and the python library for Mimblewimble on Ethereum☆80Updated 3 years ago
- py.test plugin for testing Ethereum smart contracts☆20Updated 7 years ago
- The Ethereum Research companion: research summary, impacts, specifications, status, resources, implementations☆16Updated 7 years ago
- An educational "toy" implementation of fully abstracted state channels☆49Updated 9 years ago
- Uniswap cadCAD models and data analyses☆17Updated 5 years ago
- Elliptic Curve Implementation in Solidity☆80Updated 7 years ago
- formal verification of multicollateral dai in the K framework☆44Updated 4 years ago