GV

GeezerVison

The World Wide Web, restored to 800 pixels of glory.

Home|About|Gaming cabinet|Archives|How it works|Starter sites

On this site

  • Sign in
  • ActionsCI/CD and automation
  • CodespacesCloud development environments
  • All Features
  • Documentation
  • Training
  • Certifications
  • Build with Copilot
  • Customize Copilot
  • Integrations
  • Trending repos
  • GitHub Sponsors
  • Developer articles
  • Enterprises

This view

  • Original page
  • New address

GeezerVison is showing github.com — TheLortex - Overview

@TheLortex TheLortex Follow
More
  • Overview
  • Repositories
  • Projects
  • Packages
  • Stars
@TheLortex
TheLortex
Follow
View TheLortex's full-sized avatar
🪶

Lucas Pluvinage TheLortex

🪶
Follow
Doing things with computers
134 followers · 151 following
  • École Normale Supérieure
  • http://www.lortex.org
  • https://bsky.app/Lortex

Achievements

Achievement: QuickdrawAchievement: Pair Extraordinairex2Achievement: YOLOAchievement: Pull Sharkx3Achievement: Arctic Code Vault ContributorAchievement: Starstruck

Achievements

Achievement: QuickdrawAchievement: Pair Extraordinairex2Achievement: YOLOAchievement: Pull Sharkx3Achievement: Arctic Code Vault ContributorAchievement: Starstruck

Organizations

@mirage @mjc-ermont @ocamllabs @overflowgames @dune-universe @well-typed-lightbulbs
More
  • Overview
  • Repositories
  • Projects
  • Packages
  • Stars

Pinned Loading

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

    Native compiler backend for esp32

    OCaml 66 2

  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

Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.

Uh oh!

There was an error while loading. Please reload this page.

You are visitor 01402520 — GeezerVison does not store the pages you look up.
Best viewed with Netscape Navigator 4.7 or Internet Explorer 6 at 800×600. No cookies required.