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 — lambdair - Overview
@lambdair lambdair Follow
More
  • Overview
  • Repositories
  • Projects
  • Packages
  • Stars
  • Sponsoring
@lambdair
lambdair
Follow
View lambdair's full-sized avatar

Ziyu GUO lambdair

Follow
10 followers · 13 following
  • Toyokumo, Inc.
  • Japan/Tokyo
  • https://sr.ht/~lambdair/

Sponsoring

@uiua-lang

Achievements

Achievement: Pull Sharkx2Achievement: Public SponsorAchievement: Arctic Code Vault Contributor

Achievements

Achievement: Pull Sharkx2Achievement: Public SponsorAchievement: Arctic Code Vault Contributor
More
  • Overview
  • Repositories
  • Projects
  • Packages
  • Stars
  • Sponsoring

Pinned Loading

  1. nix-configs nix-configs Public

    mirror

    Nix

  2. computational-type-theory-lean4 computational-type-theory-lean4 Public

    Lean 2

  3. guile-paip-prolog guile-paip-prolog Public

    mirror of https://git.sr.ht/~lambdair/guile-paip-prolog

    Scheme

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 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.