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

Oling Cat OlingCat

🙀
Follow
Just a little cat.
650 followers · 476 following
  • Hakurei Shrine
  • Gensokyo
  • https://oling.cat/
  • @OlingCat
  • https://t.me/OlingCat
  • https://www.zhihu.com/people/olingcat

Achievements

Achievement: YOLOAchievement: Pair ExtraordinaireAchievement: Starstruckx3Achievement: Arctic Code Vault ContributorAchievement: Pull Sharkx3

Achievements

Achievement: YOLOAchievement: Pair ExtraordinaireAchievement: Starstruckx3Achievement: Arctic Code Vault ContributorAchievement: Pull Sharkx3

Highlights

  • Developer Program Member

Organizations

@ADCmnt @Go-zh @Racket-zh @rust-zh @Haskell-zh @Rocq-zh @Idris-zh @Kotlin-zh @PLT-zh @RISCV-zh @OCaml-zh @Arend-zh @Lean-zh
More
  • Overview
  • Repositories
  • Projects
  • Packages
  • Stars

Pinned Loading

  1. Rocq-zh/SF-zh Rocq-zh/SF-zh Public

    《软件基础》中文版

    HTML 974 73

  2. Agda-zh/PLFA-zh Agda-zh/PLFA-zh Public

    《编程语言基础：Agda 描述》，Programming Language Foundations in Agda 中文版

    Haskell 222 24

  3. Lean-zh/fp-lean-zh Lean-zh/fp-lean-zh Public

    Lean 函数式编程

    Lean 48 15

  4. Lean-zh/tp-lean-zh Lean-zh/tp-lean-zh Public

    Lean 定理证明

    Lean 30 12

  5. Idris-zh/Idris-dev Idris-zh/Idris-dev Public

    Forked from idris-lang/Idris-dev

    用作文档目的，翻译方式见 Issue #10

    Haskell 40 3

  6. Go-zh/tour Go-zh/tour Public archive

    【已弃用】新版移至 website 代码仓库

    Go 1.5k 221

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.