There are 1 repository under typesafety topic.
Smart, pythonic, ad-hoc, typed polymorphism for Python
A declarative type-safe framework for building fast and flexible list with Tables & Collection
Distributed runtime for JavaScript and TypeScript
🐍 The Mamba programming language, because we care about safety
A pre-configured setup for easy website development with Astro and Payload CMS using Docker.
Pattern matching in TS with Record Patterns, Type Patterns, type inference and more
Sbt plugin to help deploy Scala applications to Kubernetes
Start a new webapp with fullstack typesafety, with Directus providing the database sdk to Nest & React/Svelte
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.
Elchemy live - web Elchemy editor and compilator
A type-safe solution to define and consume routes
A list of awesome value types in Swift, for a more type safe code
Panda CSS integration with vite-plugin-ssr example
A Simple wrapper for Sveltekit Api Routes , With Typesafe client .
Typescript Maybe<Library<Greatness>>
A Scala DSL to build typesafe SQL queries on top of Doobie
Strongly typed identifiers for Swift projects
Simple but feature rich JSON database for NodeJS. Supports custom class serialization and deserialization, advanced querying, and more.
Easy TypeSafety for your Express middlewares, using Zod!
Value that is either a success or failure
Boost - GraphQL Talk by Experts: Code-first approach
If it walks like a duck and talks like a duck, treat it like a duck, even if it’s not a duck — a dynamic typing for PHP inspired by Flow types
💻 Py-Codeforces is a super-fast and type-safe focused library to interact with Codeforces with two clients, asynchronous and synchronous. The fields are used as it is.
A dart package that enables type-safe queries to a Supabase database.
A rigorous and consistent foundation for numerical and arithmetic programming