squeal
by morphismtech
Squeal, a deep embedding of SQL in Haskell
AI summary
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.
- stars
- 363
- forks
- 32
- watching
- 16
Similar projects
Found by comparing what the projects do, not just their names.
Database generator
Automates the generation of TypeScript interface definitions from relational databases
Type safe SQL generator
A statically typed SQL compiler and type provider for F#
Database library
A type-safe, Haskell interface to relational databases.
Swift SQLite wrapper
Provides a straightforward interface to access and manipulate SQLite databases in Swift.
Database library
A type-safe, high-level interface for interacting with relational databases in Haskell.
Database query DSL
A Scala-based tool for building and executing database queries with minimal verbosity and maximum type safety.
Query builder
A Clojure-based DSL for building SQL queries and statements.
typelevel/skunk1.6K
Database library
A data access library for building Scala applications that interact with Postgres databases.
Terminal library
Provides a Haskell interface to the ncurses library for managing an application's display on character-cell terminals.
Logging library
A memory-preserving logging library for Solidity applications.
SQL parser library
A Haskell implementation of a SQL parser and type checker with support for the PostgreSQL dialect.
Database DSL
A reactive type-safe Scala DSL for interacting with various SQL databases
Syntax generator
A tool for generating Coq code from syntactic theories with variable binders
Type checker library
A set of C++ utilities to prevent bugs at compile time using the type system.
eeue56/derw378
Type-safe language
An Elm-inspired language that transpiles to TypeScript, designed for writing type-safe code with good productivity features
