jtassarotti / marshal

Marshaling library targeting Goose

Go encoding library

Written in Goose for verification in Iris.

To translate with goose:

goose -out ~/code/perennial/external/Goose -package github.com/tchajed/marshal .