informalsystems/themis-contract external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

informalsystems/themis-contract

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/informalsystems/themis-contract)

Close

informalsystems / themis-contractView on GitHubMore

• External links
• Readme badge

A command line-based parameterized contracting tool

☆46Sep 6, 2023Updated 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. We may earn a commission when you buy through links labeled 'Ad' on this page.

• tac0turtle / Entropy

  View on GitHub
  ☆14Mar 2, 2021Updated 5 years ago
• omgnetwork / honted

  View on GitHub
  OmiseGO node on Tendermint.
  ☆14Mar 27, 2018Updated 8 years ago
• virgo-project / virgo

  View on GitHub
  United DAOs of Virgo (UDV)
  ☆58Feb 4, 2026Updated 3 months ago
• tendermint / coding

  View on GitHub
  ☆14Feb 12, 2019Updated 7 years ago
• andynog / cosmocope

  View on GitHub
  Find repositories, releases, and modules for projects in the Cosmos ecosystem.
  ☆16Jan 12, 2026Updated 3 months ago
• Deploy to Railway using AI coding agents - Free Credits Offer • Ad
  Use Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
• jethrokuan / srs.ly

  View on GitHub
  SRS with Hypothes.is
  ☆14May 6, 2021Updated 4 years ago
• dialecticch / router

  View on GitHub
  A very simple router to exchange tokens for the best price on any UniswapV2 like AMM.
  ☆14Aug 31, 2021Updated 4 years ago
• tendermint / clearchain

  View on GitHub
  Cosmos app for clearing and settlements
  ☆47Apr 24, 2018Updated 8 years ago
• hashmatter / privacy-preserving-primitives

  View on GitHub
  primitives and protocols for implementing privacy preserving networks
  ☆16Jan 18, 2019Updated 7 years ago
• informalsystems / cosmos.nix

  View on GitHub
  A reproducible package set for Cosmos, IBC and CosmWasm
  ☆63Aug 29, 2025Updated 8 months ago
• decanus / bureka

  View on GitHub
  Pastry DHT implementation with a standalone libp2p compatible node
  ☆12Jun 22, 2020Updated 5 years ago
• Oaken-Innovations / mqttt

  View on GitHub
  Trusted MQTT messaging.
  ☆10Oct 6, 2017Updated 8 years ago
• tendermint / budget

  View on GitHub
  Budget is a Cosmos SDK module that implements budget functionality.
  ☆20Nov 8, 2022Updated 3 years ago
• rairyx / raven

  View on GitHub
  Anonymous decentralized message broadcasting based on Libp2p and Dandelion++
  ☆18Apr 12, 2020Updated 6 years ago
• 1-Click AI Models by DigitalOcean Gradient • Ad
  Deploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
• stonecoldpat / localcrypto

  View on GitHub
  Cryptographic protocols for Solidity.
  ☆13Aug 6, 2017Updated 8 years ago
• SpinResearch / merkle_sigs.rs

  View on GitHub
  🎄🖋 A Rust implementation of Merkle signing
  ☆15Jul 10, 2020Updated 5 years ago
• iqlusioninc / delphi

  View on GitHub
  Oracle feeder service (presently supporting Terra)
  ☆14Jan 23, 2023Updated 3 years ago
• apollodao / cw-vault-standard

  View on GitHub
  A standard for tokenized vaults written in CosmWasm
  ☆16May 9, 2025Updated 11 months ago
• coreos / libyubihsm-rs

  View on GitHub
  Rust library for interfacing with the YubiHSM2 (FFI bindings)
  ☆15Apr 25, 2018Updated 8 years ago
• cyberFund / cybernomics

  View on GitHub
  Open book: Cybernetic Economic System
  ☆14May 13, 2017Updated 8 years ago
• informalsystems / multisig

  View on GitHub
  Painless multisig for many keys across many cosmos-sdk chains
  ☆37Apr 8, 2026Updated 3 weeks ago
• aschmahmann / dht-graph

  View on GitHub
  A simple libp2p DHT crawler
  ☆16Jan 6, 2022Updated 4 years ago
• joelburget / lvca

  View on GitHub
  language verification, construction, and analysis
  ☆20Apr 2, 2022Updated 4 years ago
• Deploy to Railway using AI coding agents - Free Credits Offer • Ad
  Use Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
• LayerXcom / lx-sonic

  View on GitHub
  Sonic implementation in Rust
  ☆17Jun 4, 2019Updated 6 years ago
• relevant-community / oracle

  View on GitHub
  Cosmos Oracle Module
  ☆16May 6, 2021Updated 4 years ago
• bmorphism / risc0-cosmwasm-example

  View on GitHub
  CosmWasm + zkVM RISC-V EFI template
  ☆23Oct 20, 2022Updated 3 years ago
• informalsystems / hermes

  View on GitHub
  IBC Relayer in Rust
  ☆500Oct 29, 2025Updated 6 months ago
• celestiaorg / test-infra

  View on GitHub
  Testing infrastructure for the Celestia Network
  ☆25Jan 13, 2026Updated 3 months ago
• informalsystems / atomkraft

  View on GitHub
  Advanced fuzzing via Model Based Testing for Cosmos blockchains
  ☆84Apr 6, 2023Updated 3 years ago
• tendermint / liquidity

  View on GitHub
  Cosmos SDK Liquidity module
  ☆139Feb 23, 2022Updated 4 years ago
• tlaplus / rfcs

  View on GitHub
  RFCs for changes to the TLA+ specification language
  ☆11Mar 19, 2025Updated last year
• txrx-research / vorpal

  View on GitHub
  A Python simulator used to model cross shard transaction strategies for Ethereum 2.0
  ☆11May 3, 2024Updated 2 years ago
• 1-Click AI Models by DigitalOcean Gradient • Ad
  Deploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
• cosmos / registry

  View on GitHub
  ☆11Oct 12, 2021Updated 4 years ago
• tendermint / cosmos-rosetta-gateway

  View on GitHub
  Rosetta Libraries for Cosmos SDK apps
  ☆24May 12, 2021Updated 4 years ago
• status-im / geth_exporter

  View on GitHub
  geth metrics exporter for Prometheus
  ☆13Jan 21, 2026Updated 3 months ago
• hyphacoop / distributed-press-organizing

  View on GitHub
  ☆17Sep 13, 2022Updated 3 years ago
• atpar / funds-distribution-token

  View on GitHub
  Implementation of the Funds Distribution Standard ERC-2222
  ☆33Jan 23, 2023Updated 3 years ago
• allinbits / cosmos-cash

  View on GitHub
  Cosmos Cash
  ☆34Mar 7, 2023Updated 3 years ago
• hyphacoop / cosmos-ansible

  View on GitHub
  Ansible scripts for spinning up Cosmos network configurations
  ☆48Apr 8, 2026Updated 3 weeks ago