informalsystems / themis-contract
A command line-based parameterized contracting tool
☆45Updated 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 7 months ago
- Find repositories, releases, and modules for projects in the Cosmos ecosystem.☆17Updated last year
- Bamboo: a morphing smart contract language☆37Updated 6 years ago
- Ambient Calculus research☆15Updated 3 years ago
- Low-security temporary experimental application-specific blockchains☆17Updated 4 years ago
- MOVED TO MONOREPO. prototype Vat host, modeled after KeyKOS Domains☆18Updated 5 years ago
- Linked Data Capabilities reference implementation☆26Updated 3 months ago
- Welcome to the Sikka Commons☆8Updated 5 years ago
- CultureStake is a web-based voting and connection system for decentralised cultural decision making☆29Updated 2 years ago
- This repo exists to collaborative develop and apply course materials on dynamic games☆11Updated 4 years ago
- Repository for Complex Systems model of the Grassroots Economics Community Inclusion Currency project.☆11Updated last year
- MOVED TO MONOREPO. Was: Electronic Rights Transfer Protocol (ERTP), the Smart Contract Framework☆19Updated 5 years ago
- Status codes for Ethereum smart contracts☆10Updated 6 years ago
- A privacy-preserving, auditable, distributed voting system.☆13Updated last year
- Radicle Developers of All Countries, Unite!☆17Updated 3 years ago
- A TLA+ implementation of the Avalanche Protocol Family, both for learning Avalanche and TLA+☆18Updated 4 years ago
- TLA+ specifications of various protocols used by wallets in the nitro protocol.☆18Updated 4 years ago
- The community repo for the Ambients protocol☆23Updated 3 years ago
- 🐧 UCAN RPC☆50Updated this week
- 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
- A testlab built with Nomad and Consul to analyze the behavior of p2p networks at scale☆22Updated 5 years ago
- ***Notice: This repository is no longer maintained.***UCAN.storage spec and packages☆26Updated last year
- Formalization of Tendermint proposer election properties☆15Updated 6 years ago
- AWAKE Protocol Specification☆34Updated last year
- ☆10Updated 2 years ago
- Tools for peer-to-peer privacy with Ethereum and AZTEC☆44Updated 5 months ago