Some sample unikernels that run on ESP32 devices.
☆12Jun 21, 2018Updated 8 years ago
Alternatives and similar repositories for mirage-esp32-samples
Users that are interested in mirage-esp32-samples 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 dedicated ActivityPub/ActivityStreams parser and generator for OCaml☆13Apr 6, 2019Updated 7 years ago
- J'ai plus mal à la tête maintenant☆28Jun 11, 2026Updated 4 months ago
- A jabber logger and web interface☆12Apr 17, 2026Updated 6 months ago
- ☆16Jun 25, 2019Updated 7 years ago
- Mirage OS bindings for ESP32☆28Oct 3, 2019Updated 7 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.
- Esy ReasonML application for a store backed by irmin compiled with js_of_ocaml☆21May 13, 2019Updated 7 years ago
- Elliptic Curve Diffie-Hellman on Edwards Curves (X25519, X448)☆11Oct 30, 2020Updated 5 years ago
- A port of Eric Lippert's flathead Z-machine interpreter to MirageOS☆10Sep 27, 2019Updated 7 years ago
- Cross compilation libraries for OCaml on ESP32 development☆11Mar 19, 2020Updated 6 years ago
- DKIM support on e-mail☆11Oct 9, 2026Updated last week
- A phylogenetic tree of animals☆13Sep 25, 2016Updated 10 years ago
- Library for manipulating ISO images☆13Jun 28, 2019Updated 7 years ago
- Js implementation of Chip8. (Compile with Js_of_ocaml)☆12Feb 20, 2014Updated 12 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
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- ☆21Mar 6, 2019Updated 7 years ago
- Experimental portable bitmap framebuffer graphics for MirageOS☆17Jul 14, 2020Updated 6 years ago
- Implementation of SMTP protocols in OCaml☆47Oct 7, 2026Updated last week
- MirageOS unikernel to test networking☆16Apr 3, 2023Updated 3 years ago
- A simple library for manipulating Master Boot Records☆17Mar 6, 2025Updated last year
- Simple OCaml interface for Gnuplot☆11Oct 6, 2021Updated 5 years ago
- A tool for keeping a personal log☆16Jan 1, 2025Updated last year
- Requirement traceability tool for OCaml☆13Jun 21, 2015Updated 11 years ago
- Synonym of angkor☆25Mar 4, 2025Updated last year
- 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.
- What do you mean ?☆30Aug 28, 2018Updated 8 years ago
- SPAKE2+EE implementation in OCaml☆17Oct 13, 2025Updated last year
- An eDSL for MirageOS apps☆20Jul 30, 2018Updated 8 years ago
- OCaml based version of space-invaders☆14Aug 27, 2015Updated 11 years ago
- The Noise Protocol Framework, with types☆26Dec 8, 2021Updated 4 years ago
- Bootstrap scripts to build standalone OPAM projects☆15Nov 9, 2017Updated 8 years ago
- WiP: RFC 4880 (OpenPGP) library and utilities in OCaml☆24Oct 1, 2018Updated 8 years ago
- WIP Handbook for MirageOS☆14Mar 15, 2018Updated 8 years ago
- U2F (FIDO Universal 2nd Factor) in OCaml☆25Sep 2, 2024Updated 2 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Ocamlbuild helpers for C stubs☆12Oct 24, 2018Updated 7 years ago
- A traceable distributed computation framework☆23Oct 8, 2019Updated 7 years ago
- Emitter for catapult trace viewer, i.e. chrome://tracing☆16Oct 8, 2018Updated 8 years ago
- OCaml Password Safe☆15May 17, 2022Updated 4 years ago
- Implementation of XMPP for MirageOS☆16Apr 8, 2019Updated 7 years ago
- HTTP combinators for MirageOS☆11Oct 11, 2019Updated 7 years ago
- Attachment Converter: tool for batch converting attachments in an email mailbox☆12Sep 25, 2026Updated 3 weeks ago