A type-level library enabling the creation and the manipulation of type constructors which can be detached from their type parameters. Also referred to as higher kinded types.
☆171Oct 14, 2026Updated 3 weeks ago
Alternatives and similar repositories for free-types
Users that are interested in free-types are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Extract or modify pieces of arbitrarily nested types with type lenses☆28Aug 24, 2026Updated 2 months ago
- A small library for testing your types☆18Aug 23, 2026Updated 2 months ago
- Functional programming in Typescript☆84Jun 25, 2024Updated 2 years ago
- A minimalistic DOM element creation library.☆20May 8, 2026Updated 5 months ago
- A minimalistic Preact-like signals implementation.☆37Jul 15, 2026Updated 3 months ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- A template literal tag that sanitizes interpolations.☆12Sep 19, 2024Updated 2 years ago
- A Starter kit for Purescript-Concur. Uses Parcel.☆14Feb 2, 2023Updated 3 years ago
- A Higher-Kinded-Types encoding for TypeScript w/ Composable Typeclasses☆51Mar 6, 2023Updated 3 years ago
- ✨Functional and composable type utilities☆307Sep 1, 2026Updated 2 months ago
- Collection of types for @effect/schema☆15Jan 15, 2024Updated 2 years ago
- Semantic judgment as an Effect primitive.☆14Sep 17, 2026Updated last month
- Additional types and types adjusted utilities for TypeScript☆413Oct 31, 2026Updated last week
- Type-Level Lambda Calculus interpreter with TypeScript☆18Jan 14, 2023Updated 3 years ago
- A type programming language which compiles to and interops with type-level TypeScript☆23Sep 9, 2022Updated 4 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- An ergonomic typescript compiler that enables typesafe syntactic macros.☆228Oct 18, 2021Updated 5 years ago
- Web Applications with Effect-TS☆379Oct 22, 2026Updated 2 weeks ago
- A GitHub Action that creates a new branch of your PlanetScale database☆12Feb 23, 2024Updated 2 years ago
- Push-based streams for Effect-ts☆16Apr 9, 2023Updated 3 years ago
- A HTTP toolkit for Effect-ts☆34Aug 4, 2023Updated 3 years ago
- The practical guide I wish existed while learning @effect-ts☆371Sep 28, 2024Updated 2 years ago
- Quantities in Typescript, Idris influenced☆10Dec 19, 2025Updated 10 months ago
- A unidirectional value-based JSON codec library.☆15Oct 9, 2023Updated 3 years ago
- A library of composable functions for the type-level! Transform your TypeScript types in any way you want using functions you already kno…☆3,680Dec 28, 2024Updated last year
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- ☆12Aug 8, 2016Updated 10 years ago
- 📚 Functions and algorithms implemented purely with TypeScript's type system☆1,571Dec 5, 2022Updated 3 years ago
- Type-safe RPC with generated runtime validation, REST semantics, websockets, and json-seq streams☆26Apr 29, 2026Updated 6 months ago
- Provides a Aff interface to Node Child Process Spawn☆14Mar 18, 2024Updated 2 years ago
- Pair everyone in your group with someone new.☆22Oct 24, 2026Updated 2 weeks ago
- ☆23Sep 24, 2021Updated 5 years ago
- Purescript refinement types with runtime checking☆25Sep 17, 2022Updated 4 years ago
- Zero's Standard Lib or Doreamon☆13Nov 2, 2023Updated 3 years ago
- Standard types and basic operations for working with JSON☆17Oct 18, 2026Updated 2 weeks ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- The core libraries to build apps with Effect☆83Oct 26, 2026Updated last week
- Generalized indexing, search, and change subscriptions for Deno KV☆15Sep 14, 2023Updated 3 years ago
- String utilities that understand terminal escape sequences.☆24Jan 17, 2025Updated last year
- Easy Router for Effector with React bindings☆10Mar 29, 2022Updated 4 years ago
- A functional layout system for terminal applications built with EffectTS. Create TUIs with composable boxes, ANSI styling, and reactive c…☆31Oct 16, 2026Updated 3 weeks ago
- ☆17Oct 2, 2024Updated 2 years ago
- ☆17Mar 1, 2023Updated 3 years ago