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

schildep

Follow
9 followers · 0 following

Achievements

Achievement: Starstruck

Achievements

Achievement: Starstruck
More
  • Overview
  • Repositories
  • Projects
  • Packages
  • Stars

Popular repositories Loading

  1. verified-3d-mesh-intersection verified-3d-mesh-intersection Public

    Formally verified 3D mesh intersection - trust 93 lines of spec, not 1000+ lines of AI-written code

    Lean 110 2

  2. verified-polygon-intersection verified-polygon-intersection Public

    Formally verified polygon intersection

    Lean 49 3

  3. challenge-verified-polygon-intersection-Opus-4.8 challenge-verified-polygon-intersection-Opus-4.8 Public

    Lean 1

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.