#
query-languages
Here are 3 public repositories matching this topic...
A natural query language that abstracts away the native query language of any data management system.
-
Updated
Apr 1, 2020 - Go
Add formal type safety (10 levels, dependent/linear/session types) to any query language — SQL, GraphQL, Cypher, SPARQL, VQL
sql zig code-generation type-safety formal-verification palimpsest idris2 query-languages hyperpolymath iser
-
Updated
Mar 24, 2026 - Rust
Improve this page
Add a description, image, and links to the query-languages topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the query-languages topic, visit your repo's landing page and select "manage topics."