Skip to content
Open-Source Registry

Search 6 packages

Found
Build behaviour
Packages1–6 of 6VersionFindingsDescriptionDownloadsWhen
qleisli cargo0.3.0-alphaclean Experimental quantum language with linear ownership, exact contracts and independent finite IR verification6971h ago
rudb-qc-ir cargo0.9.3clean QIR, the flat SSA pipeline IR the query compiler's translators write and its backends read.2883d ago
rudb-qc-interp cargo0.9.3clean The query compiler's first tier: runs QIR pipeline functions without generating machine code.2583d ago
rudb-qc-gen cargo0.9.3clean The query compiler's generator: one QIR function per pipeline, with the state layout the driver sets up for it.2093d ago
rudb-qc-direct cargo0.9.3clean The query compiler's single pass x86-64 backend: QIR pipeline functions to machine code with no dependencies.1393d ago
rudb-qc-clif cargo0.9.3clean The query compiler's second tier: lowers QIR pipeline functions to machine code through Cranelift.843d ago