dakk / yallo-lang

Related projects ⓘ

Alternatives and complementary repositories for yallo-lang

• completium / archetype-lang
  ☆70Updated 5 months ago
• KaroshiBee / weevil
  A debugger for Michelson
  ☆15Updated last year
• vbmithr / ocaml-ledger-wallet
  ☆14Updated 2 months ago
• dakk / secp256k1-ml
  Elliptic curve library secp256k1 wrapper for Ocaml
  ☆24Updated 11 months ago
• oxheadalpha / TZComet
  Contract Metadata Viewer on Tezos
  ☆25Updated 2 months ago
• OCamlPro / tzscan
  The TzScan block explorer for Tezos
  ☆12Updated 5 years ago
• baking-bad / tezos-on-tezos
  Michelson VM and Tezos OS in Rust
  ☆25Updated last year
• OCamlPro / techelson
  A test execution engine for Michelson smart contracts.
  ☆17Updated 5 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 last year
• jstz-dev / jstz
  JavaScript runtime and compute platform build on Tezos Smart Rollups
  ☆34Updated this week
• murbard / smart-contracts
  A few smart contracts
  ☆25Updated 3 years ago
• baking-bad / michelson-kernel
  Jupyter kernel for the Michelson language
  ☆18Updated 3 years ago
• tezos-checker / ctez
  ctez contract and frontend
  ☆22Updated 3 months ago
• tezedge / tezedge-client
  Tezos Client/Wallet written in Rust.
  ☆14Updated 3 years ago
• tz-wrapped / tezos-btc
  Wrapped Bitcoin on Tezos Blockchain
  ☆13Updated last year
• madfish-solutions / quipuswap-stable-core
  Token2Token DEX for equal-price tokens based on StableSwap algos on top of Tezos
  ☆12Updated last year
• runtimeverification / michelson-semantics
  A K semantics of Tezos' Michelson language.
  ☆17Updated 2 months ago
• blockwatch-cc / tzstats-legacy
  Tezos Block Explorer by Blockwatch
  ☆18Updated 2 years ago
• murbard / plebeia
  Optimized Patricia trie with disk storage
  ☆31Updated 5 years ago
• metastatedev / smarter-contracts
  Application-layer smart contracts & tooling.
  ☆10Updated 5 years ago
• stove-labs / tzip-12
  Reference implementation of the TZIP-12 Tezos token standard
  ☆11Updated last year
• ligolang / ligo-koans
  ☆15Updated last year
• marigold-dev / tzstamp
  Trusted timestamping on the Tezos blockchain.
  ☆12Updated last year
• igarnier / ocaml-geth
  Strongly-typed OCaml overlay for Go-Ethereum (geth)
  ☆11Updated 3 years ago
• tezos-checker / checker
  An in-development "robocoin" system for the Tezos blockchain
  ☆24Updated 2 years ago
• madfish-solutions / templewallet-dapp
  👾 This module is required to provide communication between DApps and Temple Wallet
  ☆16Updated last year
• smart-chain-fr / ligolib
  Open-source reference Smart-contracts library for the Tezos Ecosystem, written in CamelLIGO and JSLigo
  ☆12Updated last year
• madfish-solutions / quipuswap-core
  🧙‍♂️ Repository containing QuipuSwap liquidity protocol smart-contracts written in Ligo language
  ☆48Updated 2 years ago
• cryptosense / pkcs11
  OCaml bindings for the PKCS#11 cryptographic API
  ☆22Updated last year