Informal Systems

Repositories

• themis-contract

  A command line-based parameterized contracting tool

  contracts
  Go Apache-2.0 1 22 33 (1 issue needs help) 0 Updated Dec 10, 2020

• ibc-rs

  IBC modules and relayer - Formal specifications and Rust implementation

  rust blockchain cosmos tendermint ibc
  Rust Apache-2.0 12 53 58 (1 issue needs help) 2 Updated Dec 10, 2020

• tendermint-rs

  Tendermint in Rust!
  Rust Apache-2.0 36 114 88 (7 issues need help) 14 Updated Dec 10, 2020

• apalache

  APALACHE: symbolic model checker for TLA+

  model-checking smt tla tlaplus
  Scala Apache-2.0 5 160 105 (5 issues need help) 4 Updated Dec 10, 2020

• jsonatr

  JSON Artifact Translator
  Rust Apache-2.0 0 6 4 0 Updated Dec 10, 2020

• homebrew-pkgs

  Homebrew packages maintained by informal.systems
  Ruby 0 0 0 0 Updated Dec 9, 2020

• cross-chain-validation
  Apache-2.0 0 6 2 0 Updated Dec 9, 2020

• abscissa

  Forked from iqlusioninc/abscissa

  Application microframework with command-line option parsing, configuration, error handling, logging, and shell interactions
  Rust Apache-2.0 27 1 1 10 Updated Dec 8, 2020

• apalache-sandbox
  TLA 1 0 0 0 Updated Dec 3, 2020

• conformance-tests

  Conformance tests generator + JSON test files
  Go Apache-2.0 0 0 0 0 Updated Oct 28, 2020

• relayer

  Forked from cosmos/relayer

  An example of a server side IBC relayer to be used for Game of Zones and beyond
  Go 126 0 0 0 Updated Oct 14, 2020

• vdd

  Verification-Driven Development
  0 15 8 0 Updated Sep 22, 2020

• Open-Grants-Program

  Forked from w3f/Open-Grants-Program

  Web3 Foundation Open Grants Program
  Apache-2.0 204 0 0 0 Updated Sep 16, 2020

• ibc-proto

  IBC Proto Rust implementation
  Rust Apache-2.0 0 1 2 1 Updated Sep 16, 2020

• apalache-tests

  Benchmarks for apalache

  tests tlaplus apalache
  SMT Apache-2.0 0 2 3 1 Updated Sep 14, 2020

• verification Archived

  Specifications of the protocols and the experiments on their verification
  2 9 4 0 Updated Jul 30, 2020

• tm-load-test

  tm-load-test tool - Tendermint load test application
  Go Apache-2.0 5 13 6 0 Updated Jul 9, 2020

• amino_rs

  Forked from tendermint/amino_rs

  Rust implementation of Amino
  Rust Apache-2.0 13 0 1 0 Updated Jun 23, 2020

• crates

  Forked from iqlusioninc/crates

  A collection of open source Rust crates from iqlusion
  Rust Apache-2.0 21 0 0 0 Updated Apr 11, 2020

• testnets

  Various different test network-related configurations for Tendermint
  Python Apache-2.0 1 3 6 0 Updated Apr 6, 2020

• tendermint

  Forked from tendermint/tendermint

  ⟁ Tendermint Core (BFT Consensus) in Go
  Go Apache-2.0 1,201 0 0 0 Updated Mar 27, 2020

• got

  Game of Tendermint
  Shell 0 4 5 0 Updated Feb 22, 2020

• reactor-experiments

  Experiments to help us establish a concurrency architecture for Tendermint in Rust
  Rust 0 1 2 1 Updated Feb 17, 2020

• merkleeyes
  Go Apache-2.0 1 1 6 0 Updated Sep 12, 2019