informalsystems / themis-contract
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
- A Haskell framework that facilitates writing ABCI applications☆34Updated 8 months ago
- Find repositories, releases, and modules for projects in the Cosmos ecosystem.☆17Updated last year
- Formalization of Tendermint proposer election properties☆15Updated 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
- DSL for Secure DApps☆33Updated 2 years ago
- Bamboo: a morphing smart contract language☆37Updated 6 years ago
- Tools for peer-to-peer privacy with Ethereum and AZTEC☆44Updated 6 months ago
- Linked Data Capabilities reference implementation☆26Updated 4 months ago
- A cosmos network key-signer buildable in WASM☆28Updated last year
- Collection of radicle binaries.☆21Updated 3 years ago
- Low-security temporary experimental application-specific blockchains☆17Updated 4 years ago
- Organizing ProtoSchool events? Start here!☆41Updated 3 years ago
- Zero-Knowledge SNARKs from Linear-Size Universal and Updatable Structured Reference Strings☆45Updated 4 years ago
- Original position paper and white paper for Tezos☆38Updated 6 years ago
- MOVED TO MONOREPO. prototype Vat host, modeled after KeyKOS Domains☆18Updated 5 years ago
- A testing tool that broadcasts batches of transactions and tests opcodes☆12Updated 2 years ago
- CultureStake is a web-based voting and connection system for decentralised cultural decision making☆30Updated 2 years ago
- ☆19Updated 7 months ago
- An experimental chain to explore governance typologies within the cosmos☆10Updated last year
- Radicle Developers of All Countries, Unite!☆17Updated 3 years ago
- Ambient Calculus reduction engine☆8Updated 2 years ago
- A Vision of a Distributed, Free and Collectible Web ✨☆13Updated 5 years ago
- Sagan is an observability tool for Cosmos and other Tendermint applications☆37Updated last year
- Decentrally store files and manage their permissions☆16Updated 5 years ago
- (Aragon 1) Generate an Aragon environment☆20Updated last year
- Data aggregator for Cosmwasm☆18Updated 2 years ago
- MOVED TO MONOREPO. Was: Electronic Rights Transfer Protocol (ERTP), the Smart Contract Framework☆19Updated 5 years ago
- ☆10Updated 8 years ago
- Repository for Research on Conviction voting schemes☆53Updated 2 years ago