NimWorld
Search
☰
Packages
Categories
Fun
Stats
Submit
← Categories
Packages tagged:
state-machine
synthesis
A compile-time, compact, fast, without allocation, state-machine generator.
Pure Nim
finite-state-machine
state-machine
fsm
event-driven
reactive-programming
linux
macos
win
typestates
Compile-time state machine validation for Nim. Invalid transitions don't compile.
Pure Nim
state-machine
design-patterns
nim-lang
correct-by-construction
typestate
linux
macos
win