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

GitHub

363 stars

16 watching

32 forks

Language: Haskell

last commit: almost 2 years ago

databasehaskellpostgresqlsql

Related projects:

Repository	Description	Stars
sweetiq/schemats	Automates the generation of TypeScript interface definitions from relational databases	1,038
fsprojects/rezoom.sql	A statically typed SQL compiler and type provider for F#	670
haskell-beam/beam	A type-safe, Haskell interface to relational databases.	583
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.	478
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,594
skogsbaer/hscurses	Provides a Haskell interface to the ncurses library for managing an application's display on character-cell terminals.	61
philogy/safeconsole	A memory-preserving logging library for Solidity applications.	50
jakewheat/hssqlppp	A Haskell implementation of a SQL parser and type checker with support for the PostgreSQL dialect.	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,545
eeue56/derw	An Elm-inspired language that transpiles to TypeScript, designed for writing type-safe code with good productivity features	378