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

Katsuyoshi Ozaki moratori

Follow
my interests: Public Key Infrastructure, Self-sovereign identity, Verifiable Credentials, Domain Name System, Symbolic Computation
40 followers · 115 following
  • Tokyo, Japan
  • 02:15 (UTC +09:00)
  • https://zkat.hatenablog.com

Achievements

Achievement: QuickdrawAchievement: YOLOAchievement: Pull Sharkx3Achievement: Arctic Code Vault Contributor

Achievements

Achievement: QuickdrawAchievement: YOLOAchievement: Pull Sharkx3Achievement: Arctic Code Vault Contributor

Organizations

@OWND-Project
More
  • Overview
  • Repositories
  • Projects
  • Packages
  • Stars

Pinned Loading

  1. clover clover Public

    A experimental prover written in Common Lisp, based on clause resolution and Knuth-Bendix completion algorithm.

    Common Lisp 3

  2. dnsprobe dnsprobe Public

    Domain Name System monitoring tool

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