Skip to content
View TheLortex's full-sized avatar
🪶
🪶

Organizations

@mirage @mjc-ermont @ocamllabs @overflowgames @dune-universe @well-typed-lightbulbs

Block or report TheLortex

Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Pinned Loading

  1. well-typed-lightbulbs/ocaml-esp32 well-typed-lightbulbs/ocaml-esp32 Public

    Native compiler backend for esp32

    OCaml 65 1

  2. well-typed-lightbulbs/mirage-esp32-samples well-typed-lightbulbs/mirage-esp32-samples Public

    Some sample unikernels that run on ESP32 devices.

    OCaml 12 1

  3. math-fehr/WindOS math-fehr/WindOS Public

    Experimental Raspberry Pi OS

    C 6

  4. mean-field-inference mean-field-inference Public

    Summer work on mean-field inference at EPFL CVLab

    Jupyter Notebook 1

  5. Marc-Ducret/PINT Marc-Ducret/PINT Public

    TypeScript

  6. mjc-ermont/Cookie-Logger mjc-ermont/Cookie-Logger Public

    Le DataLogger officiel du projet Cookie

    C++ 2