Refinement types for TypeScript!
☆22Sep 5, 2026Updated last month
Alternatives and similar repositories for ts-refinement
Users that are interested in ts-refinement are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A typed fold over object contributions: build an object piece by piece, know its exact shape at every step, and prove when it is complete…☆15Sep 24, 2026Updated 3 weeks ago
- A runtime-agnostic, composable library for writing predictable operations in TypeScript.☆23Oct 12, 2026Updated last week
- Effect.py☆16Dec 15, 2025Updated 10 months ago
- Route HTTP requests by meaning. A semantic router for Hono powered by Jev.☆52Sep 18, 2026Updated last month
- a ML-style programming language based on the calculus of constructions type theory☆24Jul 6, 2025Updated 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.
- ☆29Sep 22, 2026Updated last month
- Effect-native x402☆45Sep 23, 2026Updated 3 weeks ago
- Effect-native TypeScript SDK for Herdr's local protocol-21 socket API☆54Sep 9, 2026Updated last month
- A TypeScript mod that adds operator overloading☆52Jun 24, 2026Updated 3 months ago
- A multi-panel LLM workflow tool designed to accelerate work output and improve situational awareness across tasks.☆38Jun 18, 2026Updated 4 months ago
- 4chan leaked source code☆13Apr 15, 2025Updated last year
- A tiny, worker-first relational database for browser apps.☆37Oct 13, 2026Updated last week
- ✈️ Blazing fast codemods with a super simple API.☆32May 16, 2026Updated 5 months ago
- A modified version of C++ webview for Neutralinojs.☆10Nov 27, 2023Updated 2 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.
- Get the Android 11 Launcher on unsupported devices running android 11☆12Feb 14, 2021Updated 5 years ago
- clients for various social media APIs in continuation passing style☆12Updated this week
- Multi-system emulator — 16 consoles (GBA, SNES, NES, N64, PS1, Genesis, …) emulated in Rust, with a WebAssembly web app, native macOS (Sw…☆15Jun 17, 2026Updated 4 months ago
- 🐣 Create and set up new npm packages w/ trusted (OIDC) publishing - for one package or a whole monorepo☆34Sep 17, 2026Updated last month
- Hackable taiko client which runs on Linux, macOS, Windows and the web.☆18Oct 16, 2024Updated 2 years ago
- Bluesky bot — mention it and it sentiment-scores your last 100 posts (AFINN)☆13Apr 25, 2026Updated 5 months ago
- A functional layout system for terminal applications built with EffectTS. Create TUIs with composable boxes, ANSI styling, and reactive c…☆31Updated this week
- Provides Lock and RwLock synchronization primitives.☆15Jun 18, 2026Updated 4 months ago
- Reverse-engineering Claude Code's internals — feature flags, telemetry, device fingerprinting, and infrastructure, version by version.☆39Oct 14, 2026Updated last week
- 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.
- Currying in Clojure for fun and learning.☆11Feb 14, 2024Updated 2 years ago
- ☆57Updated this week
- ☆22Sep 26, 2026Updated 3 weeks ago
- ☆12Oct 17, 2023Updated 3 years ago
- The missing spine for agent-driven coding. Create the structure you need to reduce the cost of changes, verification and fixes.☆30Sep 1, 2026Updated last month
- A registry bridge for installing `pkg.pr.new` like preview builds as normal npm versions.☆15Updated this week
- Semantic SQL for Postgres, powered by Jev☆14Sep 19, 2026Updated last month
- node-pg wrapper for effect-ts☆13Jun 4, 2024Updated 2 years ago
- Dynamic, Type-Erased Key-Value Maps in Rust☆14Feb 23, 2024Updated 2 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Type inference implementation in OCaml using Algorithm W☆10Aug 26, 2021Updated 5 years ago
- A Blog Engine written in Clojure☆12Sep 25, 2013Updated 13 years ago
- Vite plugin that converts Makefile targets into vite-plus tasks☆13Updated this week
- ⚛️ Melange bindings for React Query☆12Apr 13, 2024Updated 2 years ago
- A self-hosted RSS feed reader on Cloudflare Workers and D1. Passkey-only sign-in, Google Reader API compatible.☆19Sep 26, 2026Updated 3 weeks ago
- Some nice Crab things implemented in TypeScript.☆16Feb 6, 2024Updated 2 years ago
- A macOS menu bar app that displays notifications in the notch area. Send text from the CLI and it pops up around the notch.☆13Apr 12, 2026Updated 6 months ago