Alternatives and similar repositories for FAT

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

• BlockScience / conviction
  Repository for Research on Conviction voting schemes
  ☆51Updated 2 years ago
• kframework / vyper-semantics
  KVyper: Semantics of Vyper in K
  ☆41Updated 7 years ago
• pegnet / pegnetd
  The pegnet daemon to track txs, conversions, etc
  ☆13Updated last week
• renproject / darknode-sol
  An implementation of Darknode smart contracts, written in Solidity
  ☆85Updated 2 years ago
• dapphub / k-dss
  formal verification of multicollateral dai in the K framework
  ☆45Updated 4 years ago
• blocknative / assist
  Blocknative Assist widget for blockchain usability
  ☆55Updated 3 years ago
• 1Hive / gardens-template
  Aragon DAO Template for public community coordination
  ☆15Updated 5 years ago
• f-o-a-m / kepler
  A Haskell framework that facilitates writing ABCI applications
  ☆34Updated last year
• TruebitProtocol / wiki
  Classic source for Truebit documentation
  ☆58Updated 4 years ago
• aragon / AGPs
  Aragon Goverance Proposals repository
  ☆60Updated 5 years ago
• gnosis / dex-zksnarks
  Code to generate snark proofs for batch auction result validation of the Gnosis d.exchange
  ☆46Updated 6 years ago
• magmo / force-move-protocol
  A force-move protocol implementation
  ☆55Updated 3 years ago
• LogvinovLeon / estid-sig
  Verify Estonian e-id signatures on Ethereum
  ☆62Updated 3 years ago
• gnosis / dx-contracts
  🇳🇱✖️DutchX core smart contracts
  ☆45Updated 5 years ago
• CornellBlockchain / bamboo
  Bamboo: a morphing smart contract language
  ☆37Updated 7 years ago
• davebryson / py-abci
  Build Tendermint blockchain applications in Python
  ☆65Updated last year
• virgo-project / virgo
  United DAOs of Virgo (UDV)
  ☆59Updated 3 weeks ago
• streamr-dev / monoplasma
  Unidirectional payment distribution channel with monotonically increasing balances (now obsolete)
  ☆38Updated 4 years ago
• sigp / cbc-casper-js
  JS implementation of Vlad Zamfir's CBC Casper TFG
  ☆27Updated 3 years ago
• UMAprotocol / whitepaper
  ☆81Updated 5 years ago
• JacobEberhardt / documents
  ☆20Updated 7 years ago
• empowerthedao / uniswap-aragon-app
  Aragon app integrated with the Uniswap protocol.
  ☆21Updated 2 years ago
• status-im / the-explainers
  The Explainers Initiative is an open effort to bring technical content regarding the Serenity upgrade of the Ethereum blockchain closer t…
  ☆10Updated 6 years ago
• ChorusOne / liquid-staking
  Liquid Staking: An ICF-funded project to explore how staking will evolve.
  ☆36Updated 5 years ago
• summa-tx / relays
  Cross-chain relays :)
  ☆55Updated 2 years ago
• espresso-org / aragon-datastore
  Decentrally store files and manage their permissions
  ☆16Updated 6 years ago
• dOrgTech / ID-DAO
  Identity DAO, a new decentralized solution to verifying humans.
  ☆15Updated 5 years ago
• DigixGlobal / solidity-statemachine-library
  State Machine
  ☆18Updated 7 years ago
• levelkdev / tcr
  A generic token-curated registry
  ☆10Updated 7 years ago
• rchain-community / rchain.cloud
  Online Rholang interpreter.
  ☆20Updated 4 years ago