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

Wolfgang Jeltsch jeltsch

Follow
I’m passionate about functional programming, logic, category theory, and more.
53 followers · 0 following
  • @well-typed
  • Tallinn, Estonia
  • https://wolfgang.jeltsch.info/

Achievements

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

Achievements

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

Pinned Loading

  1. pomelo pomelo Public

    The Pomelo temporal programming library

    Haskell 10 1

  2. incremental-computing incremental-computing Public

    Incremental computing

    Haskell 8

  3. order-maintenance order-maintenance Public

    Algorithms for the order maintenance problem with a safe, yet flexible interface

    Haskell 1

  4. order-maintenance-correctness order-maintenance-correctness Public

    Proof of correctness of the Jeltsch–Firsov order maintenance algorithm

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.