Skip to content

@well-typed-lightbulbs Well-typed lightbulbs

Change the repository type filter

All

    Repositories list

    22 repositories

    • rpi

      Public
      OCaml
      •4•10•0•0•Updated Dec 21, 2022Dec 21, 2022

    • garland-combinator

      Public
      JavaScript
      •
      MIT License
      •0•8•0•0•Updated Dec 15, 2021Dec 15, 2021

    • ocaml-esp32

      Public
      Native compiler backend for esp32
      OCaml
      •
      Other
      •1•59•0•0•Updated Feb 16, 2021Feb 16, 2021

    • opam-cross-esp32

      Public
      Cross compilation libraries for OCaml on ESP32 development
      2•12•0•1•Updated Mar 19, 2020Mar 19, 2020

    • mirage-esp32

      Public
      Mirage OS bindings for ESP32
      OCaml
      •
      Other
      •1•29•0•0•Updated Oct 3, 2019Oct 3, 2019

    • esp32-docker-samples

      Public
      Docker scripts to build minimals applications on ESP32.
      Makefile
      •2•11•2•1•Updated Aug 15, 2019Aug 15, 2019

    • ocaml-baremetal-esp32

      Public
      C
      •1•18•0•0•Updated Jun 25, 2019Jun 25, 2019

    • esp-idf

      Public
      Espressif IoT Development Framework. Official development framework for ESP32.
      C
      •
      Apache License 2.0
      •7.3k•0•0•0•Updated Apr 3, 2019Apr 3, 2019

    • wifi-esp32

      Public
      OCaml wifi bindings for ESP32
      C
      •0•6•0•0•Updated Aug 4, 2018Aug 4, 2018

    • mirage

      Public
      MirageOS is a library operating system that constructs unikernels
      OCaml
      •
      ISC License
      •247•0•0•0•Updated Aug 4, 2018Aug 4, 2018

    • ocaml-nocrypto

      Public
      OCaml cryptographic library
      OCaml
      •
      ISC License
      •52•0•0•0•Updated Aug 3, 2018Aug 3, 2018

    • mirage-os-shim

      Public
      Portable shim for MirageOS APIs
      OCaml
      •
      ISC License
      •6•0•0•0•Updated Jul 27, 2018Jul 27, 2018

    • ocaml-conduit

      Public
      Dereference URIs into communication channels for Async or Lwt
      OCaml
      •
      ISC License
      •74•0•0•0•Updated Jul 27, 2018Jul 27, 2018

    • mirage-entropy

      Public
      Entropy driver for MirageOS
      OCaml
      •
      BSD 2-Clause "Simplified" License
      •11•0•0•0•Updated Jul 27, 2018Jul 27, 2018

    • mirage-tcpip

      Public
      TCP/IP networking stack in pure OCaml, using the Mirage platform libraries. Includes Ethernet, ARP, IPv4/6, ICMP, and UDP/TCP support.
      OCaml
      •
      ISC License
      •87•0•0•0•Updated Jul 24, 2018Jul 24, 2018

    • mirage-protocols

      Public
      Network protocol module type definitions for MirageOS
      OCaml
      •
      ISC License
      •11•0•0•0•Updated Jul 24, 2018Jul 24, 2018

    • ocaml-crunch

      Public
      Convert a filesystem into a static OCaml module
      OCaml
      •
      Other
      •21•0•0•0•Updated Jul 24, 2018Jul 24, 2018

    • netif-dhcp-esp32

      Public
      Custom network interface that enables DHCP requests after wifi reconnection, and lease renewal
      OCaml
      •0•6•0•0•Updated Jul 24, 2018Jul 24, 2018

    • mirage-net-impl-esp32

      Public
      Mirage netif implementation for ESP32
      OCaml
      •0•7•0•0•Updated Jul 24, 2018Jul 24, 2018

    • lcd-esp32

      Public
      LCD screen bindings for ESP32
      C
      •1•6•0•0•Updated Jul 24, 2018Jul 24, 2018

    • charrua-core

      Public
      A DHCP library in OCaml
      OCaml
      •
      ISC License
      •18•0•0•0•Updated Jul 24, 2018Jul 24, 2018

    • mirage-esp32-samples

      Public
      Some sample unikernels that run on ESP32 devices.
      OCaml
      •1•13•1•0•Updated Jun 21, 2018Jun 21, 2018