🏝 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.

A Typescript tool to write configs with types. 🔧 Installable via NPM, can be adopted incrementally!

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.

Regular Expression specification compiler for Elixir

TypeSpec representation of SWAPI: The Star Wars API.

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

🚩 Schema definition leading the crowd