typesafety

Type safe SQL builder with code generation and automatic query result data mapping

Rust newtype with guarantees 🇺🇦 🦀

Smart, pythonic, ad-hoc, typed polymorphism for Python

RPC / E2E Client For AdonisJS

A declarative type-safe framework for building fast and flexible list with Tables & Collection

Distributed runtime for JavaScript and TypeScript

A pre-configured setup for easy website development with Astro and Payload CMS using Docker.

Type safe Vue.js mixins

Type safe predicate generator for TypeScript

🐍 The Mamba programming language, because we care about safety

Pattern matching in TS with Record Patterns, Type Patterns, type inference and more

A fully type-safe Typesense client for type-heads

Sbt plugin to help deploy Scala applications to Kubernetes

A tiny TypeScript library for handling side effects in a unified way using algebraic effects, offering a type-safe approach for async operations, error handling, dependency injection, and more.

An emerging widget for exploring RESTful APIs in Jupyter notebooks.

Start a new webapp with fullstack typesafety, with Directus providing the database sdk to Nest & React/Svelte

Enforce Effect-first code standards as part of the agent loop

Create custom ID types that are guaranteed to be valid RecordIDs in SurrealDB

A type driven approach to string interpolation, aiming at consistent, secure, and only-human-readable logs and console outputs !

Sarcasm is an SDK for creating typesafe, domain-bound grammars. It also has a grammar driven general unparser.