Search 6 packages
| Packages1–6 of 6 | Version | Findings | Description | Downloads | When |
|---|---|---|---|---|---|
| qleisli cargo | 0.3.0-alpha | clean | Experimental quantum language with linear ownership, exact contracts and independent finite IR verification | 697 | 1h ago |
| rudb-qc-ir cargo | 0.9.3 | clean | QIR, the flat SSA pipeline IR the query compiler's translators write and its backends read. | 288 | 3d ago |
| rudb-qc-interp cargo | 0.9.3 | clean | The query compiler's first tier: runs QIR pipeline functions without generating machine code. | 258 | 3d ago |
| rudb-qc-gen cargo | 0.9.3 | clean | The query compiler's generator: one QIR function per pipeline, with the state layout the driver sets up for it. | 209 | 3d ago |
| rudb-qc-direct cargo | 0.9.3 | clean | The query compiler's single pass x86-64 backend: QIR pipeline functions to machine code with no dependencies. | 139 | 3d ago |
| rudb-qc-clif cargo | 0.9.3 | clean | The query compiler's second tier: lowers QIR pipeline functions to machine code through Cranelift. | 84 | 3d ago |
