🏝 automated contract testing via type checking for Elixir functions and mocks

A library to validate values of nested structs with their type spec t() and associated precondition functions

Typespec based parsing of JSON-like data for Elixir

A software of social media.

A code generation tool for openapi 3 / 3.1 specifications written in typescript, primarily aimed at generating typescript clients and server stubs. Other target languages may be added in future.

Modelagem de Dados do Ladesa.

Extended Types. Import additional types to your Elixir modules.

TypeSpec Language Support Plugin for IntelliJ Platform

Library to validate function arguments and return values against their typespecs. Extracted out from Hammox

ZeroTier

ODPT API Specs with TypeSpec

Example of TypeSpec code to generate Contoso Real Estate API specification.

Type-safe run-time type library for OCaml.

TypeSpec library for defining eBUS messages and emitting to ebusd CSV.

TypeSpec representation of SWAPI: The Star Wars API.

🚩 Schema definition leading the crowd

Regular Expression specification compiler for Elixir

TypeSpec library for emitting protobuf, gRPC and JSON transcoding