informalsystems / themis-contract

Related projects ⓘ

Alternatives and complementary repositories for themis-contract

• f-o-a-m / kepler
  A Haskell framework that facilitates writing ABCI applications
  ☆34Updated 5 months ago
• andynog / cosmocope
  Find repositories, releases, and modules for projects in the Cosmos ecosystem.
  ☆17Updated last year
• cwgoes / tm-proposer-idris
  Formalization of Tendermint proposer election properties
  ☆15Updated 5 years ago
• statechannels / tla-specs
  TLA+ specifications of various protocols used by wallets in the nitro protocol.
  ☆17Updated 4 years ago
• Agoric / SwingSet
  MOVED TO MONOREPO. prototype Vat host, modeled after KeyKOS Domains
  ☆18Updated 4 years ago
• AlacrisIO / alacrity
  DSL for Secure DApps
  ☆33Updated last year
• cosmos / burner-chains
  Low-security temporary experimental application-specific blockchains
  ☆17Updated 4 years ago
• ipld / legacy-unixfs-v2
  This repository contains deprecated / legacy Unixfs "V2" discussions.
  ☆21Updated 4 years ago
• digitalbazaar / zcap
  Linked Data Capabilities reference implementation
  ☆25Updated last month
• disperze / wasmx
  Data aggregator for Cosmwasm
  ☆18Updated 2 years ago
• ipvm-wg / spec
  High Level IPVM Spec
  ☆51Updated last year
• sikkatech / sikkadao
  Welcome to the Sikka Commons
  ☆8Updated 5 years ago
• interchainio / ibc-visualizer
  ☆10Updated 2 years ago
• ucan-wg / awake
  AWAKE Protocol Specification
  ☆34Updated last year
• celestiaorg / protobuf3-solidity-lib
  Codec library for protobuf3 in Solidity
  ☆14Updated 7 months ago
• bitspossessed / culturestake
  CultureStake is a web-based voting and connection system for decentralised cultural decision making
  ☆29Updated last year
• decanus / rutschblock
  A TLA+ implementation of the Avalanche Protocol Family, both for learning Avalanche and TLA+
  ☆18Updated 4 years ago
• monadic-xyz / ipfs
  Haskell libraries for interacting with IPFS
  ☆26Updated 3 years ago
• mapofzones / cosmos-watcher
  ☆18Updated 4 months ago
• kobigurk / tmsp-ethereum
  ☆10Updated 8 years ago
• dapp-studies / game-theory-study-group
  Notes and stuff related to the study group
  ☆15Updated 7 years ago
• mmalvarez / eth-isabelle
  A Lem formalization of EVM and some Isabelle/HOL proofs
  ☆33Updated 4 years ago
• ipfs-shipyard / ipfs-dns-deploy
  A circleci friendly Docker image for pinning things to cluster and updating dns
  ☆38Updated last year
• airalab / github-ipfs
  GitHub -> IPFS mirroring
  ☆29Updated 7 years ago
• drewstone / rust-miximus
  A zkSNARK implementation of a merkle tree membership preimage proof.
  ☆24Updated 5 years ago
• interchainio / metachain
  An experimental chain to explore governance typologies within the cosmos
  ☆10Updated last year
• kadena-io / kadenamint
  ☆21Updated 4 years ago