Alternatives and similar repositories for FAT

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

• pegnet / pegnetd
  The pegnet daemon to track txs, conversions, etc
  ☆13Updated 3 years ago
• kframework / vyper-semantics
  KVyper: Semantics of Vyper in K
  ☆41Updated 6 years ago
• TrueBitFoundation / ocaml-offchain
  Fork of WebAssembly reference interpreter with support for generating proofs needed for blockchain verification
  ☆44Updated 4 years ago
• pipeos-one / pipeline
  Visual IDE for composing Solidity smart contracts and Dapp agents. Use on https://remix.ethereum.org : Settings -> Plugin -> click on Pip…
  ☆38Updated 3 years ago
• ewasm / testnet
  Testnet planning & documentation
  ☆65Updated 6 years ago
• rbkhmrcr / zkpcontract
  Zero-knowledge proof verification contract in Solidity! #zkpontheblockchain
  ☆53Updated 6 years ago
• actusfrf / actus-techspecs
  The ACTUS technical specifications
  ☆24Updated 4 years ago
• UMAprotocol / whitepaper
  ☆77Updated 4 years ago
• Consensys / handel
  Multi-Signature Aggregation in a Large Byzantine Committees
  ☆54Updated 11 months ago
• cosmos / cosmos-academy
  Content for Cosmos Academy
  ☆67Updated 5 years ago
• smartcontractkit / solidity-cborutils
  A library for encoding CBOR in Solidity.
  ☆65Updated last year
• levelkdev / tcr
  A generic token-curated registry
  ☆10Updated 6 years ago
• cosmos / ledger-cosmos-obsolete
  Ledger Nano S support for Tendermint/Cosmos
  ☆42Updated 4 years ago
• DigixGlobal / solidity-statemachine-library
  State Machine
  ☆18Updated 7 years ago
• f-o-a-m / kepler
  A Haskell framework that facilitates writing ABCI applications
  ☆34Updated last year
• ethereum / eth2.0-tests
  [DEPRECATED] Common tests for all Eth2.0 implementations
  ☆19Updated 6 years ago
• kadena-io / kadenamint
  ☆22Updated 4 years ago
• dfinance / dnode
  dfinance is a DeFi blockchain with financial contracts support
  ☆29Updated 4 years ago
• Consensys / wittgenstein
  Simulator for some PoS or consensus algorithms. Includes dfinity, casper IMD and others
  ☆45Updated 5 years ago
• Consensys / protocol-BountiedWork
  Repository to track bounties across all of PegaSys's repositories
  ☆10Updated 5 years ago
• kobigurk / tmsp-ethereum
  ☆10Updated 8 years ago
• dapphub / k-dss
  formal verification of multicollateral dai in the K framework
  ☆46Updated 3 years ago
• leobago / BSC-ETH2
  This repository compiles the work that the BSC team does on Eth2.0.
  ☆13Updated 2 years ago
• celestiaorg / lazyledger-prototype
  LazyLedger academic prototype
  ☆49Updated 4 years ago
• FourthState / plasma-research
  Research documents related to our implementation
  ☆43Updated 6 years ago
• djrtwo / beacon_chain
  Experimental implementation of an ETH2.0 beacon chain in python
  ☆10Updated 6 years ago
• barryWhiteHat / baby_jubjub
  Supporting evidence for security of the baby_jubjub curve to be used in altbn128, Ethereum
  ☆39Updated 5 years ago
• makerdao / simplecoin1
  Something to play with while we wait
  ☆20Updated 5 years ago
• matter-labs-archive / alpha_line
  MPC implementation for a structured reference string (SRS) generation for SONIC proof system
  ☆24Updated 6 years ago
• vdfresearch / vdfresearch.github.io
  Website!
  ☆22Updated 2 years ago