☆16Jun 25, 2019Updated 7 years ago
Alternatives and similar repositories for ocaml-baremetal-esp32
Users that are interested in ocaml-baremetal-esp32 are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Some sample unikernels that run on ESP32 devices.☆12Jun 21, 2018Updated 8 years ago
- A simple photo gallery webapp☆15Jun 1, 2021Updated 5 years ago
- A dedicated ActivityPub/ActivityStreams parser and generator for OCaml☆13Apr 6, 2019Updated 7 years ago
- Esy ReasonML application for a store backed by irmin compiled with js_of_ocaml☆21May 13, 2019Updated 7 years ago
- Mirage OS bindings for ESP32☆29Oct 3, 2019Updated 7 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.
- Emitter for catapult trace viewer, i.e. chrome://tracing☆16Oct 8, 2018Updated 8 years ago
- Elliptic Curve Diffie-Hellman on Edwards Curves (X25519, X448)☆11Oct 30, 2020Updated 5 years ago
- Interleaved client/server code extraction☆12Jan 30, 2022Updated 4 years ago
- Another way to describe mirage☆19Jul 8, 2019Updated 7 years ago
- J'ai plus mal à la tête maintenant☆29Oct 21, 2026Updated last week
- Cross compilation libraries for OCaml on ESP32 development☆11Mar 19, 2020Updated 6 years ago
- a byte-sized time series database☆23Dec 15, 2020Updated 5 years ago
- Paste-eur as unikernel☆76Jun 30, 2026Updated 3 months ago
- Unicode text for OCaml☆14Feb 19, 2018Updated 8 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Lookup and load installed OCaml modules☆17Aug 13, 2026Updated 2 months ago
- A set of tools for Coq written in Rust☆14Dec 4, 2017Updated 8 years ago
- A traceable distributed computation framework☆23Oct 8, 2019Updated 7 years ago
- HTTP combinators for MirageOS☆11Oct 11, 2019Updated 7 years ago
- Caribou leverages Notty to generate simple terminal user interfaces.☆17Oct 14, 2023Updated 3 years ago
- Implementation of a matrix server in OCaml for MirageOS☆51Jul 5, 2023Updated 3 years ago
- Agnostic benchmark in OCaml (proof-of-concept)☆44Aug 29, 2026Updated 2 months ago
- Ocamlbuild helpers for C stubs☆12Oct 24, 2018Updated 8 years ago
- Example URL shortener MirageOS unikernel using Chamelon.☆18Apr 28, 2022Updated 4 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- SPAKE2+EE implementation in OCaml☆17Oct 13, 2025Updated last year
- ☆16Oct 21, 2021Updated 5 years ago
- Constant time equal function to avoid timing attacks in OCaml☆50Jun 27, 2024Updated 2 years ago
- secret project☆17Mar 14, 2018Updated 8 years ago
- MirageOS traceroute unikernel☆17Jul 13, 2026Updated 3 months ago
- Should be the next conduit ... or not☆18Apr 20, 2020Updated 6 years ago
- Implementation of SMTP protocols in OCaml☆48Oct 7, 2026Updated 3 weeks ago
- A simple app to test out irmin and dream☆19Oct 18, 2025Updated last year
- What do you mean ?☆30Aug 28, 2018Updated 8 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Painless micro-benchmarks☆21Mar 6, 2019Updated 7 years ago
- A HTTP client using HTTP/AF and lwt☆33Sep 14, 2026Updated last month
- A Btree library in OCaml☆18Mar 30, 2023Updated 3 years ago
- Detect root CA certificates from the operating system☆15Jun 22, 2026Updated 4 months ago
- Experimental portable bitmap framebuffer graphics for MirageOS☆17Jul 14, 2020Updated 6 years ago
- Archived. Curve25519 support has been integrated into mirage-crypto-ec (via fiat-crypto). Hacl bindings are available from the hacl-star …☆21Apr 23, 2021Updated 5 years ago
- ☆21Mar 6, 2019Updated 7 years ago