Redux state machine generator backed by an in-memory hypercube. Model checking for the front end.
Primary LanguageJavaScript