{"repo":"fsprojects/Rezoom.SQL","free":true,"listed":false,"github":"https://github.com/fsprojects/Rezoom.SQL","clone":"git clone https://github.com/fsprojects/Rezoom.SQL.git","description":"Statically typechecks a common SQL dialect and translates it to various RDBMS backends","language":"F#","stars":679,"topics":["sql","compiler","typechecker","sqlite","sqlserver","tsql","postgresql","fsharp"],"license":"MIT","category":"databases-storage","readme_excerpt":"Documentation: Tutorial Using Rezoom Configuration Language UserTypes API Query playground -- try out the SQL dialect live! Statically typed SQL for F#, new and improved for 2026 # Rezoom.SQL is an F# ORM for SQL databases. It integrates with the F# compiler via a generative type provider to statically typecheck its own dialect of SQL. It knows how to translate this SQL dialect to various backends. Currently it supports SQLite, SQL Server, and PostgreSQL. The type provider makes it fast and easy to write SQL statements, run them, and consume their results from your F# code with full type safety. You don't need to install any editor extensions or custom tooling, just add a NuGet package and you're off and running writing code like this: Database schema inferred from migration scripts In order to typecheck your queries, Rezoom.SQL has to know your database schema (so it can know, for example, that the Id column in the Users table is an int). It learns the schema by reading your migration scripts and observing what tables and views are created, columns added, and so on. When developing the first iteration of your application (or a new feature with its own migration script), it's easy to sketch out a model then go back and change it as you code, without having to touch a real database until you're ready to run. Here's an example. You might want to refresh the page to start the GIF from the beginning. Because this is a generative type provider, it makes plain old .NET types you ca","default_branch":null,"files":null,"tree":[],"storefront":"/r/fsprojects","claimed":false,"request_supported":{"post":"https://gitbuyer.com/r/fsprojects/Rezoom.SQL/request-supported","requests":0},"note":"indexed from public GitHub; nothing is for sale on this page. Clone it from GitHub. Paid listings live at /search."}