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

William DeMeo williamdemeo

Follow
Universal algebraist, complexity theorist, formal methodologist, AI alchemist, functional programmer (Agda, Haskell, Lean, Scala, Spark).
136 followers · 54 following
  • IO @input-output-hk
  • Boulder, CO, USA
  • 06:42 (UTC -07:00)
  • williamdemeo.org
  • https://orcid.org/0000-0003-1832-5690

Achievements

Achievement: Pull Sharkx4Achievement: Pair Extraordinairex4Achievement: YOLOAchievement: QuickdrawAchievement: Arctic Code Vault ContributorAchievement: Starstruckx2

Achievements

Achievement: Pull Sharkx4Achievement: Pair Extraordinairex4Achievement: YOLOAchievement: QuickdrawAchievement: Arctic Code Vault ContributorAchievement: Starstruckx2

Highlights

  • Developer Program Member
  • Pro

Organizations

@agda @UACalc @UniversalAlgebra @TypeFunc @input-output-hk @OPLSS @ualib @ModelTheory @formalverification @IntersectMBO
More
  • Overview
  • Repositories
  • Projects
  • Packages
  • Stars

Pinned Loading

  1. IntersectMBO/formal-ledger-specifications IntersectMBO/formal-ledger-specifications Public

    Formal specifications of the Cardano ledger

    Agda 52 20

  2. ualib/agda-algebras ualib/agda-algebras Public

    The Agda Universal Algebra Library (html docs available at the url below)

    Python 50 8

  3. github-project github-project Public template

    Python 2

  4. formalverification/agda-native-air formalverification/agda-native-air Public

    Agda Native AI Reasoning environment is a research project for building the interaction, retrieval, and evaluation infrastructure that allows modern AI agents to work effectively with Agda.

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