Search results

Invalid hugr compilation with hopes

Status: Open.

#96 In Quantinuum/brat;

· croyzor opened on Dec 17, 2025

Investigate test failures

Status: Open.

#92 In Quantinuum/brat;

· croyzor opened on Dec 10, 2025

Serialise hugrs with capnproto

Status: Open.

#90 In Quantinuum/brat;

· croyzor opened on Dec 10, 2025

BRAT interpreter to produce BRAT kernels

Status: Open.

#89 In Quantinuum/brat;

· croyzor opened on Dec 10, 2025

check' TypedTh checking Braty in parallel with Kernel breaks the Store

Status: Open.

#86 In Quantinuum/brat;

· acl-cqc opened on Apr 28, 2025

Solve holes in nats in typeEqRigid

Status: Open.

#82 In Quantinuum/brat;

· acl-cqc opened on Apr 1, 2025

Parallelise fanout/fanin

Status: Open.

#81 In Quantinuum/brat;

· acl-cqc opened on Apr 1, 2025

Smarter solving

Status: Open.

#35 In Quantinuum/brat;

· croyzor opened on Oct 10, 2024

Generate the right graph for number that are worked out by <code>SolvePatterns</code> unification

Status: Open.

#30 In Quantinuum/brat;

· croyzor opened on Aug 28, 2024

feat: Parallelise the type checker

Status: Open.

#29 In Quantinuum/brat;

· croyzor opened on Aug 28, 2024

Refactor anext

Status: Open.

#26 In Quantinuum/brat;

· croyzor opened on Aug 21, 2024

Add a REPL

Status: Open.

#25 In Quantinuum/brat;

· croyzor opened on Aug 15, 2024