Alternatives and similar repositories for checker:

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

• oxheadalpha / TZComet
  Contract Metadata Viewer on Tezos
  ☆25Updated 7 months ago
• marigold-dev / tzstamp
  Trusted timestamping on the Tezos blockchain.
  ☆13Updated last year
• smart-chain-fr / ligolib
  Open-source reference Smart-contracts library for the Tezos Ecosystem, written in CamelLIGO and JSLigo
  ☆12Updated last year
• baking-bad / tezos-on-tezos
  Michelson VM and Tezos OS rewritten in Rust
  ☆25Updated last year
• runtimeverification / michelson-semantics
  A K semantics of Tezos' Michelson language.
  ☆17Updated 8 months ago
• tezos-checker / ctez
  ctez contract and frontend
  ☆22Updated 8 months ago
• completium / archetype-lang
  ☆73Updated 4 months ago
• KaroshiBee / weevil
  A debugger for Michelson
  ☆15Updated last year
• jstz-dev / jstz
  JavaScript runtime and compute platform build on Tezos Smart Rollups
  ☆39Updated this week
• funkywork / yourbones
  A companion library for writing applications on Tezos (in OCaml)
  ☆17Updated last year
• marigold-dev / breathalyzer
  A simple test framework for Ligo Lang
  ☆13Updated last year
• tez-capital / tezbox
  ☆11Updated last month
• serokell / tezos-packaging
  Various forms of Tezos software distribution for Linux and macOS.
  ☆60Updated this week
• metastatedev / smarter-contracts
  Application-layer smart contracts & tooling.
  ☆10Updated 5 years ago
• marigold-dev / deku
  ☆80Updated 2 years ago
• stove-labs / granary
  Tezos smart contract & dapp development toolkit
  ☆67Updated 2 years ago
• marigold-dev / pollinate
  A platform agnostic library for P2P communications using UDP and Bin_prot
  ☆21Updated 2 years ago
• murbard / plebeia
  Optimized Patricia trie with disk storage
  ☆31Updated 6 years ago
• marigold-dev / easier-proofs
  A project which aim to help engineers to make proves easily
  ☆13Updated 3 years ago
• murbard / smart-contracts
  A few smart contracts
  ☆25Updated 3 years ago
• d-plaindoux / transept
  An OCaml modular and generalised parser combinator library.
  ☆21Updated 3 years ago
• ArulselvanMadhavan / diffusers-ocaml
  Diffusers API in OCaml
  ☆21Updated 2 years ago
• ligolang / ligo-koans
  ☆15Updated last year
• art-w / mcavl
  Lock-free Sets and Maps for OCaml multicore
  ☆33Updated 2 years ago
• gasche / random-generator
  A small OCaml library to randomly generate values
  ☆29Updated 2 years ago
• dinosaure / hxd
  J'ai plus mal à la tête maintenant
  ☆26Updated 4 months ago
• mirage / irmin.org
  Irmin website
  ☆12Updated 2 months ago
• baking-bad / michelson-kernel
  Jupyter kernel for the Michelson language
  ☆18Updated 4 years ago
• art-w / ocaml-webdriver
  Web browser remote control
  ☆14Updated 2 years ago
• ocaml-multicore / ocaml-tsan
  Race detection in OCaml using the ThreadSanitizer runtime analysis.
  ☆20Updated 3 months ago