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 — sp1ff - Overview

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

Michael sp1ff

Follow
I hack in Rust, Idris, Rocq, Lisp & C++. I think a lot about writing provably correct code.
31 followers · 46 following
  • Portland, OR
  • https://www.unwoundstack.com
  • @unwoundstack
  • @[email protected]

Achievements

Achievement: Pull Sharkx3Achievement: Pair ExtraordinaireAchievement: YOLOAchievement: QuickdrawAchievement: StarstruckAchievement: Arctic Code Vault Contributor

Achievements

Achievement: Pull Sharkx3Achievement: Pair ExtraordinaireAchievement: YOLOAchievement: QuickdrawAchievement: StarstruckAchievement: Arctic Code Vault Contributor
More
  • Overview
  • Repositories
  • Projects
  • Packages
  • Stars

Pinned Loading

  1. elfeed-score elfeed-score Public

    Gnus-style scoring for elfeed

    Emacs Lisp 78 8

  2. scribbu scribbu Public

    The extensible tool for tagging your music collection

    C++ 3

  3. damerau-levenshtein damerau-levenshtein Public

    Comparison of a few algorithms for computing Damerau–Levenshtein distance

    Shell 9 1

  4. mpdpopm mpdpopm Public

    Maintain ratings & playcounts for your mpd server

    Rust 22 2

  5. ob-coq ob-coq Public

    Org Babel code block evaluation for Coq

    Emacs Lisp 4 2

  6. indielinks indielinks Public

    del.icio.us in the Fediverse

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