stepchowfun / typical Sponsor Star 604 Code Issues Pull requests Data interchange with algebraic data types. serialization types idl algebraic-data-types type-safety data-interchange interface-definition-language interface-description-language Updated Nov 30, 2024 Rust
cardano-foundation / fine-types Star 10 Code Issues Pull requests FineTypes is an interface description language (IDL) focussing on types haskell json-schema cardano interface-description-language Updated Mar 13, 2024 Haskell