Lightweight coding agent that runs in your terminal
A New Programming Language for FPGA Projects
Pcynlitx is an innovative multi-thread software development platform
VCS Information Generator tool
A tool for finite state machine analysis and synthesis.
Synthesizing embedded control software from formal specifications
Generating PLC programs from formal specifications
Powerfull pre-processor
Toolkit for Automatic Control and Dynamic Optimization