A test execution engine for Michelson smart contracts.
☆17Mar 5, 2019Updated 7 years ago
Alternatives and similar repositories for techelson
Users that are interested in techelson are comparing it to the libraries listed below
Sorting:
- The TzScan block explorer for Tezos☆12Apr 11, 2019Updated 6 years ago
- This is the legacy code base of TezBridge☆12Jun 21, 2019Updated 6 years ago
- Automation tools for deploying blockchain networks☆20Dec 8, 2022Updated 3 years ago
- ☆14Sep 9, 2024Updated last year
- Check bcd instead☆20Jan 15, 2022Updated 4 years ago
- Some useful libraries to work with `js_of_ocaml`☆13Sep 20, 2024Updated last year
- Blockchain data analytics tool☆32Jan 7, 2023Updated 3 years ago
- Various tutorials to interact with the ConseilJS Library☆10Feb 15, 2019Updated 7 years ago
- Ordgen / ORC-721 Sandbox☆18Sep 4, 2023Updated 2 years ago
- Reference implementation of the TZIP-12 Tezos token standard☆11Jan 24, 2023Updated 3 years ago
- Testing and benchmarking tool for logic-related programs.☆28Updated this week
- An ML-inspired smart contract language, compiling to Tezos' Michelson VM☆21Sep 29, 2017Updated 8 years ago
- Dig into an opam switch for doc☆10Apr 8, 2022Updated 3 years ago
- Easily build clients and servers on top of a common REST API, automatically derived from OCaml types.☆23Updated this week
- Tezos JS Library☆113Jan 19, 2023Updated 3 years ago
- A few smart contracts☆25May 12, 2021Updated 4 years ago
- Tezos smart contract & dapp development toolkit☆67Jan 3, 2023Updated 3 years ago
- A library implementing a simplex algorithm, in a functional style, for solving systems of linear inequalities☆16Dec 11, 2024Updated last year
- A high-level language for Dune Network (and Tezos) with OCaml and ReasonML syntaxes, with a decompiler from Michelson☆156Feb 24, 2021Updated 5 years ago
- Samples and solutions from Chris Okasaki's "Purely Functional Data Structures", written in OCaml.☆12Jun 13, 2021Updated 4 years ago
- Url safe slug generator for OCaml☆16Jul 19, 2021Updated 4 years ago
- The Stream and Genlex libraries for use with Camlp4 and Camlp5☆16Oct 14, 2025Updated 5 months ago
- Resources for Tezos Developers☆35Jan 14, 2020Updated 6 years ago
- A dynamic way to instantiate an OCaml flow☆17Feb 26, 2026Updated 3 weeks ago
- Automated reward payment & account management for Tezos bakers.☆49Aug 11, 2021Updated 4 years ago
- Tezos baking redistribution software☆23Dec 28, 2024Updated last year
- A block breaking game☆11Sep 5, 2022Updated 3 years ago
- A key-value store for OCaml☆17Feb 1, 2022Updated 4 years ago
- ☆73Dec 17, 2024Updated last year
- OCaml bindings to Windows' IOCP API☆17Apr 19, 2023Updated 2 years ago
- Building Lua interpreters with lot's of functors☆13Jul 31, 2018Updated 7 years ago
- 这是我学习区块链应用的 笔记，主要是以bitcoin, ethereum, eos, tezos, sia为中心的代码的学习。☆12Jan 29, 2018Updated 8 years ago
- An ocaml implementation of conflict-driven reasoning☆14Jul 13, 2018Updated 7 years ago
- OCaml extension for a Go-ish [%defer ...] syntax☆16May 30, 2022Updated 3 years ago
- IO independent postgres protocol implementation☆18May 29, 2023Updated 2 years ago
- tzpay is a configurable batch payment tool for Bakers in the Tezos ecosystem☆12May 8, 2021Updated 4 years ago
- Convert OCaml Types between different major versions☆14May 23, 2022Updated 3 years ago
- Tezos Reward Distributor (TRD): A reward distribution software for tezos bakers.☆90Mar 12, 2026Updated last week
- A simple websocket library for OCaml with no dependencies☆16Apr 8, 2024Updated last year