well-typed-lightbulbs / ocaml-baremetal-esp32View external linksLinks
☆16Jun 25, 2019Updated 6 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
Sorting:
- Emitter for catapult trace viewer, i.e. chrome://tracing☆16Oct 8, 2018Updated 7 years ago
- Mirage OS bindings for ESP32☆28Oct 3, 2019Updated 6 years ago
- A simple photo gallery webapp☆15Jun 1, 2021Updated 4 years ago
- Another way to describe mirage☆19Jul 8, 2019Updated 6 years ago
- A dedicated ActivityPub/ActivityStreams parser and generator for OCaml☆13Apr 6, 2019Updated 6 years ago
- Elliptic Curve Diffie-Hellman on Edwards Curves (X25519, X448)☆11Oct 30, 2020Updated 5 years ago
- Esy ReasonML application for a store backed by irmin compiled with js_of_ocaml☆21May 13, 2019Updated 6 years ago
- Ocamlbuild helpers for C stubs☆11Oct 24, 2018Updated 7 years ago
- Implementation of a matrix server in OCaml for MirageOS☆50Jul 5, 2023Updated 2 years ago
- MirageOS traceroute unikernel☆17Dec 4, 2025Updated 2 months ago
- Scrypt key derivation function in pure OCaml as defined in https://tools.ietf.org/html/draft-josefsson-scrypt-kdf-04☆17Aug 5, 2021Updated 4 years ago
- Caribou leverages Notty to generate simple terminal user interfaces.☆17Oct 14, 2023Updated 2 years ago
- Lookup and load installed OCaml modules☆17Jul 29, 2025Updated 6 months ago
- ImpFS, a new filesystem.☆21Feb 6, 2022Updated 4 years ago
- SPAKE2+EE implementation in OCaml☆17Oct 13, 2025Updated 4 months ago
- A simple app to test out irmin and dream☆18Oct 18, 2025Updated 3 months ago
- Unicode text for OCaml☆14Feb 19, 2018Updated 7 years ago
- Detect root CA certificates from the operating system☆14Nov 24, 2025Updated 2 months ago
- A Btree library in OCaml☆18Mar 30, 2023Updated 2 years ago
- Painless micro-benchmarks☆20Mar 6, 2019Updated 6 years ago
- A HTTP client using HTTP/AF and lwt☆32Apr 3, 2025Updated 10 months ago
- Example URL shortener MirageOS unikernel using Chamelon.☆18Apr 28, 2022Updated 3 years ago
- A traceable distributed computation framework☆23Oct 8, 2019Updated 6 years ago
- ☆21Mar 6, 2019Updated 6 years ago
- MirageOS unikernels☆20May 31, 2022Updated 3 years ago
- secret project☆17Mar 14, 2018Updated 7 years ago
- a byte-sized time series database☆23Dec 15, 2020Updated 5 years ago
- An implementation of happy eyeballs (RFC 8305) in OCaml with lwt☆22May 14, 2025Updated 9 months ago
- Experimental portable bitmap framebuffer graphics for MirageOS☆17Jul 14, 2020Updated 5 years ago
- WiP: RFC 4880 (OpenPGP) library and utilities in OCaml☆24Oct 1, 2018Updated 7 years ago
- According an other RFC2388...☆26Updated this week
- An opiniated file-system for MirageOS☆26May 31, 2025Updated 8 months ago
- ☆25Oct 5, 2025Updated 4 months ago
- Paste-eur as unikernel☆65Feb 20, 2025Updated 11 months ago
- Groupoids vs 1-Types☆11Nov 8, 2018Updated 7 years ago
- The Noise Protocol Framework, with types☆26Dec 8, 2021Updated 4 years ago
- Implementation of SMTP protocols in OCaml☆46Jan 30, 2026Updated 2 weeks ago
- Constant time equal function to avoid timing attacks in OCaml☆51Jun 27, 2024Updated last year
- Synonym of angkor☆25Mar 4, 2025Updated 11 months ago