crem: Compositional representable executable machines

[ control, library, machines, mit, program, state-machines ] [ Propose Tags ]

crem stands for compositional representable executable machines. It allows creating state machines (Mealy machines in fact), compose them to build bigger machines out of smaller ones and then run them and draw their flow and their state space.


Manual Flags


enable -Werror


Use -f <flag> to enable a flag, or -f -<flag> to disable that flag. More info


Maintainer's Corner

Package maintainers

For package maintainers and hackage trustees


  • No Candidates
Versions [RSS]
Change log
Dependencies base (>=4.15 && <4.19), crem, profunctors (>=3.2 && <5.7), singletons-base (>=3.0 && <3.3), text (>=1.2 && <2.1) [details]
License MIT
Copyright 2022 Tweag I/O
Author Marco Perone
Category Machines, Control, State Machines
Home page
Bug tracker
Uploaded by marcosh at 2023-03-17T10:48:22Z
Distributions NixOS:
Executables hobbit-map, hobbit-game
Downloads 28 total (3 in the last 30 days)
Rating 2.0 (votes: 1) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Docs uploaded by user
Build status unknown [no reports yet]