Rezoom.SQL
Type safe SQL generator
A statically typed SQL compiler and type provider for F#
Statically typechecks a common SQL dialect and translates it to various RDBMS backends
670 stars
33 watching
25 forks
Language: F#
last commit: over 5 years ago
Linked from 1 awesome list
compilerfsharppostgresqlsqlsqlitesqlservertsqltypechecker
Related projects:
| Repository | Description | Stars |
|---|---|---|
| | Provides F# type providers for accessing MS SQL database objects in a statically typed manner | 204 |
| | A general .NET/Mono SQL database type provider with support for LINQ queries and CRUD operations. | 582 |
| | Legacy F# type providers for accessing various data sources using .NET Framework generators | 38 |
| | Generates composable and type-safe SQL queries from a Go API | 101 |
| | A type provider for regular expressions. | 74 |
| | A Haskell library that embeds the language of SQL into its type system, allowing for high-level type safety and expressiveness in database interactions. | 363 |
| | An F# type provider library for accessing and manipulating data in PostgreSQL databases. | 127 |
| | Generates type-safe interfaces from Swagger API definitions | 263 |
| | Prevents SQL Injection attacks by enforcing the use of typed template literals in database queries. | 610 |
| | A state machine type provider for managing discrete states and transitions in software systems | 35 |
| | F# implementation of the GraphQL query language specification | 399 |
| | A fast and immutable map implementation for F#. | 62 |
| | A library that generates CLI argument/XML configuration parsers and help messages for F# applications | 460 |
| | Automates the generation of TypeScript interface definitions from relational databases | 1,038 |
| | A JSON serialization library designed specifically for F# with an emphasis on ease of use, null safety, and automatic type mapping. | 225 |