https://github.com/typedefs/typedefs

Programming language agnostic type construction language based on polynomials.

category-theory f-algebras marshalling serialization serialization-library type-definitions type-theory types

Last synced: 31 Mar 2025