A Forth compiler with a little difference
A New Programming Language for FPGA Projects
Translates state machine into a target programming language.
A machine code manipulation library for Intel 64 and IA-32.
A tool for finite state machine analysis and synthesis.
Synthesizing embedded control software from formal specifications
IMDb Relational Dataset Generator