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

Dave Föger davef96

Follow
3 followers · 0 following
  • 16:29 (UTC +01:00)
More
  • Overview
  • Repositories
  • Projects
  • Packages
  • Stars

Popular repositories Loading

  1. A-Web-Application-for-Natural-Deduction-Proofs A-Web-Application-for-Natural-Deduction-Proofs Public

    This project implements an interactive web application that facilitates writing box style natural deduction proofs for statements in first-order logic.

    Elm 1

  2. jsolver jsolver Public

    JAX-native differentiable multigrid solver for steady-state diffusion–absorption problems.

    Python

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.