Skip to content
@spex-lang

spex

The Spex specification language and verifier

Pinned Loading

  1. spex spex Public

    The Spex specification language and verifier

    Haskell 3

  2. spexup spexup Public

    Installer for the Spex language

    Shell

Repositories

Showing 3 of 3 repositories
  • spex Public

    The Spex specification language and verifier

    spex-lang/spex’s past year of commit activity
    Haskell 3 BSD-2-Clause 0 0 0 Updated Nov 7, 2024
  • spexup Public

    Installer for the Spex language

    spex-lang/spexup’s past year of commit activity
    Shell 0 0 0 0 Updated Nov 6, 2024
  • spex-lang.github.io Public

    Website for the Spex language

    spex-lang/spex-lang.github.io’s past year of commit activity
    CSS 0 0 0 0 Updated Oct 29, 2024

People

This organization has no public members. You must be a member to see who’s a part of this organization.

Top languages

Loading…

Most used topics

Loading…