Alternatives and similar repositories for themis-contract

Users that are interested in themis-contract are comparing it to the libraries listed below

• f-o-a-m / kepler
  A Haskell framework that facilitates writing ABCI applications
  ☆34Updated last year
• andynog / cosmocope
  Find repositories, releases, and modules for projects in the Cosmos ecosystem.
  ☆17Updated 2 months ago
• Agoric / SwingSet
  MOVED TO MONOREPO. prototype Vat host, modeled after KeyKOS Domains
  ☆18Updated 5 years ago
• sdiehl / sonic
  Zero-Knowledge SNARKs from Linear-Size Universal and Updatable Structured Reference Strings
  ☆46Updated 5 years ago
• ambientsprotocol / ambients-reducer
  Ambient Calculus reduction engine
  ☆8Updated 2 years ago
• o1-labs / snarkette
  Pure OCaml implementation of the Groth-Maller SNARK verifier (and associated crypto)
  ☆55Updated 6 years ago
• cwgoes / tm-proposer-idris
  Formalization of Tendermint proposer election properties
  ☆15Updated 6 years ago
• cosmos / burner-chains
  Low-security temporary experimental application-specific blockchains
  ☆17Updated 5 years ago
• CornellBlockchain / bamboo
  Bamboo: a morphing smart contract language
  ☆38Updated 6 years ago
• digitalbazaar / zcap
  Linked Data Capabilities reference implementation
  ☆26Updated last month
• AlacrisIO / alacrity
  DSL for Secure DApps
  ☆33Updated 2 years ago
• statechannels / tla-specs
  TLA+ specifications of various protocols used by wallets in the nitro protocol.
  ☆18Updated 5 years ago
• mmalvarez / Gazelle
  Gazelle = Generalized Elle. A framework for reusable programming language semantics.
  ☆18Updated 3 years ago
• ambientsprotocol / research-ambients
  Ambient Calculus research
  ☆15Updated 4 years ago
• Agoric / ERTP
  MOVED TO MONOREPO. Was: Electronic Rights Transfer Protocol (ERTP), the Smart Contract Framework
  ☆19Updated 5 years ago
• ProtoSchool / organizing
  Organizing ProtoSchool events? Start here!
  ☆41Updated 3 years ago
• kadena-io / kadenamint
  ☆22Updated 4 years ago
• ricmoo / meeseeks-app
  Safely load verified IPFS content on its own domain with browser Cross-Origin Policy protection.
  ☆27Updated 2 years ago
• kframework / vyper-semantics
  KVyper: Semantics of Vyper in K
  ☆41Updated 6 years ago
• ucan-wg / awake
  AWAKE Protocol Specification
  ☆36Updated last year
• dapphub / k-dss
  formal verification of multicollateral dai in the K framework
  ☆46Updated 3 years ago
• informalsystems / unclog
  Unclog your changelog
  ☆37Updated 7 months ago
• Finhaven / EthereumStatusCodes
  Status codes for Ethereum smart contracts
  ☆10Updated 7 years ago
• ipld / legacy-unixfs-v2
  This repository contains deprecated / legacy Unixfs "V2" discussions.
  ☆21Updated 5 years ago
• valer-cara / meshsim
  Matrix mesh simulator
  ☆20Updated 5 years ago
• initc3 / SaUCy
  The modular protocol framework based on Universal Composability
  ☆18Updated 5 years ago
• anoma / research
  Early-stage research related to the Anoma protocols.
  ☆23Updated last year
• anchorageoss / tezosprotocol
  An implementation of the Tezos peer-to-peer communications protocol.
  ☆22Updated last month
• globalcitizen / ifex-protocol
  Internet Financial EXchange (IFEX) Protocol
  ☆19Updated 7 years ago
• informalsystems / cosmos.nix
  A reproducible package set for Cosmos, IBC and CosmWasm
  ☆60Updated last month