Skip to content
@goose-lang

Goose

Goose is a subset of Go that supports verification

Popular repositories Loading

  1. goose goose Public

    Goose converts a subset of Go to Coq

    Go 108 12

  2. std std Public

    verified "standard library" for Goose

    Go 4

  3. primitive primitive Public

    Go

Repositories

Showing 3 of 3 repositories
  • goose Public

    Goose converts a subset of Go to Coq

    goose-lang/goose’s past year of commit activity
    Go 108 MIT 12 15 1 Updated Dec 20, 2024
  • std Public

    verified "standard library" for Goose

    goose-lang/std’s past year of commit activity
    Go 4 MIT 0 0 0 Updated Jul 26, 2024
  • primitive Public
    goose-lang/primitive’s past year of commit activity
    Go 0 MIT 0 0 0 Updated Jul 20, 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…