cql
by statebox
CQL: Categorical Query Language implementation in Haskell
AI summary
Query language
A Haskell implementation of a functional query language that allows declarative specification and analysis of data transformations
- stars
- 163
- forks
- 15
- watching
- 26
Similar projects
Found by comparing what the projects do, not just their names.
Query language
A query language designed to simplify and improve the way objects are queried from databases.
Query language
A query language for database models in Go that generates parameterized SQL without exposing the application to SQL injection.
Query compiler
A Haskell library for compiling Postgres queries into domain-specific types at compile-time.
Coq interface library
A Coq library providing definitions and notations to facilitate interaction between Haskell developers and the Coq proof assistant.
Query language
An implementation of the SPARQL 1.1 query language in Objective-C.
Category theory library
A formally verified category theory library written in Idris
Category-based compiler
A programming language with effects based on category theory and used to compile programs into various categorical abstractions.
State machine library
A Go library for creating finite state machines directly in code
SPARQL DSL
A Haskell library providing a domain-specific language for creating and submitting SPARQL queries to remote servers.
Parser library
A parser combinator library designed to be industrial-strength and easy to use
erezsh/preql617
Query language
An interpreted relational query language that compiles to SQL, providing an alternative to traditional SQL programming.
Database library
A type-safe, high-level interface for interacting with relational databases in Haskell.
Query language
A query language for Elasticsearch that simplifies data analysis and visualization.
Query generator
Generates joined queries from type-level algebra and maps between SQL value lists and Haskell records
a8m/rql343
Query engine
A resource query language for REST APIs
