◐ Shell
clean mode source ↗

The Spire Programming Language

Popular repositories Loading

  1. The Spire Programming Language

    Agda 59 2

  2. Code from Gundry's thesis

    Haskell 1 1

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

    Haskell

  4. Spire development blog

    JavaScript 1

  5. Fork of Unbound. Adds monadic substitutions and Read support.

    Coq

Repositories

Type
Select type

Language
Select language

Sort
Select order

Showing 5 of 5 repositories

  • spire Public

    The Spire Programming Language

    spire/spire’s past year of commit activity

    Agda

    59

    BSD-3-Clause

    2 4 0

    Updated Oct 23, 2014

  • replib Public

    Fork of Unbound. Adds monadic substitutions and Read support.

    spire/replib’s past year of commit activity

    Coq 0 0

    0 0

    Updated Aug 20, 2014

  • spire/spire.github.io’s past year of commit activity

    JavaScript 0

    1 0 0

    Updated Aug 14, 2014

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

    spire/substM’s past year of commit activity

    Haskell 0 MIT 0

    0 0

    Updated Nov 27, 2013