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
363 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,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 |