Alternatives and similar repositories for kepler

Users that are interested in kepler are comparing it to the libraries listed below

• informalsystems / themis-contract
  A command line-based parameterized contracting tool
  ☆46Updated 2 years ago
• cosmos / burner-chains
  Low-security temporary experimental application-specific blockchains
  ☆16Updated 5 years ago
• sdiehl / sonic
  Zero-Knowledge SNARKs from Linear-Size Universal and Updatable Structured Reference Strings
  ☆47Updated 5 years ago
• cwgoes / scisco
  A privacy-preserving, auditable, distributed voting system.
  ☆13Updated 2 years ago
• AlacrisIO / alacrity
  DSL for Secure DApps
  ☆33Updated 2 years ago
• dapp-studies / game-theory-study-group
  Notes and stuff related to the study group
  ☆15Updated 8 years ago
• cwgoes / tm-proposer-idris
  Formalization of Tendermint proposer election properties
  ☆15Updated 6 years ago
• kframework / vyper-semantics
  KVyper: Semantics of Vyper in K
  ☆41Updated 7 years ago
• kadena-io / kadenamint
  ☆22Updated 5 years ago
• dapphub / k-dss
  formal verification of multicollateral dai in the K framework
  ☆45Updated 4 years ago
• cosmos / research
  ☆22Updated 5 years ago
• JoshOrndorff / LearnRholangByExample
  Teaches rholang to beginners and intermediate programmers through hands-on examples and experimentation.
  ☆66Updated 3 years ago
• andynog / cosmocope
  Find repositories, releases, and modules for projects in the Cosmos ecosystem.
  ☆16Updated this week
• f-o-a-m / chanterelle
  Chanterelle -- a more functional truffle
  ☆80Updated 9 months ago
• mmalvarez / eth-isabelle
  A Lem formalization of EVM and some Isabelle/HOL proofs
  ☆33Updated 5 years ago
• raineorshine / functional-solidity-language
  A typed, functional language that targets the EVM.
  ☆55Updated 8 years ago
• evm-lang-design / evm-lang-design
  Language Design Community for the EVM: Intro and Resources
  ☆135Updated 8 years ago
• rchain-community / rchain.cloud
  Online Rholang interpreter.
  ☆20Updated 4 years ago
• o1-labs / snarkette
  Pure OCaml implementation of the Groth-Maller SNARK verifier (and associated crypto)
  ☆55Updated 6 years ago
• iqlusioninc / cosmon
  Sagan is an observability tool for Cosmos and other Tendermint applications
  ☆37Updated 2 years ago
• airalab / hs-web3
  Web3 API for Haskell
  ☆193Updated last year
• cosmos / fundraiser-cli
  CLI tool for participating in Cosmos Fundraiser
  ☆12Updated 5 years ago
• input-output-hk / casino
  Demo / PoC / implementation of IOHK MPC protocols
  ☆19Updated 6 years ago
• ZcashFoundation / zcash-pegzone
  A shielded pegzone bridging Cosmos and Zcash.
  ☆26Updated 5 years ago
• mastercyb / cybics
  Foundations of cybics
  ☆15Updated 4 years ago
• fissionlabsio / tmcrawl
  A Tendermint p2p crawling utility and API.
  ☆20Updated 5 years ago
• gstew5 / snarkl
  ☆59Updated 3 years ago
• anoma / ferveo
  An implementation of a DKG protocol for front-running protection on Anoma.
  ☆83Updated 2 years ago
• 6thc / tendermint-cas-demo
  A demo application built on the Tendermint ABCI. Tech owner: Peter Bourgon.
  ☆35Updated 7 years ago
• celestiaorg / lazyledger-prototype
  LazyLedger academic prototype
  ☆50Updated 5 years ago