stepchowfun / typical Sponsor Star 627 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 Jul 6, 2025 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
crhntr / muxt Star 3 Code Issues Pull requests "html/template" Enhancing Tools for Hypermedia Web Applications go golang template generate webapps go-template type-check htmx interface-description-language hypermedia-driven-application Updated Aug 6, 2025 Go