Skip to content
@well-typed-lightbulbs

Well-typed lightbulbs

The home of OCaml programming on embedded devices.

Pinned Loading

  1. rpi rpi Public

    OCaml 10 4

  2. garland-combinator garland-combinator Public

    JavaScript 8

  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 28 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 12 1

Repositories

Showing 10 of 22 repositories
  • rpi Public
    well-typed-lightbulbs/rpi’s past year of commit activity
    OCaml 10 4 0 0 Updated Dec 21, 2022
  • garland-combinator Public
    well-typed-lightbulbs/garland-combinator’s past year of commit activity
    JavaScript 8 MIT 0 0 0 Updated Dec 15, 2021
  • ocaml-esp32 Public

    Native compiler backend for esp32

    well-typed-lightbulbs/ocaml-esp32’s past year of commit activity
    OCaml 59 1 0 0 Updated Feb 16, 2021
  • opam-cross-esp32 Public

    Cross compilation libraries for OCaml on ESP32 development

    well-typed-lightbulbs/opam-cross-esp32’s past year of commit activity
    12 2 0 1 Updated Mar 19, 2020
  • mirage-esp32 Public

    Mirage OS bindings for ESP32

    well-typed-lightbulbs/mirage-esp32’s past year of commit activity
    OCaml 28 1 0 0 Updated Oct 3, 2019
  • esp32-docker-samples Public

    Docker scripts to build minimals applications on ESP32.

    well-typed-lightbulbs/esp32-docker-samples’s past year of commit activity
    Makefile 10 2 2 1 Updated Aug 15, 2019
  • ocaml-baremetal-esp32 Public
    well-typed-lightbulbs/ocaml-baremetal-esp32’s past year of commit activity
    C 17 1 0 0 Updated Jun 25, 2019
  • esp-idf Public Forked from espressif/esp-idf

    Espressif IoT Development Framework. Official development framework for ESP32.

    well-typed-lightbulbs/esp-idf’s past year of commit activity
    C 0 Apache-2.0 7,345 0 0 Updated Apr 3, 2019
  • wifi-esp32 Public

    OCaml wifi bindings for ESP32

    well-typed-lightbulbs/wifi-esp32’s past year of commit activity
    C 5 0 0 0 Updated Aug 4, 2018
  • mirage Public Forked from mirage/mirage

    MirageOS is a library operating system that constructs unikernels

    well-typed-lightbulbs/mirage’s past year of commit activity
    OCaml 0 ISC 261 0 0 Updated Aug 4, 2018
View all repositories

Top languages

Loading…

Most used topics

Loading…