cql
Query language
A Haskell implementation of a functional query language that allows declarative specification and analysis of data transformations
CQL: Categorical Query Language implementation in Haskell
163 stars
26 watching
15 forks
Language: Haskell
last commit: over 3 years agoaqlcategory-theorydata-migrationhaskellquery-language
Related projects:
| Repository | Description | Stars |
|---|---|---|
 francoliberali/cql | A query language designed to simplify and improve the way objects are queried from databases. | 17 |
 hashicorp/mql | A query language for database models in Go that generates parameterized SQL without exposing the application to SQL injection. | 45 |
 nikita-volkov/hasql-th | A Haskell library for compiling Postgres queries into domain-specific types at compile-time. | 112 |
 jwiegley/coq-haskell | A Coq library providing definitions and notations to facilitate interaction between Haskell developers and the Coq proof assistant. | 168 |
 kasei/sparqlkit | An implementation of the SPARQL 1.1 query language in Objective-C. | 6 |
| statebox/idris-ct | A formally verified category theory library written in Idris | 259 |
 jameshaydon/lawvere | A programming language with effects based on category theory and used to compile programs into various categorical abstractions. | 268 |
 qmuntal/stateless | A Go library for creating finite state machines directly in code | 981 |
 robstewart57/hsparql | A Haskell library providing a domain-specific language for creating and submitting SPARQL queries to remote servers. | 48 |
 haskell/parsec | A parser combinator library designed to be industrial-strength and easy to use | 850 |
 erezsh/preql | An interpreted relational query language that compiles to SQL, providing an alternative to traditional SQL programming. | 617 |
 valderman/selda | A type-safe, high-level interface for interacting with relational databases in Haskell. | 478 |
 thomaspatzke/equel | A query language for Elasticsearch that simplifies data analysis and visualization. | 56 |
 khibino/haskell-relational-record | Generates joined queries from type-level algebra and maps between SQL value lists and Haskell records | 233 |
 a8m/rql | A resource query language for REST APIs | 343 |