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

Gerwin Klein lsf37

Follow
Proves stuff. Chief Scientist and Co-Founder at Proofcraft
142 followers · 0 following
  • Proofcraft
  • Sydney, Australia
  • https://doclsf.de
  • https://orcid.org/0000-0001-8883-0559
  • @[email protected]

Achievements

Achievement: Pull Sharkx4Achievement: Starstruckx4Achievement: YOLOAchievement: Pair Extraordinairex3Achievement: QuickdrawAchievement: Arctic Code Vault Contributor

Achievements

Achievement: Pull Sharkx4Achievement: Starstruckx4Achievement: YOLOAchievement: Pair Extraordinairex3Achievement: QuickdrawAchievement: Arctic Code Vault Contributor

Organizations

@seL4 @jflex-de @proofcraft
More
  • Overview
  • Repositories
  • Projects
  • Packages
  • Stars

Pinned Loading

  1. Isabelle.tmbundle Isabelle.tmbundle Public

    TextMate syntax highlighting for the Isabelle theorem prover

    2 2

  2. seL4/seL4 seL4/seL4 Public

    The seL4 microkernel

    C 5.9k 826

  3. jflex-de/jflex jflex-de/jflex Public

    The fast scanner generator for Java™ with full Unicode support

    Java 637 119

  4. seL4/l4v seL4/l4v Public

    seL4 specification and proofs

    Isabelle 663 132

  5. jflex-de/jflex-web jflex-de/jflex-web Public

    JFlex Website

    HTML 2 5

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.