informalsystems / themis-contractLinks
A command line-based parameterized contracting tool
☆46Updated last year
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
- Formalization of Tendermint proposer election properties☆15Updated 6 years ago
- Find repositories, releases, and modules for projects in the Cosmos ecosystem.☆17Updated last month
- ☆19Updated 11 months ago
- Zero-Knowledge SNARKs from Linear-Size Universal and Updatable Structured Reference Strings☆45Updated 5 years ago
- Bamboo: a morphing smart contract language☆38Updated 6 years ago
- TLA+ specifications of various protocols used by wallets in the nitro protocol.☆18Updated 4 years ago
- An experimental Substrate implementation of the Radicle Registry 📒☆34Updated 4 years ago
- Data aggregator for Cosmwasm☆18Updated 2 years ago
- Low-security temporary experimental application-specific blockchains☆17Updated 5 years ago
- formal verification of multicollateral dai in the K framework☆46Updated 3 years ago
- Organizing ProtoSchool events? Start here!☆41Updated 3 years ago
- A demo application built on the Tendermint ABCI. Tech owner: Peter Bourgon.☆35Updated 6 years ago
- DSL for Secure DApps☆33Updated 2 years ago
- ☆20Updated 4 years ago
- A contract that allows you to create private keys on-chain and sign data with secp256k1 signatures☆25Updated 4 years ago
- Painless multisig for many keys across many cosmos-sdk chains☆37Updated 6 months ago
- Cosmos Oracle Module☆16Updated 4 years ago
- Unclog your changelog☆36Updated 6 months ago
- Early-stage research related to the Anoma protocols.☆23Updated last year
- An api for constructing sparse Merkle tree accumulators with random sampling capabilities.☆24Updated 3 years ago
- An experimental chain to explore governance typologies within the cosmos☆10Updated last year
- Status codes for Ethereum smart contracts☆10Updated 6 years ago
- Sagan is an observability tool for Cosmos and other Tendermint applications☆37Updated 2 years ago
- The modular protocol framework based on Universal Composability☆18Updated 4 years ago
- MOVED TO MONOREPO. prototype Vat host, modeled after KeyKOS Domains☆18Updated 5 years ago
- Formalization of Typhon protocol☆31Updated 5 months ago
- ☆22Updated 4 years ago
- Repository for Complex Systems model of the Grassroots Economics Community Inclusion Currency project.☆11Updated 2 years ago
- An implementation of the Tezos peer-to-peer communications protocol.☆22Updated last month