OCamlPro/techelson external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

OCamlPro/techelson

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/OCamlPro/techelson)

Close

OCamlPro / techelsonView on GitHubMore

• External links
• Readme badge

A test execution engine for Michelson smart contracts.

☆17Mar 5, 2019Updated 6 years ago

Alternatives and similar repositories for techelson

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

• OCamlPro / tzscan

  View on GitHub
  The TzScan block explorer for Tezos
  ☆12Apr 11, 2019Updated 6 years ago
• Cryptonomic / Nautilus

  View on GitHub
  Automation tools for deploying blockchain networks
  ☆20Dec 8, 2022Updated 3 years ago
• vbmithr / ocaml-ledger-wallet

  View on GitHub
  ☆14Sep 9, 2024Updated last year
• OCamlPro / digodoc

  View on GitHub
  Dig into an opam switch for doc
  ☆10Apr 8, 2022Updated 3 years ago
• OCamlPro / ezjs

  View on GitHub
  Some useful libraries to work with `js_of_ocaml`
  ☆13Sep 20, 2024Updated last year
• tezbridge / tezbridge-legacy

  View on GitHub
  This is the legacy code base of TezBridge
  ☆12Jun 21, 2019Updated 6 years ago
• sneeuwballen / benchpress

  View on GitHub
  Testing and benchmarking tool for logic-related programs.
  ☆28Updated this week
• baking-bad / better-call-dev

  View on GitHub
  Check bcd instead
  ☆20Jan 15, 2022Updated 4 years ago
• Cryptonomic / Arronax

  View on GitHub
  Blockchain data analytics tool
  ☆32Jan 7, 2023Updated 3 years ago
• ocaml / camlp-streams

  View on GitHub
  The Stream and Genlex libraries for use with Camlp4 and Camlp5
  ☆16Oct 14, 2025Updated 4 months ago
• Cryptonomic / ConseilJS-Tutorials

  View on GitHub
  Various tutorials to interact with the ConseilJS Library
  ☆10Feb 15, 2019Updated 7 years ago
• ocaml-multicore / ocaml-iocp

  View on GitHub
  OCaml bindings to Windows' IOCP API
  ☆17Apr 19, 2023Updated 2 years ago
• linoscope / okasaki-book-ocaml

  View on GitHub
  Samples and solutions from Chris Okasaki's "Purely Functional Data Structures", written in OCaml.
  ☆12Jun 13, 2021Updated 4 years ago
• hcarty / shatter

  View on GitHub
  A block breaking game
  ☆11Sep 5, 2022Updated 3 years ago
• tomjridge / tjr_kv

  View on GitHub
  A key-value store for OCaml
  ☆17Feb 1, 2022Updated 4 years ago
• EduardoRFS / ocaml-migrate-types

  View on GitHub
  Convert OCaml Types between different major versions
  ☆14May 23, 2022Updated 3 years ago
• thangngoc89 / ocaml-slug

  View on GitHub
  Url safe slug generator for OCaml
  ☆16Jul 19, 2021Updated 4 years ago
• stove-labs / tzip-12

  View on GitHub
  Reference implementation of the TZIP-12 Tezos token standard
  ☆11Jan 24, 2023Updated 3 years ago
• dinosaure / mimic

  View on GitHub
  A dynamic way to instantiate an OCaml flow
  ☆17Jun 25, 2024Updated last year
• anuragsoni / postgres-protocol

  View on GitHub
  IO independent postgres protocol implementation
  ☆18May 29, 2023Updated 2 years ago
• ismailbennani / websocketml

  View on GitHub
  A simple websocket library for OCaml with no dependencies
  ☆16Apr 8, 2024Updated last year
• c-cube / ocaml-bigstring

  View on GitHub
  Overlay over bigarrays of chars
  ☆13Oct 23, 2020Updated 5 years ago
• elastic / apm-agent-ocaml

  View on GitHub
  Elastic OCaml APM provides an OCaml library for uploading traces, transactions and errors to Elastic APM.
  ☆14Aug 8, 2024Updated last year
• orc721 / sandbox

  View on GitHub
  Ordgen / ORC-721 Sandbox
  ☆18Sep 4, 2023Updated 2 years ago
• Drup / functoria-lua

  View on GitHub
  Building Lua interpreters with lot's of functors
  ☆13Jul 31, 2018Updated 7 years ago
• marigold-dev / pollinate

  View on GitHub
  A platform agnostic library for P2P communications using UDP and Bin_prot
  ☆23Jul 11, 2022Updated 3 years ago
• hcarty / ppx_defer

  View on GitHub
  OCaml extension for a Go-ish [%defer ...] syntax
  ☆16May 30, 2022Updated 3 years ago
• mirage / spamtacus

  View on GitHub
  Ocaml modular spam filter
  ☆16Sep 16, 2024Updated last year
• robur-coop / memtrace-mirage

  View on GitHub
  Memtrace library for MirageOS
  ☆17Feb 17, 2025Updated last year
• janestreet / universe

  View on GitHub
  Jane Street universe
  ☆17Sep 14, 2020Updated 5 years ago
• hannesm / telnet

  View on GitHub
  telnet protocol in OCaml
  ☆14Nov 15, 2016Updated 9 years ago
• mirage / ca-certs

  View on GitHub
  Detect root CA certificates from the operating system
  ☆14Nov 24, 2025Updated 3 months ago
• mirage / irmin-server

  View on GitHub
  A high-performance server for Irmin
  ☆24Oct 1, 2022Updated 3 years ago
• davesnx / ocaml-box

  View on GitHub
  Render boxes in the terminal with OCaml or Reason
  ☆25Dec 4, 2025Updated 2 months ago
• b0-system / b0caml

  View on GitHub
  Easy OCaml scripts (unreleased)
  ☆20Feb 13, 2026Updated 2 weeks ago
• NathanReb / ocaml-afl-examples

  View on GitHub
  Small examples of how to use AFL to fuzz OCaml programs
  ☆15Aug 30, 2019Updated 6 years ago
• yomimono / oauth2_server

  View on GitHub
  a MirageOS OAuth2 authorization server for Etsy authentication
  ☆18Jul 15, 2022Updated 3 years ago
• yomimono / url-shortener

  View on GitHub
  Example URL shortener MirageOS unikernel using Chamelon.
  ☆18Apr 28, 2022Updated 3 years ago
• backtracking / bheap

  View on GitHub
  OCaml binary heap implementation by Jean-Christophe Filliatre
  ☆18Nov 29, 2020Updated 5 years ago