actusfrf / actus-techspecsLinks
The ACTUS technical specifications
☆25Updated 4 years ago
Alternatives and similar repositories for actus-techspecs
Users that are interested in actus-techspecs are comparing it to the libraries listed below
Sorting:
- This repository contains the actus dictionary and generation scripts☆20Updated last year
- Simulator for some PoS or consensus algorithms. Includes dfinity, casper IMD and others☆46Updated 5 years ago
- A lightning fast decentralised liquidity protocol.☆49Updated 6 years ago
- A shielded pegzone bridging Cosmos and Zcash.☆26Updated 5 years ago
- A privacy-preserving, auditable, distributed voting system.☆13Updated 2 years ago
- Experimental implementation of an ETH2.0 beacon chain in python☆10Updated 7 years ago
- Automated reward payment & account management for Tezos bakers.☆49Updated 4 years ago
- Teaches rholang to beginners and intermediate programmers through hands-on examples and experimentation.☆66Updated 3 years ago
- Bitcoin sidechain module for Lotion and Coins (A Cosmos Bitcoin peg zone implementation)☆72Updated 4 years ago
- United DAOs of Virgo (UDV)☆59Updated last month
- Semantics of Virtual Machine for IELE prototype blockchain☆132Updated 2 years ago
- A more technical description of Polkadot protocol☆47Updated 5 years ago
- ERC20 in K☆50Updated 6 years ago
- Scientists are SHOCKED by how easy it is to disrupt a $550B industry with this one weird trick!☆109Updated last year
- Orion is a PegaSys component for doing private transactions☆90Updated 3 years ago
- An Introduction to CBC Casper Consensus Protocols☆137Updated 6 years ago
- ☆22Updated 5 years ago
- Query API and indexer for Tezos and other decentralized platforms.☆89Updated 2 years ago
- A Haskell framework that facilitates writing ABCI applications☆34Updated last year
- Collection of research papers written within Gnosis☆92Updated 3 years ago
- utilities for Bitcoin SPV proof verification on (many!) other chains☆171Updated 2 years ago
- 🇳🇱✖️DutchX core smart contracts☆45Updated 5 years ago
- Multisig with a command-line interface☆22Updated 6 years ago
- Consensus for Web3☆95Updated last year
- Mina Protocol browser extension wallet☆47Updated 2 weeks ago
- Online Rholang interpreter.☆20Updated 4 years ago
- KVyper: Semantics of Vyper in K☆41Updated 7 years ago
- An example of a server side IBC relayer to be used for Game of Zones and beyond☆56Updated 5 years ago
- K framework proof explorer & smart contract specification format☆124Updated 4 years ago
- Ledger Nano S support for Tendermint/Cosmos☆42Updated 5 years ago