Skip to content

@goose-lang Goose

Change the repository type filter

All

    Repositories list

    3 repositories

    • goose

      Public
      Goose converts a subset of Go to Rocq
      gocoq
      gocoq
      Go
      •
      MIT License
      •18•137•0•1•Updated Mar 5, 2026Mar 5, 2026

    • primitive

      Public
      Go
      •
      MIT License
      •0•0•0•1•Updated Feb 17, 2026Feb 17, 2026

    • std

      Public
      verified "standard library" for Goose
      Go
      •
      MIT License
      •0•5•0•1•Updated Feb 17, 2026Feb 17, 2026