# typedqliser

> Add formal type safety (10 levels, dependent/linear/session types) to any query language — SQL, GraphQL, Cypher, SPARQL, VQL

- **URL**: https://www.freshcrate.ai/projects/typedqliser
- **Author**: hyperpolymath
- **Category**: Uncategorized
- **Latest version**: `main@2026-06-02` (2026-06-02)
- **License**: NOASSERTION
- **Source**: https://github.com/hyperpolymath/typedqliser
- **Homepage**: https://github.com/hyperpolymath/iseriser
- **Language**: Rust
- **GitHub**: 1 stars
- **Registry**: github
- **Tags**: `code-generation`, `formal-verification`, `hyperpolymath`, `idris2`, `iser`, `palimpsest`, `query-languages`, `rust`, `sql`

## Description

Add formal type safety (10 levels, dependent/linear/session types) to any query language — SQL, GraphQL, Cypher, SPARQL, VQL

## Recent releases

| Version | Date | Urgency | Changes |
| --- | --- | --- | --- |
| `main@2026-06-02` | 2026-06-02 | High | Latest activity on main branch |
| `0.0.0` | 2026-04-11 | High | No release found — using repo HEAD |

## Citation

- HTML: https://www.freshcrate.ai/projects/typedqliser
- Markdown: https://www.freshcrate.ai/projects/typedqliser.md
- Dependencies JSON: https://www.freshcrate.ai/api/projects/typedqliser/deps

_Generated by freshcrate.ai. Indexes github releases for AI-agent ecosystem packages._