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
  • codelabs-ch
  • ActionsCI/CD and automation
  • CodespacesCloud development environments
  • All Features
  • Documentation
  • Training
  • Certifications
  • Build with Copilot
  • Customize Copilot
  • Integrations
  • Trending repos
  • GitHub Sponsors
  • Developer articles

This view

  • Original page
  • New address

GeezerVison is showing github.com — codelabs

Pinned Loading

  1. bob-muen bob-muen Public

    Official mirror of the Bob recipes layer for Muen

    Shell 2 1

  2. muen muen Public

    Official mirror of the Muen Separation Kernel repository

    Ada 109 16

  3. buildroot-muen buildroot-muen Public

    Buildroot for Muen SK Linux guests

    Makefile 2

  4. linux linux Public

    Forked from torvalds/linux

    Mirror of Linux kernel with Muen SK support

    C 1 3

  5. solo5 solo5 Public

    Forked from Solo5/solo5

    The Solo5 unikernel

    C 2

  6. mirage mirage Public

    Forked from mirage/mirage

    MirageOS is a library operating system that constructs unikernels

    OCaml 1

Repositories

Loading
Type
Language
Sort
Showing 10 of 31 repositories
  • perfcharts-muen Public

    Muen performance charts (debug build)

    Uh oh!

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

    codelabs-ch/perfcharts-muen's past year of commit activity
    JavaScript 1 0 0 0 Updated Nov 12, 2026
  • bob-muen Public

    Official mirror of the Bob recipes layer for Muen

    Uh oh!

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

    codelabs-ch/bob-muen's past year of commit activity
    Shell 2 1 0 0 Updated Nov 12, 2026
  • muen Public

    Official mirror of the Muen Separation Kernel repository

    Uh oh!

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

    codelabs-ch/muen's past year of commit activity
    Ada 109 16 0 0 Updated Nov 12, 2026
  • muen-tools Public

    Official mirror of the Muen Separation Kernel tools repository

    Uh oh!

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

    codelabs-ch/muen-tools's past year of commit activity
    Ada 0 0 0 0 Updated Nov 12, 2026
  • xmlada Public Forked from AdaCore/xmlada

    The XML/Ada toolkit.

    Uh oh!

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

    codelabs-ch/xmlada's past year of commit activity
    Ada 0 22 0 0 Updated Nov 9, 2026
  • xia Public

    XIA - XPath In Ada

    Uh oh!

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

    codelabs-ch/xia's past year of commit activity
    Ada 2 GPL-2.0 2 0 0 Updated Nov 8, 2026
  • basement-gnu-linux Public Forked from BobBuildTool/basement-gnu-linux

    Uh oh!

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

    codelabs-ch/basement-gnu-linux's past year of commit activity
    Shell 0 13 0 0 Updated Nov 5, 2026
  • linux Public Forked from torvalds/linux

    Mirror of Linux kernel with Muen SK support

    Uh oh!

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

    codelabs-ch/linux's past year of commit activity
    C 1 74,688 0 0 Updated Oct 22, 2026
  • solo5 Public Forked from Solo5/solo5

    The Solo5 unikernel

    Uh oh!

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

    codelabs-ch/solo5's past year of commit activity
    C 0 ISC 167 0 0 Updated Oct 7, 2026
  • mugenhwcfg-live Public Forked from robur-coop/mugenhwcfg-live

    Debian Live system for running mugenhwcfg

    Uh oh!

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

    codelabs-ch/mugenhwcfg-live's past year of commit activity
    Shell 0 BSD-2-Clause 1 0 0 Updated Oct 1, 2026
View all repositories

People

@Kensan @tobiasbrunner @reet-

Top languages

Loading…

Uh oh!

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

Most used topics

Loading…

Uh oh!

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

You are visitor 01402503 — 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.