An ML-inspired smart contract language, compiling to Tezos' Michelson VM
☆21Sep 29, 2017Updated 8 years ago
Alternatives and similar repositories for lamtez
Users that are interested in lamtez are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Kubernetes API client for OCaml☆22Mar 1, 2019Updated 7 years ago
- Optimized Patricia trie with disk storage☆31Feb 21, 2019Updated 7 years ago
- Interacting with cron from OCaml☆14Apr 16, 2022Updated 3 years ago
- The TzScan block explorer for Tezos☆12Apr 11, 2019Updated 6 years ago
- A safer C FFI for OCaml☆18Dec 13, 2018Updated 7 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click and start building anything your business needs.
- Complete, typesafe representation of Vega-Lite in OCaml☆10Nov 13, 2017Updated 8 years ago
- A test execution engine for Michelson smart contracts.☆17Mar 5, 2019Updated 7 years ago
- Distribute/marshal instances of ocaml extensible variant types and exceptions☆16Nov 26, 2016Updated 9 years ago
- A protoc plugin for generating OCaml code from protobuf (.proto) files.☆17Nov 30, 2019Updated 6 years ago
- POSIX sendmsg bindings for OCaml☆16Nov 5, 2016Updated 9 years ago
- ☆12Apr 22, 2016Updated 9 years ago
- Curve25519 in OCaml.☆16Sep 4, 2018Updated 7 years ago
- Compiler for stack manipulation in Michelson☆15Dec 19, 2018Updated 7 years ago
- Erlang style process/actor model library in OCaml☆16Apr 23, 2023Updated 2 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- This is the legacy code base of TezBridge☆12Jun 21, 2019Updated 6 years ago
- An OCaml clustering library☆20Apr 26, 2021Updated 4 years ago
- ☆15Aug 16, 2020Updated 5 years ago
- Password based key derivation functions from PKCS#5, RFC 2898☆21Jul 15, 2024Updated last year
- Library containing the definition of S-expressions and some base converters☆20Jan 15, 2026Updated 2 months ago
- An Async-friendly Redis binding☆16May 11, 2020Updated 5 years ago
- OCaml implementation of DSub, a ML like language with subtyping and path dependent types.☆13Apr 18, 2017Updated 8 years ago
- Software construction and deployment kit☆38Mar 20, 2026Updated last week
- Elliptic curve library secp256k1 wrapper for Ocaml☆24Feb 4, 2026Updated last month
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- An OCaml wrapper to Reddit's API☆13Oct 5, 2025Updated 5 months ago
- Parsing of the Content-Type header in pure OCaml☆19Nov 24, 2020Updated 5 years ago
- A jabber logger and web interface☆12Jan 5, 2026Updated 2 months ago
- bindings for QT5 widgets☆10Mar 25, 2016Updated 10 years ago
- An OCaml library for describing Protobuf messages☆30Feb 4, 2021Updated 5 years ago
- Another way to describe mirage☆19Jul 8, 2019Updated 6 years ago
- Some fun with creating little collaborative browser things...☆11Apr 25, 2021Updated 4 years ago
- Serialization formats toolkit for OCaml (unreleased)☆13Jan 2, 2026Updated 2 months ago
- A collection of functional, mergeable datatypes for Irmin☆12Dec 25, 2016Updated 9 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click and start building anything your business needs.
- Whitelabel wallet framework for the Tezos blockchain☆56Oct 7, 2022Updated 3 years ago
- An example Alexa skill written in ReasonML☆11Sep 6, 2017Updated 8 years ago
- Deprecated, use ocaml-ppx/ppxlib instead☆14Mar 29, 2018Updated 7 years ago
- TLS client program☆11Jun 10, 2020Updated 5 years ago
- s-expression codecs and updates for OCaml☆11Mar 23, 2017Updated 9 years ago
- ☆10Nov 1, 2017Updated 8 years ago
- Library for tokenizing code with TextMate grammars☆15Mar 20, 2026Updated last week