Search results

REPL diagrams

bootstrappingISAs, hardware designISAs, hardware design

category-theoryMonoidal computation, String and Wiring diagramsMonoidal computation, String and Wiring diagrams

Status: Open.

#7 In colltoaction/widip;

· colltoaction opened on Jun 18, 2024

Native compilation using Catlab.jl

bootstrappingISAs, hardware designISAs, hardware design

category-theoryMonoidal computation, String and Wiring diagramsMonoidal computation, String and Wiring diagrams

Status: Open.

#6 In colltoaction/widip;

· colltoaction opened on Jun 18, 2024

Assembly state propagation reasoning

bootstrappingISAs, hardware designISAs, hardware design

user-experience

Status: Open.

#5 In colltoaction/widip;

· colltoaction opened on Jun 17, 2024

Run language from Programs as Diagrams

category-theoryMonoidal computation, String and Wiring diagramsMonoidal computation, String and Wiring diagrams

Status: Open.

#4 In colltoaction/widip;

· colltoaction opened on Jun 17, 2024

Saving an invalid YAML segfaults

Status: Open.

#3 In colltoaction/widip;

· colltoaction opened on Jun 12, 2024

Monoidal gluing strategy

category-theoryMonoidal computation, String and Wiring diagramsMonoidal computation, String and Wiring diagrams

Status: Open.

#2 In colltoaction/widip;

· colltoaction opened on Jun 5, 2024