working with coq and tezos
☆27Jul 20, 2017Updated 9 years ago
Alternatives and similar repositories for tezoscoq
Users that are interested in tezoscoq are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A block explorer for Tezos☆12Mar 31, 2017Updated 9 years ago
- Hexadecimal encoding and decoding, mirror of https://git.robur.coop/robur/ohex☆10Mar 18, 2024Updated 2 years ago
- Compiler for stack manipulation in Michelson☆15Dec 19, 2018Updated 7 years ago
- experiments on distributed unikernels☆16Dec 15, 2024Updated last year
- Interacting with cron from OCaml☆14Apr 16, 2022Updated 4 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Format string experimentations☆14Jul 19, 2021Updated 5 years ago
- Kohai is a very simple (but opinionated) timetracker for my personal usage☆14May 14, 2026Updated 2 months ago
- 6502 chip simulator in OCaml☆13Apr 30, 2026Updated 2 months ago
- ☆26Jul 18, 2022Updated 4 years ago
- A simple unikernel which provides a search engine from an emails archive☆15Apr 11, 2026Updated 3 months ago
- Binding in Js_of_ocaml for the BroadcastChannel API☆10Feb 13, 2020Updated 6 years ago
- A simple unikernel to serve files via HTTP in full OCaml☆15Jun 3, 2026Updated last month
- Drumaderian is a small framework for building VideoGame over Js_of_ocaml using Canvas. But... still in progress !☆12Jun 24, 2017Updated 9 years ago
- A tool for managing inline review comments embedded in source code☆15May 18, 2026Updated 2 months ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- Original position paper and white paper for Tezos☆39May 20, 2018Updated 8 years ago
- Exploring the corners of OCaml type system☆18Apr 10, 2026Updated 3 months ago
- An implementation of happy eyeballs (RFC 8305) in OCaml with lwt☆24May 14, 2025Updated last year
- A companion library for writing applications on Tezos (in OCaml)☆17Jan 29, 2024Updated 2 years ago
- Strongly-typed OCaml overlay for Go-Ethereum (geth)☆11Nov 25, 2020Updated 5 years ago
- A prototype to write blog posts with executable ocaml code blocks☆11Apr 25, 2025Updated last year
- Roshi implementation on top of Riak☆26Oct 27, 2014Updated 11 years ago
- Erlang External Term Format for OCaml☆29Oct 27, 2023Updated 2 years ago
- [WIP] A small framework to build "electron app" using OCaml via Js_of_ocaml☆11Nov 10, 2022Updated 3 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- OCaml implementation of the KDL Document Language☆18Jun 13, 2026Updated last month
- A super simple library (with use case) for Js_of_ocaml☆15Jun 14, 2016Updated 10 years ago
- A TCP/IP implementation in pure OCaml☆18Updated this week
- my own standard library for OCaml for Js ecosystem, because it's fun to reinvent the wheel☆22May 24, 2023Updated 3 years ago
- A bibtex file parser☆21Feb 11, 2024Updated 2 years ago
- Functional kernel written in OCaml.☆37Nov 14, 2013Updated 12 years ago
- A statically generated webring with YOCaml, because we love small-web☆25Aug 25, 2025Updated 10 months ago
- Not a filesystem for Mirage block devices☆25Sep 3, 2024Updated last year
- Language server and VS Code extension for Menhir and Ocamllex☆15Updated this week
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- LablGL: an openGL interface for OCaml☆25Dec 24, 2023Updated 2 years ago
- Scope is a small module that provides two macros to facilitate function overload and local import/aliases execution.☆11Jul 28, 2017Updated 8 years ago
- Generation of accessor and iteration functions for ocaml records☆63Jul 10, 2026Updated last week
- Stk is a free, real time stock quotes, charts and market overview.☆17Sep 12, 2018Updated 7 years ago
- Type safe unit of measure in OCaml with ppx☆31Mar 10, 2016Updated 10 years ago
- (unreleased) Data validation with first-class and first-order labels in OCaml☆30Jun 29, 2018Updated 8 years ago
- BlockCAT token sale smart contracts.☆11Oct 19, 2017Updated 8 years ago