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
  • spire
  • 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 — The Spire Programming Language

Popular repositories Loading

  1. spire spire Public

    The Spire Programming Language

    Agda 58 2

  2. type-inference type-inference Public

    Code from Gundry's thesis

    Haskell 1 1

  3. substM substM Public

    A monadic variation on 'Unbound.LocallyNameless.Subst' which can be used to implement hereditary substitution.

    Haskell

  4. spire.github.io spire.github.io Public

    Spire development blog

    JavaScript 1

  5. replib replib Public

    Fork of Unbound. Adds monadic substitutions and Read support.

    Coq

Repositories

Loading
Type
Language
Sort
Showing 5 of 5 repositories
  • spire Public

    The Spire Programming Language

    Uh oh!

    There was an error while loading. Please reload this page.

     spire/spire's past year of commit activity
    Agda 58 BSD-3-Clause 2 4 0 Updated Oct 23, 2014
  • replib Public

    Fork of Unbound. Adds monadic substitutions and Read support.

    Uh oh!

    There was an error while loading. Please reload this page.

     spire/replib's past year of commit activity
    Coq 0 0 0 0 Updated Aug 20, 2014
  • spire.github.io Public

    Spire development blog

    Uh oh!

    There was an error while loading. Please reload this page.

     spire/spire.github.io's past year of commit activity
    JavaScript 0 1 0 0 Updated Aug 14, 2014
  • type-inference Public

    Code from Gundry's thesis

    Uh oh!

    There was an error while loading. Please reload this page.

     spire/type-inference's past year of commit activity
    Haskell 1 BSD-3-Clause 1 0 0 Updated Dec 20, 2013
  • substM Public

    A monadic variation on 'Unbound.LocallyNameless.Subst' which can be used to implement hereditary substitution.

    Uh oh!

    There was an error while loading. Please reload this page.

     spire/substM's past year of commit activity
    Haskell 0 MIT 0 0 0 Updated Nov 27, 2013

People
@larrytheliquid @ntc2

Top languages

Loading…

Uh oh!

There was an error while loading. Please reload this page.

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.