Search results

Restore ci with macos machines

Status: Open.

#102 In marcosh/crem;

· marcosh opened on Apr 10, 2026

nix build fails because TwoSwitchesGate is an lhs file

Status: Open.

#95 In marcosh/crem;

· silky opened on May 13, 2024

Generate user stories from topology

Status: Open.

#94 In marcosh/crem;

· marcosh opened on Aug 17, 2023

Build a renderer to sketch.systems

Status: Open.

#85 In marcosh/crem;

· silky opened on Apr 13, 2023

Implement AutomatonM instance for StateMachineT

Status: Open.

#83 In marcosh/crem;

· marcosh opened on Mar 29, 2023

Improve naming strategy

Status: Open.

#82 In marcosh/crem;

· marcosh opened on Mar 23, 2023

Integrate nothunks

Status: Open.

#76 In marcosh/crem;

· marcosh opened on Mar 14, 2023

Understand better the relation between Feedback and ArrowLoop

Status: Open.

#74 In marcosh/crem;

· marcosh opened on Mar 14, 2023

Doctests on crem-examples not working on nix

Status: Open.

#64 In marcosh/crem;

· marcosh opened on Feb 27, 2023

Complex policy example

Status: Open.

#57 In marcosh/crem;

· marcosh opened on Feb 11, 2023

Better data structure to attach labels to machine

Status: Open.

#48 In marcosh/crem;

· marcosh opened on Feb 6, 2023

Avoid using Compose for rmap and lmap

Status: Open.

#45 In marcosh/crem;

· marcosh opened on Feb 2, 2023