🏝 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

A Typescript tool to write configs with types. 🔧 Manage your configs as code. Remove type errors, make configs easily shareable. Tool is installable via NPM, can be adopted incrementally!

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.

Specification documents documentation for the polyproto federated messaging protocol

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

Type-safe run-time type library for OCaml.

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

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

TypeSpec representation of SWAPI: The Star Wars API.

🚩 Schema definition leading the crowd

🐒 A TypeSpec emitter for fast-check arbitraries.