Repository Index

Type-safe, strict Python. Works well with standard Python

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 extensions for the vertx eventbus

• vertx
• eventbus
• codegen
• kotlin

Type-safe SDK generator for PocketBase — schema to typed queries

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

A modern, type-safe, and highly-composable configuration library with a focus on runtime clarity

• config
• configuration
• configuration-management
• java

Implementing promises in Ada. Type-safe, efficient, thread-safe, ...

Yet another golang type safe object pool using generics

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

Immuto - Java Records-first object mapper.An annotation processor generates type-safe mapper implementations at compile time; the generated code calls each target record's canonical constructor directly - zero runtime reflection, sealed class support, full Java 21+ idioms.

• annotation-processor
• bean-mapper
• canonical-constructor
• code-generation

Lightweight Go SDK for Yandex Messenger Bot API — type-safe client with retry, rate-limit handling, and service-oriented architecture

• api-client
• bot
• bot-api
• chatbot

CLI for generating type-safe clients for EOS-compatible contracts.

• eos
• eosio
• wax
• blockchain