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

Contractual is an open-source tool designed to unify the lifecycle of API definitions and json contracts, ensuring consistency, versioning, and type safety across modern development workflows.

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

Unofficial geekmagic openapi document

ZeroTier

ODPT API Specs with TypeSpec

Type-safe run-time type library for OCaml.

Regular Expression specification compiler for Elixir

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

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