MGYamada

MGYamada/Qleisli

Qleisli: A Language for Structured Quantum Algorithms

14 good first / help-wanted issues · Rust · last activity Oct 2, 2026

0 stars 0 forks 0 watchers Rust Apache License 2.0
View on GitHub
14 Open Issues Need Help Last updated: Oct 2, 2026

Open Issues Need Help

View All on GitHub
0.3.5 important: progressively migrate lean-kernel CI from proof-oriented to test-oriented harnesses 7 days ago
enhancement good first issue important 0.3.5 TODO
MGYamada/Qleisli
0

Qleisli: A Language for Structured Quantum Algorithms

Rust
0.3.0-alpha bug: misleading diagnostics for common authoring forms 12 days ago
bug good first issue
MGYamada/Qleisli
0

Qleisli: A Language for Structured Quantum Algorithms

Rust
bug: generalize with_computed verification beyond special finite contracts 13 days ago
bug good first issue
MGYamada/Qleisli
0

Qleisli: A Language for Structured Quantum Algorithms

Rust
bug: retire specialized QFT/QPE routes in favor of canonical exact functions 13 days ago
bug good first issue
MGYamada/Qleisli
0

Qleisli: A Language for Structured Quantum Algorithms

Rust
bug: make lowering-profile capability and rejection behavior consistent 13 days ago
bug good first issue
MGYamada/Qleisli
0

Qleisli: A Language for Structured Quantum Algorithms

Rust
v0.2.8 review: `--lean-kernel` failures emit diagnostic code `io` outside the closed v1 set 22 days ago
bug good first issue
MGYamada/Qleisli
0

Qleisli: A Language for Structured Quantum Algorithms

Rust
v0.2.8 review: text-mode CLI output panics with exit 101 when stdout is closed 22 days ago
bug good first issue
MGYamada/Qleisli
0

Qleisli: A Language for Structured Quantum Algorithms

Rust
v0.2.8 review: `[source].root` target-directory exclusion is bypassed by letter case on case-insensitive filesystems 22 days ago
bug good first issue
MGYamada/Qleisli
0

Qleisli: A Language for Structured Quantum Algorithms

Rust
Bug: verification, producer, transport, and execution limits are scattered as untyped constants 22 days ago
bug good first issue
MGYamada/Qleisli
0

Qleisli: A Language for Structured Quantum Algorithms

Rust
v0.2.7 review: stale documentation references in the bundled std and the Python README 23 days ago
documentation good first issue
MGYamada/Qleisli
0

Qleisli: A Language for Structured Quantum Algorithms

Rust
v0.2.7 review: source byte-limit diagnostics embed an absolute host path 23 days ago
bug good first issue
MGYamada/Qleisli
0

Qleisli: A Language for Structured Quantum Algorithms

Rust
Close the `[source].root` symlink race between qrate selection and project loading 23 days ago
bug good first issue
MGYamada/Qleisli
0

Qleisli: A Language for Structured Quantum Algorithms

Rust
v0.2.5 review: macOS source loading now requires read permission on every ancestor directory 23 days ago
bug good first issue
MGYamada/Qleisli
0

Qleisli: A Language for Structured Quantum Algorithms

Rust
v0.2.5 review: tuple-owner diagnostic embeds an absolute host path in its message 23 days ago
bug good first issue
MGYamada/Qleisli
0

Qleisli: A Language for Structured Quantum Algorithms

Rust