Alternatives and similar repositories for tlc

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

• exthereum / merkle_patricia_tree
  Elixir implementation of modified Merkle Patricia tree (trie)
  ☆25Updated 5 years ago
• ZanjeerPlatform / csmt
  Compact Sparse Merkle Trees (CSMT) with pluggable storage.
  ☆38Updated 6 years ago
• helium / erlang-dkg
  Distributed key generation for Erlang (using pairing based cryptography)
  ☆43Updated 2 years ago
• helium / erlang-hbbft
  Erlang implementation of HoneyBadgerBFT
  ☆70Updated 2 years ago
• hengestone / scuttleberl
  An Erlang implementation of the Secure Scuttlebutt protocol
  ☆19Updated 5 years ago
• aeternity / enoise
  Erlang implementation of the Noise protocol
  ☆49Updated 3 weeks ago
• ZanjeerPlatform / bargad
  A Data Integrity framework for building efficient blockchains, transparency logs, secure file systems and more.
  ☆57Updated 6 years ago
• crytic / whipstaff
  A specification of the CBC Casper consensus protocols written in TLA+ and PlusCal (transpiled to TLA+)
  ☆21Updated 5 years ago
• cwgoes / tm-proposer-idris
  Formalization of Tendermint proposer election properties
  ☆15Updated 6 years ago
• mana-ethereum / bn
  BN128 elliptic curve operations for Elixir
  ☆11Updated 2 years ago
• arkworks-rs / ripp
  Argument systems for inner pairing products
  ☆42Updated 10 months ago
• hyperproofs / hyperproofs-go
  ☆22Updated 5 months ago
• exthereum / ethereum
  Exthereum, The Elixir Ethereum Client
  ☆21Updated 6 years ago
• arnaucube / go-blindsecp256k1
  Blind signatures over secp256k1 elliptic curve
  ☆18Updated 3 years ago
• testground / sdk-go
  Testground: SDK for developing test plans in Go
  ☆12Updated last year
• zack-bitcoin / MerkleTrie
  A merkel tree on the hard drive for a blockchain, written in erlang.
  ☆22Updated last year
• KrzysiekJ / abci_server
  An application that allows writing ABCI servers.
  ☆37Updated 5 years ago
• aeternity / aesophia
  Stand alone compiler for the Sophia smart contract language
  ☆53Updated last month
• valer-cara / meshsim
  Matrix mesh simulator
  ☆20Updated 5 years ago
• decanus / go-rln
  RLN wrappers and implementation in Go
  ☆11Updated 3 years ago
• aeternity / app_ctrl
  Alternative application controller for Erlang/OTP
  ☆30Updated last year
• ZcashFoundation / redjubjub
  A minimal RedJubjub implementation for use in Zebra.
  ☆28Updated last month
• aeternity / awesome-aeternity
  A curated list of resources for the æternity blockchain
  ☆14Updated 9 months ago
• Consensys / eth2stats-server
  Server and dashboard components
  ☆12Updated 11 months ago
• kwantam / bls12-381_hash
  Fast and simple constant-time hashing to the BLS12-381 elliptic curve
  ☆44Updated 5 years ago
• ZenGo-X / vice-city
  distributed RSA modulus generation in Rust
  ☆15Updated 3 years ago
• CoinCulture / agnes
  BFT consensus in Rust
  ☆21Updated 3 years ago
• lasp-lang / ishikawa
  Erlang implementation of tagged reliable causal broadcast.
  ☆25Updated 7 years ago
• ChainSafe / persistent-merkle-tree
  ☆12Updated 3 years ago
• g-andrade / quack
  Erlang implementation of Google QUIC protocol
  ☆21Updated 8 years ago