Skip to content
@well-typed-lightbulbs

Well-typed lightbulbs

The home of OCaml programming on embedded devices.

Pinned

  1. rpi rpi Public

    OCaml 10 4

  2. garland-combinator garland-combinator Public

    JavaScript 7

  3. ocaml-esp32 ocaml-esp32 Public

    Native compiler backend for esp32

    OCaml 59 1

  4. mirage-esp32 mirage-esp32 Public

    Mirage OS bindings for ESP32

    OCaml 29 1

  5. opam-cross-esp32 opam-cross-esp32 Public

    Cross compilation libraries for OCaml on ESP32 development

    12 2

  6. mirage-esp32-samples mirage-esp32-samples Public

    Some sample unikernels that run on ESP32 devices.

    OCaml 13 1

Repositories

Showing 10 of 22 repositories

Top languages

Loading…

Most used topics

Loading…