Awesome GitHub RepositoriesType-Safe

sqlc is a SQL compiler and code generator that creates type-safe database client code from raw SQL queries. It transforms SQL statements into typed definitions and functions, eliminating the need for manual row mapping between database results and application structures. The tool ensures compile-time safety by validating SQL queries against the database schema before the application is run. This workflow integrates the database schema directly into the application code, deriving types from the underlying SQL definitions to prevent runtime errors. The system utilizes AST-based query analysis

sqlc is a code generation tool that compiles raw SQL queries into type-safe application code. By analyzing SQL statements against database schema definitions during the build process, it eliminates the need for manual data mapping and prevents runtime type errors. The project functions as a schema-aware generator that translates database column types into native language primitives. It distinguishes itself through a modular, plugin-based architecture that allows for the extension of the generation pipeline to support diverse programming languages and custom frameworks beyond its default capab

This project is a comprehensive, curated directory of static analysis, linting, and security scanning utilities. It serves as a central resource for developers to discover, compare, and select tools based on specific programming languages, licensing models, and integration requirements. The directory distinguishes itself by providing deep metadata for each listed utility, including community-driven popularity rankings, maintenance status, and deployment methods. By aggregating these tools into a single searchable index, it enables teams to identify solutions for enforcing coding standards, ma

Sea-ORM is an asynchronous SQL object-relational mapper and database toolkit for mapping relational tables to strongly typed objects. It provides a relational database mapper for performing CRUD operations across MySQL, PostgreSQL, and SQLite, and includes a programmatic dynamic query builder for constructing complex SQL statements. The project distinguishes itself by providing a GraphQL schema generator that transforms database entities into typed schemas with built-in pagination and filters. It also features a dedicated database migration tool for defining and applying versioned schema chan

Squirrel is a Go database library and SQL query builder that provides a programmatic interface for constructing and executing SQL statements. It enables the creation of queries using a fluent interface to avoid manual string concatenation. The library functions as a SQL dialect generator, producing queries formatted for specific database engines by adjusting placeholders and syntax to match target requirements. This allows for the generation of SQL compatible with multiple different database environments. Beyond query construction, the project covers the execution of generated statements aga

jOOQ is a type-safe SQL query builder for Java that generates code from live database schemas, enabling compile-time validation of SQL syntax and data types. Its core identity is built around a fluent DSL that mirrors SQL structure, a code generator that maps tables, views, and routines to Java objects, and a multi-dialect engine that translates the same DSL into vendor-specific SQL for over 30 databases. The project also includes a SQL parser and transformer for refactoring or dialect conversion, reactive stream integration for non-blocking query execution, and a JDBC proxy diagnostics tool f

ihp هو إطار عمل ويب آمن من حيث الأنواع (type-safe) ومنسق تطبيقات متكامل مصمم لـ PostgreSQL. يعمل كإطار عمل للرسم من جانب الخادم (SSR) وORM آمن من حيث الأنواع يقوم تلقائيًا بإنشاء أنواع السجلات من مخططات SQL لضمان التحقق من الاستعلامات في وقت التجميع. تتميز المنصة بالتحقق من التوجيه، واستعلامات قاعدة البيانات، والقوالب في وقت التجميع لمنع الأعطال في وقت التشغيل. وتنفذ واجهات ويب في الوقت الفعلي باستخدام WebSockets لمزامنة البيانات الفورية وتستخدم الوسائط المتعددة التي يحركها الخادم (server-driven hypermedia) لتصحيح DOM الجزئي. يغطي إطار العمل مجموعة واسعة من الإمكانيات المتكاملة، بما في ذلك إدارة هوية المستخدم مع دعم مفاتيح المرور (passkeys) وOAuth، وطبقة تخزين بيانات كاملة مع عمليات ترحيل آلية، ونظام عرض واجهة مستخدم شامل مع قوالب HTML آمنة من حيث الأنواع. كما يوفر أدوات مدمجة لتطوير واجهة برمجة تطبيقات JSON، وتنفيذ مهام الخلفية غير المتزامنة، والتكامل المالي لبوابات الدفع. تتم إدارة بيئات الإنتاج من خلال نشر NixOS التصريحي للبنية التحتية القابلة للتكرار.

Drift is a type-safe SQL persistence library and relational mapper that provides a structured way to map database tables to classes and execute SQL queries with build-time validation. It functions as a type-safe query builder and a wrapper for SQLite and PostgreSQL, eliminating manual result set parsing by binding query outputs to native objects. The project distinguishes itself through a build-time code generation system that produces type-safe APIs and validates raw SQL statements against database versions before execution. It features reactive query streaming, which transforms SQL queries