Well-typed lightbulbs
The home of OCaml programming on embedded devices.
Pinned
Repositories
Showing 10 of 22 repositories
- garland-combinator Public
-
-
-
-
- ocaml-baremetal-esp32 Public
- esp-idf Public Forked from espressif/esp-idf
Espressif IoT Development Framework. Official development framework for ESP32.
-
- mirage Public Forked from mirage/mirage
MirageOS is a library operating system that constructs unikernels