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

Dima Szamozvancev DimaSamoz

Follow
42 followers · 2 following
  • University of Sheffield
  • Sheffield
  • https://www.cl.cam.ac.uk/~ds709/

Achievements

Achievement: Pair Extraordinairex3Achievement: QuickdrawAchievement: YOLOAchievement: Arctic Code Vault ContributorAchievement: Pull Sharkx2Achievement: Starstruckx2

Achievements

Achievement: Pair Extraordinairex3Achievement: QuickdrawAchievement: YOLOAchievement: Arctic Code Vault ContributorAchievement: Pull Sharkx2Achievement: Starstruckx2

Highlights

  • Pro
More
  • Overview
  • Repositories
  • Projects
  • Packages
  • Stars

Pinned Loading

  1. mezzo mezzo Public

    A Haskell library for typesafe music composition

    Haskell 372 13

  2. agda-soas agda-soas Public

    Agda formalisation of second-order abstract syntax

    Agda 55 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.