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
  • agda
  • ActionsCI/CD and automation
  • CodespacesCloud development environments
  • All Features
  • Documentation
  • Training
  • Certifications
  • Build with Copilot
  • Customize Copilot
  • Integrations
  • Trending repos
  • GitHub Sponsors
  • Developer articles

This view

  • Original page
  • New address

GeezerVison is showing github.com — Agda Github Community

Popular repositories Loading

  1. agda agda Public

    Agda is a dependently typed programming language / interactive theorem prover.

    Haskell 3k 432

  2. agda-stdlib agda-stdlib Public

    The Agda standard library

    Agda 681 274

  3. cubical cubical Public

    An experimental library for Cubical Agda

    Agda 573 172

  4. agda-categories agda-categories Public

    A new Categories library for Agda

    Agda 412 83

  5. agda2hs agda2hs Public

    Compiling Agda code to readable Haskell

    Agda 212 52

  6. cornelis cornelis Public

    agda-mode for neovim

    Haskell 197 29

Repositories

Loading
Type
Language
Sort
Showing 10 of 25 repositories
  • agda-stdlib Public

    The Agda standard library

    agda/agda-stdlib's past year of commit activity
    Agda 681 274 287 61 Updated Nov 12, 2026
  • agda-language-server Public

    Language Server for Agda

    agda/agda-language-server's past year of commit activity
    Haskell 130 MIT 22 3 2 Updated Nov 12, 2026
  • agda Public

    Agda is a dependently typed programming language / interactive theorem prover.

    agda/agda's past year of commit activity
    Haskell 2,970 432 998 (29 issues need help) 58 Updated Nov 11, 2026
  • agda2hs Public

    Compiling Agda code to readable Haskell

    agda/agda2hs's past year of commit activity
    Agda 212 MIT 52 66 (5 issues need help) 8 Updated Nov 10, 2026
  • agda2lambox Public

    Compiling Agda's internal syntax to λ-box terms.

    agda/agda2lambox's past year of commit activity
    Haskell 11 3 11 (1 issue needs help) 4 Updated Nov 9, 2026
  • agda-stdlib-meta Public

    Meta-programming utilities for Agda.

    agda/agda-stdlib-meta's past year of commit activity
    Agda 25 MIT 5 9 2 Updated Nov 8, 2026
  • agda-categories Public

    A new Categories library for Agda

    agda/agda-categories's past year of commit activity
    Agda 412 MIT 83 60 (4 issues need help) 16 Updated Nov 8, 2026
  • agda-stdlib-classes Public

    Extension of Agda's standard library to accommodate a more typeclass-friendly interface.

    agda/agda-stdlib-classes's past year of commit activity
    Agda 8 MIT 4 2 0 Updated Nov 4, 2026
  • closed-issues-for-milestone Public

    Extract closed issues on given milestone for inclusion in changelog

    agda/closed-issues-for-milestone's past year of commit activity
    Haskell 0 BSD-3-Clause 0 0 0 Updated Oct 19, 2026
  • cubical Public

    An experimental library for Cubical Agda

    agda/cubical's past year of commit activity
    Agda 573 172 66 (2 issues need help) 47 Updated Oct 8, 2026
View all repositories

People
@larrytheliquid @copumpkin @gelisam @UlfNorell @anka-213 @fredrikNordvallForsberg @bitonic @asr @guillaumebrunerie @banacorn @gallais @andreasabel @jonaprieto @phile314 @Taneb @jespercockx @williamdemeo @L-TChen @halfaya @HuStmpHrrr
View all

Top languages

Agda Haskell Python TypeScript

Most used topics

Loading…

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.