squeal
Type-safe SQL interface
A Haskell library that embeds the language of SQL into its type system, allowing for high-level type safety and expressiveness in database interactions.
Squeal, a deep embedding of SQL in Haskell
360 stars
16 watching
32 forks
Language: Haskell
last commit: 2 months ago databasehaskellpostgresqlsql
Related projects:
| Repository | Description | Stars |
|---|---|---|
 sweetiq/schemats | Automates the generation of TypeScript interface definitions from relational databases | 1,037 |
 fsprojects/rezoom.sql | A statically typed SQL compiler and type provider for F# | 669 |
 haskell-beam/beam | A type-safe, Haskell interface to relational databases. | 577 |
 nerdyc/squeal | Provides a straightforward interface to access and manipulate SQLite databases in Swift. | 297 |
 valderman/selda | A type-safe, high-level interface for interacting with relational databases in Haskell. | 477 |
 squeryl/squeryl | A Scala-based tool for building and executing database queries with minimal verbosity and maximum type safety. | 583 |
 stch-library/sql | A Clojure-based DSL for building SQL queries and statements. | 41 |
 typelevel/skunk | A data access library for building Scala applications that interact with Postgres databases. | 1,588 |
 skogsbaer/hscurses | A Haskell binding to the ncurses library for creating text-based user interfaces. | 61 |
 philogy/safeconsole | A memory-preserving logging library for Solidity applications. | 50 |
 jakewheat/hssqlppp | A Haskell implementation of a parser and type checker for a subset of the PostgreSQL dialect of SQL. | 108 |
 outworkers/morpheus | A reactive type-safe Scala DSL for interacting with various SQL databases | 102 |
 uds-psl/autosubst2 | A tool for generating Coq code from syntactic theories with variable binders | 17 |
 foonathan/type_safe | A set of C++ utilities to prevent bugs at compile time using the type system. | 1,542 |
 eeue56/derw | An Elm-inspired language that transpiles to TypeScript, designed for writing type-safe code with good productivity features | 378 |