type-safe
The Programming Language compiled to Bash. Write your scripts in a modern type-safe and runtime-safe programming language that handles many bugs and mistakes during compilation process.
Ask TypeSafe's Jev decision model questions about your data from inside Snowflake. dbt package plus a Terraform module.
Jevflake lets Snowflake ask questions about your data using Jev, the decision model from TypeSafe AI. It is a dbt package, with a Terraform module for teams that manage Snowflake that way.
🧙♀️ Move Fast and Break Nothing. End-to-end typesafe APIs made easy.
Experience the full power of TypeScript inference to boost productivity for your full-stack application.
tRPC allows you to easily build & consume fully typesafe APIs without schemas or code generation.
Related contents:
Type-safe Routing for React and Solid applications
A powerful React router for client-side and full-stack react applications. Fully type-safe APIs, first-class search-params for managing state in the URL and seamless integration with the existing React ecosystem.
Related contents:
A lightweight, lightning-fast, type-safe embeddable language for real-time applications.
Reason lets you write simple, fast and quality type safe code while leveraging both the JavaScript & OCaml ecosystems.
Multilingual, non-autoregressive System 1 decision engine. Typed decisions over 100+ languages in a single forward pass — 33 ms — trained with reinforcement learning against strictly proper scoring rules (RLCD), with a router that picks the right checkpoint per request.
WebAssembly for the Modern Web.
A type-safe, component-based language for building high-performance web apps with WASM and fine-grained reactivity.
Fine-tunes of Qwen3.5 and Gemma 4 for zero-shot classification.
Fine-tunes of Qwen3.5 and Gemma 4 for zero-shot classification: small, fast decision models you slot into your code, with the same request format as Jev. You describe a situation and list the options in plain words; Jeff returns a calibrated probability for each option from a single forward pass. No generated text, no parsing: about 22 ms per decision on an RTX PRO 6000 and 28 ms on an Apple M4 Max (MLX).
Like Protobuf, without the pain. The single source of truth for your data types.
Skir is a declarative language for defining data types, constants, and APIs. Write your schema once in a .skir file and generate idiomatic, type-safe code in TypeScript, Python, Java, Go, C++, and more.
The type-safe SQL query builder for TypeScript.
Kysely (pronounce “Key-Seh-Lee”) is a type-safe and autocompletion-friendly TypeScript SQL query builder. Inspired by Knex.js. Mainly developed for Node.js but also runs on all other JavaScript environments like Deno, Bun, Cloudflare Workers and web browsers.
Related contents:
Type-safe Composable CSS.
From simple UI styles to full Design Systems, write code using Styleframe’s powerful TypeScript CSS API — AI-ready by design. Write type-safe, composable, future-proof Design Systems code using styleframe's powerful TypeScript CSS API.
Integrate with any API. Simple, TypeSafe, Fast. Seamless Requests and Real-Time Connectivity. ⚡ Fetching and realtime data exchange framework.
Hyper Fetch is a framework that makes it easy to connect to any remote API. Using request based or real-time connection.
Hyper Fetch is unique fetching and realtime data-exchange framework meticulously crafted to prioritize simplicity and efficiency. Its typesafe design and user-friendly interface ensure a seamless integration experience, whether you're working on the browser or the server. Next-generation features streamlines architecture creation, grants access to the request lifecycle, and empowers rapid development of new components and functionalities, all while facilitating real-time data exchange.
Write SQL. Ship confidence. SQL-first tooling for PostgreSQL Type-safe PostgreSQL client code generator.
pGenie validates SQL, manages indexes, and generates type-safe client SDKs — all derived from the migrations and queries in plain SQL.