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

Naïm Camille Favier ncfavier

Follow
aka ncf. PhD student working on cubical type theory. Trying to move to Codeberg.
146 followers · 70 following
  • Chalmers University of Technology
  • Sweden
  • 16:17 (UTC +01:00)
  • https://monade.li
  • https://orcid.org/0000-0001-9708-624X
  • @[email protected]
  • https://codeberg.org/ncf

Organizations

@NixOS @nix-community @dpndnt @the1lab
More
  • Overview
  • Repositories
  • Projects
  • Packages
  • Stars

Pinned Loading

  1. the1lab/1lab the1lab/1lab Public

    A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory

    Agda 448 96

  2. agda-stuff agda-stuff Public

    My Mikan scratchpad

    Agda 13 1

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.