7 projects
quip-signer
Quip hybrid (sr25519 + FN-DSA-512) transaction signer
xqcp
High-level constraint programming DSL compiling to XQVM assembly.
xqffi
PyO3 FFI bindings exposing the XQuad Rust runtime (xqvm + xqasm) to Python
xqsa
Solver adapters for XQMX models (dwave-samplers; pluggable solver interface).
xquad
Umbrella meta-package for the XQuad toolchain -- xqffi, xqcp, xqsa under a unified namespace, and the xquad command.
xqvm-py
Python reference implementation of the X-Quadratic Virtual Machine (conformance oracle).
quip-solver-core
Quip solver SDK: PyO3 consensus primitives and the generated gRPC stubs
