Repository navigation

#

typesafety

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

Python
722
10 个月前

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

Swift
210
6 年前

RPC / E2E Client For AdonisJS

TypeScript
179
2 个月前

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

TypeScript
145
9 个月前

Type safe Vue.js mixins

JavaScript
105
6 年前

Type safe predicate generator for TypeScript

TypeScript
98
6 个月前

🐍 The Mamba programming language, because we care about safety

Rust
90
2 个月前

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

TypeScript
68
5 年前

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.

TypeScript
30
6 个月前

An emerging widget for exploring RESTful APIs in Jupyter notebooks.

Python
29
4 个月前

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

TypeScript
29
1 年前

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

Rust
18
10 个月前

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

Scala
14
1 年前

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

C#
10
1 年前

Rust inspired Option and Result implementation for Go

Go
8
5 个月前