home.social

#automata — Public Fediverse posts

Live and recent posts from across the Fediverse tagged #automata, aggregated by home.social.

  1. @haitchfive @[email protected] ·

    fsm-toolkit v0.8.0 released

    A toolkit for finite state machines: DFA, NFA, Moore, Mealy. Compact binary format, visualisation, code generation, TUI editor.

    github.com/ha1tch/fsm-toolkit/

    What's new in 0.8.0

    @ TUI editor (fsmedit) with mouse drag, undo/redo, two-column file browser, persistent config.

    @ Code generation for C, Rust, and Go/TinyGo. Interactive runner with state history.

    @ Analysis and Validation with detection of various malformed patterns, incompleteness, and valid FSMs of the supported types.

    @ Native PNG and SVG renderers — no Graphviz dependency. Sugiyama layered layout algorithm. 4× supersampling for crisp output. Graphviz support still available, this is work in progress, matching Graphviz quality reliably will take time.

    @ NFA support with powerset simulation, epsilon closure, and NFA→DFA conversion.

    @ Formal specification documenting semantic guarantees.

    Binaries: Linux, macOS, Windows, FreeBSD, OpenBSD, NetBSD

    github.com/ha1tch/fsm-toolkit/

    #fsm #golang #foss #automata #compsci #tui #rustlang #rust #programming #electronics #embedded #embeddeddevelopment

    #fsm #golang #foss #automata #compsci #tui
  2. @haitchfive @[email protected] ·

    fsm-toolkit v0.8.0 released

    A toolkit for finite state machines: DFA, NFA, Moore, Mealy. Compact binary format, visualisation, code generation, TUI editor.

    github.com/ha1tch/fsm-toolkit/

    What's new in 0.8.0

    @ Native PNG and SVG renderers — no Graphviz dependency. Sugiyama layered layout algorithm. 4× supersampling for crisp output. Graphviz support still available, this is work in progress, matching Graphviz quality reliably will take time.

    @ NFA support with powerset simulation, epsilon closure, and NFA→DFA conversion.

    @ TUI editor (fsmedit) with mouse drag, undo/redo, two-column file browser, persistent config.

    @ Code generation for C, Rust, and Go/TinyGo. Interactive runner with state history.

    @ Formal specification documenting semantic guarantees.

    Binaries: Linux, macOS, Windows, FreeBSD, OpenBSD, NetBSD

    github.com/ha1tch/fsm-toolkit/

    #fsm #golang #foss #automata #compsci #tui #rustlang #rust #programming #electronics #embedded #embeddeddevelopment

    #fsm #golang #foss #automata #compsci #tui