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

Chris Hall chrisosaurus

Follow
Ex-Googler (Chrome Browser). Buzzwords: Programming languages, Type theory, Mathematical Proofs, Hash tables, Memory management, Accessibility, UX/UI.
125 followers · 219 following
  • @google
  • Sydney, Australia

Achievements

Achievement: Pair Extraordinairex2Achievement: Arctic Code Vault ContributorAchievement: StarstruckAchievement: Pull Sharkx2

Achievements

Achievement: Pair Extraordinairex2Achievement: Arctic Code Vault ContributorAchievement: StarstruckAchievement: Pull Sharkx2

Organizations

@discus-lang @proglangdesign
More
  • Overview
  • Repositories
  • Projects
  • Packages
  • Stars

Pinned Loading

  1. discus-lang/salt discus-lang/salt Public

    The compilation target that functional programmers always wanted.

    Haskell 62 3

  2. gentzen gentzen Public

    A proof checker and assistant for Sequent calculi

    Haskell 2

  3. icarus icarus Public

    Programming language designed as an experiment to explore mutation and aliasing control

    C 35 2

  4. discus-lang/ddc discus-lang/ddc Public

    The Disco Discus Compiler

    Haskell 176 19

  5. carp-lang/Carp carp-lang/Carp Public

    A statically typed lisp, without a GC, for real-time applications.

    Haskell 6.1k 189

  6. ponylang/ponyc ponylang/ponyc Public

    Pony is an open-source, actor-model, capabilities-secure, high performance programming language

    Pony 6.2k 440

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.