informalsystems / themis-contractLinks
A command line-based parameterized contracting tool
☆46Updated 2 years ago
Alternatives and similar repositories for themis-contract
Users that are interested in themis-contract are comparing it to the libraries listed below
Sorting:
- A Haskell framework that facilitates writing ABCI applications☆34Updated last year
- Find repositories, releases, and modules for projects in the Cosmos ecosystem.☆16Updated last month
- Low-security temporary experimental application-specific blockchains☆16Updated 5 years ago
- Formalization of Tendermint proposer election properties☆15Updated 7 years ago
- ☆19Updated last year
- Zero-Knowledge SNARKs from Linear-Size Universal and Updatable Structured Reference Strings☆47Updated 5 years ago
- An experimental Substrate implementation of the Radicle Registry 📒☆33Updated 5 years ago
- Codex durability engine research☆36Updated last week
- A demo application built on the Tendermint ABCI. Tech owner: Peter Bourgon.☆35Updated 7 years ago
- Linked Data Capabilities reference implementation☆28Updated 8 months ago
- MOVED TO MONOREPO. prototype Vat host, modeled after KeyKOS Domains☆18Updated 6 years ago
- ☆31Updated 4 years ago
- Rust implementation of Amino☆27Updated 5 years ago
- Working group for a standard liquid staking module for Cosmos Chain☆14Updated 4 years ago
- Sagan is an observability tool for Cosmos and other Tendermint applications☆37Updated 2 years ago
- This repository contains deprecated / legacy Unixfs "V2" discussions.☆22Updated 5 years ago
- Safely load verified IPFS content on its own domain with browser Cross-Origin Policy protection.☆27Updated 3 years ago
- Data aggregator for Cosmwasm☆18Updated 3 years ago
- a pet hawk that watches peer flux in libp2p dhts 🦅☆20Updated 6 years ago
- A cosmos network key-signer buildable in WASM☆29Updated 2 years ago
- An implementation of a DKG protocol for front-running protection on Anoma.☆84Updated 2 years ago
- Celestia Specifications☆49Updated 3 years ago
- Rosetta Libraries for Cosmos SDK apps☆24Updated 4 years ago
- formal verification of multicollateral dai in the K framework☆44Updated 4 years ago
- A TLA+ implementation of the Avalanche Protocol Family, both for learning Avalanche and TLA+☆18Updated 5 years ago
- A zkSNARK implementation of a merkle tree membership preimage proof.☆23Updated 6 years ago
- The Cosmos Improvements Proposals☆25Updated 2 years ago
- Radicle Developers of All Countries, Unite!☆16Updated 4 years ago
- LazyLedger academic prototype☆50Updated 5 years ago
- GitHub -> IPFS mirroring☆28Updated 8 years ago