---
title: "Make application logic type-safe"
description: "Express complex types, test declarations, and model application logic."
pagination: false
---

{/* Generated from content/. Edit the catalog, not this page. */}

<PurposeNote title="Start with the tradeoff">Choose utilities that make your domain easier to understand rather than adding type complexity without a clear benefit.</PurposeNote>

## Options for this task

<LibraryIndex category="typescript" />

<LibraryCard libraryId="effect" />

<LibraryCard libraryId="total-typescript-tsconfig" />

<LibraryCard libraryId="true-myth" />

<LibraryCard libraryId="ts-expect" />

<LibraryCard libraryId="ts-pattern" />

<LibraryCard libraryId="ts-toolbelt" />

<LibraryCard libraryId="tsd" />

<LibraryCard libraryId="type-fest" />

## Before you decide

Try a small, realistic example. Check the runtime, accessibility, maintenance, and license requirements for the features you need.

[Browse typescript &amp; typed logic →](/typescript)

[Explore more tasks →](/tasks)