Alternatives and similar repositories for proof-machine

Users that are interested in proof-machine are comparing it to the libraries listed below

• ton-org / create-ton
  A tool to quickly setup TON smart contract projects
  ☆13Updated last month
• ton-blockchain / tolk-js
  WASM wrapper for Tolk Language (next-generation FunC)
  ☆38Updated 2 weeks ago
• ton-blockchain / convert-func-to-tolk
  Convert FunC contracts to Tolk with a single command
  ☆37Updated 3 months ago
• EmelyanenkoK / toncoin-oraclized-bridge
  ☆11Updated 2 years ago
• akifoq / multisig
  ☆22Updated 2 years ago
• ton-blockchain / tolk-vscode
  Archived, not maintained. Moved to "ton-language-server"
  ☆28Updated 3 months ago
• ton-blockchain / tolk-bench
  "Tolk vs FunC" gas benchmarks — and at the same time, reference contracts in Tolk
  ☆23Updated 2 weeks ago
• Trinketer22 / turbo-wallet
  Library for sharded contracts creation
  ☆11Updated 4 months ago
• ton-blockchain / tvm-web-viewer
  Execute tx in browser and check TVM stack step by step
  ☆43Updated last week
• ton-community / disassembler
  TON VM disassembler
  ☆27Updated 2 years ago
• tonwhales / ton-nft
  ☆35Updated 3 years ago
• ton-community / mintless-jetton
  Reference implementation of mintless jetton (TEP-177). TEP-74 and TEP-89 compatible
  ☆59Updated last year
• ton-blockchain / payment-channels
  Payment channels smart contracts
  ☆61Updated 3 years ago
• ton-community / compressed-nft-api
  ☆25Updated last year
• ton-blockchain / locker-contract
  ☆46Updated 2 years ago
• tonkeeper / mintless-toolbox
  ☆12Updated last year
• tjifyodor / ton3-core
  ☆10Updated last year
• catchain / address-book
  tonscan.org addresses repository
  ☆26Updated this week
• ton-community / simple-distributor
  ☆11Updated 2 years ago
• OpenBuilders / welcome-to-ton
  ☆15Updated last year
• ProgramCrafter / wallet-contract
  Wallet V5 and plugin smart contracts
  ☆25Updated last year
• pyAndr3w / ton-preprocessed-wallet-v2
  Best wallet smart contract for TON Blockchain and other TVM-based blockchains
  ☆25Updated 2 years ago
• ton-blockchain / lockup-wallet-contract
  ☆44Updated last year
• ton-blockchain / adnl-tunnel
  ☆20Updated last week
• hacker-volodya / liteserver
  TON Liteserver reimplementation
  ☆17Updated 9 months ago
• ton-blockchain / token-bridge
  TON-EVM token bridge frontend
  ☆24Updated 4 months ago
• EmelyanenkoK / basecoin
  Sample code for modern jetton. TEP-74 and TEP-89 compatible
  ☆21Updated last year
• ton-community / tlb-codegen
  Generate TypeScript code from TL-B scheme
  ☆28Updated last month
• evaafi / contracts
  ☆51Updated last month
• EmelyanenkoK / jetton_dao
  ☆17Updated last year