Software
Mainly some experimental code accompanying research papers.
In Julia
In Python
In Matlab
Breach toolbox for Matlab
Beware that Matlab’s toolboxes such as Requirements Toolbox and Simulink Design Verifier mention some temporal logic and temporal operators, but they do not adhere to the syntax of STL.