Alternatives and similar repositories for checker

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

• marigold-dev / tzstamp
  Trusted timestamping on the Tezos blockchain.
  ☆13Updated last year
• oxheadalpha / TZComet
  Contract Metadata Viewer on Tezos
  ☆25Updated 9 months ago
• smart-chain-fr / ligolib
  Open-source reference Smart-contracts library for the Tezos Ecosystem, written in CamelLIGO and JSLigo
  ☆11Updated last year
• completium / archetype-lang
  ☆73Updated 6 months ago
• baking-bad / tezos-on-tezos
  Michelson VM and Tezos OS rewritten in Rust
  ☆25Updated last year
• marigold-dev / breathalyzer
  A simple test framework for Ligo Lang
  ☆13Updated last year
• tezos-checker / ctez
  ctez contract and frontend
  ☆22Updated 10 months ago
• runtimeverification / michelson-semantics
  A K semantics of Tezos' Michelson language.
  ☆17Updated 9 months ago
• stove-labs / granary
  Tezos smart contract & dapp development toolkit
  ☆67Updated 2 years ago
• jstz-dev / jstz
  JavaScript runtime and compute platform build on Tezos Smart Rollups
  ☆42Updated this week
• KaroshiBee / weevil
  A debugger for Michelson
  ☆15Updated last year
• marigold-dev / pollinate
  A platform agnostic library for P2P communications using UDP and Bin_prot
  ☆21Updated 2 years ago
• ligolang / ligo-koans
  ☆15Updated last year
• serokell / tezos-packaging
  Various forms of Tezos software distribution for Linux and macOS.
  ☆61Updated 2 weeks ago
• funkywork / yourbones
  A companion library for writing applications on Tezos (in OCaml)
  ☆17Updated last year
• marigold-dev / deku
  ☆80Updated 2 years ago
• blockwatch-cc / tzstats-legacy
  Tezos Block Explorer by Blockwatch
  ☆18Updated 3 years ago
• marigold-dev / easier-proofs
  A project which aim to help engineers to make proves easily
  ☆13Updated 3 years ago
• OCamlPro / liquidity
  A high-level language for Dune Network (and Tezos) with OCaml and ReasonML syntaxes, with a decompiler from Michelson
  ☆157Updated 4 years ago
• OCamlPro / tzscan
  The TzScan block explorer for Tezos
  ☆12Updated 6 years ago
• tez-capital / tezbox
  ☆11Updated last week
• midl-dev / tezos-on-gke
  A secure, turn-key public Tezos baking service on Kubernetes
  ☆32Updated last year
• ArulselvanMadhavan / diffusers-ocaml
  Diffusers API in OCaml
  ☆21Updated 2 years ago
• airgap-it / tezos-rust-sdk
  ☆18Updated last year
• murbard / smart-contracts
  A few smart contracts
  ☆25Updated 4 years ago
• baking-bad / michelson-kernel
  Jupyter kernel for the Michelson language
  ☆18Updated 4 years ago
• oxheadalpha / smart-contracts
  A library of smart contracts
  ☆101Updated last year
• obsidiansystems / ledger-app-tezos
  Ledger app for Tezos
  ☆102Updated 3 years ago
• OCamlPro / ezjs
  Some useful libraries to work with `js_of_ocaml`
  ☆13Updated 9 months ago
• mirage / irmin.org
  Irmin website
  ☆12Updated 3 months ago