goose is an actively used programming language created in 2018. Goose is a programming language in development that aims at being (yet another) c++ alternative.

2Years Old ?Users ?Jobs
  • goose first appeared in 2018
  • Have a question about goose not answered here? Email me and let me know how I can help.

Example code from the web:

uint(32) lomarf( uint(32) a, uint(32) b )
    requires [ a>b ]
    ensures [ @result>0 ]
    return a - b

Last updated August 9th, 2020

Edit goose on GitHub