Alternatives and similar repositories for techelson

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

• OCamlPro / tzscan
  The TzScan block explorer for Tezos
  ☆12Updated 6 years ago
• fab13n / lamtez
  An ML-inspired smart contract language, compiling to Tezos' Michelson VM
  ☆22Updated 7 years ago
• stove-labs / granary
  Tezos smart contract & dapp development toolkit
  ☆67Updated 2 years ago
• baking-bad / better-call-dev
  Check bcd instead
  ☆20Updated 3 years ago
• vbmithr / ocaml-ledger-wallet
  ☆14Updated 10 months ago
• completium / archetype-lang
  ☆73Updated 7 months ago
• o1-labs / snarkette
  Pure OCaml implementation of the Groth-Maller SNARK verifier (and associated crypto)
  ☆55Updated 6 years ago
• dakk / secp256k1-ml
  Elliptic curve library secp256k1 wrapper for Ocaml
  ☆24Updated last year
• cryptiumlabs / library
  This repository is used as an open library for the blockchain community. We include letters, papers, analysis, blogposts, etc, for anyone…
  ☆31Updated 4 years ago
• maht0rz / pinata-sdk
  Unofficial SDK for Pinata IPFS pinning service
  ☆27Updated 6 years ago
• TezTech / eztz-cli
  Node.js CLI Client for Tezos using eztz.js
  ☆14Updated 7 years ago
• TezTech / fi-compiler
  Custom compiler for Michelson - Tezos Smart Contracts
  ☆43Updated 6 years ago
• bonedaddy / Tezos-Developer-Resources
  Resources for Tezos Developers
  ☆35Updated 5 years ago
• murbard / smart-contracts
  A few smart contracts
  ☆25Updated 4 years ago
• KaroshiBee / weevil
  A debugger for Michelson
  ☆15Updated last year
• dakk / bitcoinml
  Bitcoin data-structures library for OCaml
  ☆43Updated 5 years ago
• mariaschett / ppltr
  A PoPuLaToR for a PeePhoLe opTimizeR
  ☆12Updated 3 years ago
• stove-labs / tzip-12
  Reference implementation of the TZIP-12 Tezos token standard
  ☆11Updated 2 years ago
• juliannagele / ebso
  EVM Bytecode Super Optimizer
  ☆36Updated 4 years ago
• tezos / optimal_stack
  Compiler for stack manipulation in Michelson
  ☆15Updated 6 years ago
• zenprotocol / contracts
  Contract examples
  ☆10Updated 3 years ago
• YangVincent / SmartContractTester
  Analyze Solidity Smart Contracts with a variety of Dynamic/Static Analysis Suites
  ☆12Updated 6 years ago
• ambientsprotocol / ambients-reducer
  Ambient Calculus reduction engine
  ☆8Updated 2 years ago
• tezos / tezos-papers
  Original position paper and white paper for Tezos
  ☆38Updated 7 years ago
• blockwatch-cc / tzstats-legacy
  Tezos Block Explorer by Blockwatch
  ☆18Updated 3 years ago
• dakk / tezpool
  Tezos baking redistribution software
  ☆24Updated 6 months ago
• tezbox / web-wallet
  ☆13Updated 5 years ago
• metastatedev / smarter-contracts
  Application-layer smart contracts & tooling.
  ☆10Updated 6 years ago
• cryptiumlabs / backerei
  Automated reward payment & account management for Tezos bakers.
  ☆49Updated 3 years ago
• Cryptonomic / Nautilus
  Automation tools for deploying blockchain networks
  ☆22Updated 2 years ago