smart-chain-fr / ligolibView external linksLinks
Open-source reference Smart-contracts library for the Tezos Ecosystem, written in CamelLIGO and JSLigo
☆11Aug 22, 2023Updated 2 years ago
Alternatives and similar repositories for ligolib
Users that are interested in ligolib are comparing it to the libraries listed below
Sorting:
- A simple test framework for Ligo Lang☆13Mar 29, 2024Updated last year
- A project which aim to help engineers to make proves easily☆14Mar 3, 2022Updated 3 years ago
- A companion library for writing applications on Tezos (in OCaml)☆17Jan 29, 2024Updated 2 years ago
- An in-development "robocoin" system for the Tezos blockchain☆24Aug 31, 2022Updated 3 years ago
- Language mixing functional programming and Ambient Calculus☆12Dec 10, 2024Updated last year
- Auto-formatter for OCaml code☆11Oct 24, 2025Updated 3 months ago
- A collection of utils to work with the Tezos blockchain using Elixir: parsing Micheline, verifying Tezos signed messages, deriving Tezos …☆14Feb 9, 2026Updated last week
- Serialization formats toolkit for OCaml (unreleased)☆13Jan 2, 2026Updated last month
- Trusted timestamping on the Tezos blockchain.☆14Aug 2, 2023Updated 2 years ago
- Irmin website☆12Dec 8, 2025Updated 2 months ago
- A set of components that fit, a priori, relatively well with the web framework (OCaml) Dream to try to build, at best, and quickly, dynam…☆53Jan 29, 2024Updated 2 years ago
- Contract Metadata Viewer on Tezos☆25Sep 10, 2024Updated last year
- ☆14Dec 27, 2023Updated 2 years ago
- Literals for Zarith's arbitrary-precision integers and rationals☆12Aug 18, 2022Updated 3 years ago
- OCaml binding to LXC with idiomatic (and opionated) OCaml API design☆13Oct 25, 2019Updated 6 years ago
- Some fun with creating little collaborative browser things...☆11Apr 25, 2021Updated 4 years ago
- A small command-line tool to help with mechanical edition of opam files☆10Aug 15, 2023Updated 2 years ago
- ☆15Mar 26, 2024Updated last year
- Format string experimentations☆13Jul 19, 2021Updated 4 years ago
- ☆17Feb 4, 2026Updated last week
- Generic Programming Library for OCaml☆34Mar 29, 2017Updated 8 years ago
- A gRPC implementation written in pure OCaml/Reason☆16Apr 12, 2019Updated 6 years ago
- Interacting with cron from OCaml☆14Apr 16, 2022Updated 3 years ago
- A Kotlin multi-platform library providing some functional programming idioms and user defined effects.☆15Jan 5, 2024Updated 2 years ago
- ☆15Aug 20, 2023Updated 2 years ago
- Library for generalised parser combinators and a dedicated meta-language in Rust☆13Nov 15, 2025Updated 3 months ago
- Building Lua interpreters with lot's of functors☆13Jul 31, 2018Updated 7 years ago
- Lookup and load installed OCaml modules☆17Jul 29, 2025Updated 6 months ago
- A simple 2d exploration game written in OCaml☆16Oct 2, 2018Updated 7 years ago
- 📚 Le wiki sur la création de jeux☆20May 5, 2022Updated 3 years ago
- Selective applicative functors laws and theorems☆15Mar 12, 2020Updated 5 years ago
- Distribute/marshal instances of ocaml extensible variant types and exceptions☆16Nov 26, 2016Updated 9 years ago
- ML modules and functors as first-class citizens by unifying ML modules and ML records with path dependent types and subtyping.☆38Jun 3, 2022Updated 3 years ago
- a mirage kernel using esy☆18Jan 20, 2021Updated 5 years ago
- A simple photo gallery webapp☆15Jun 1, 2021Updated 4 years ago
- A platform agnostic library for P2P communications using UDP and Bin_prot☆23Jul 11, 2022Updated 3 years ago
- Like detective conan, find clue about the type of the file☆55Nov 29, 2025Updated 2 months ago
- Exploring the corners of OCaml type system☆18Jan 26, 2026Updated 3 weeks ago
- Examples from our paper "Capturing the Future by Replaying the Past"☆23Sep 10, 2024Updated last year