Repository Index

Type-safe search params state manager for React frameworks - Like useState, but stored in the URL query string.

• url-state
• react
• type-safe
• type-safety

Make your functions return something meaningful, typed, and safe!

• python
• python3
• functional-programming
• fp

Coalton is an efficient, statically typed functional programming language that supercharges Common Lisp.

• functional-programming
• common-lisp
• type-safety

A Tool for Writing Declarative, Type-Safe and Data-Driven Applications in SwiftUI using GraphQL

• swiftui
• graphql
• command-line-tool
• type-safety

A percentage type for Swift

• percentage
• percent
• type
• type-safety

Type-safe physical computations and unit conversions in Idris ⚖ 🌡 ⏲ 🔋 📐

• type-safety
• units-of-measure
• unit-conversion

Born is a modern ML framework for Go — train and deploy models as single binaries. Pure Go, zero CGO, GPU accelerated.

• autodiff
• automatic-differentiation
• cross-platform
• deep-learning

Generate PyAnnotate annotations from your pytest tests.

• python
• mypy
• type-safety
• tools

Next-generation HTTP router for Go 1.27+ with type-safe handlers, RFC 9457 errors, and built-in OpenAPI generation. Minimal dependencies, blazing performance.

• generics
• go
• golang
• http-router

Type-safe HTML template rendering engine for Go with generics, compile-time validation and go-generate support

• code-generator
• compile-time
• developer-tools
• generics

Type-safe async MQTT client for Rust. Topics as types, automatic routing and (de)serialization on top of rumqttc.

• async
• client
• iot
• mqtt

Yet another golang type safe object pool using generics

• go
• golang
• object-pool
• type-safety