BLAST
Software model checker for C programs based on lazy abstraction
HTML Tidy
Console tool and library that corrects and cleans up HTML and XML
Tool overview
HTML Tidy is a console application for macOS, Linux, Windows and other systems that corrects and cleans up HTML and XML documents, fixing markup errors and upgrading legacy code to modern standards. The libtidy library lets developers integrate the same features into other tools.
HTML Tidy is maintained by the HTML Tidy Advocacy Community Group (HTACG). The latest official release, 5.8.0, dates from July 2021.
Useful links
Official website
Source repository URL
Screenshots & video
Community reviews
Login to Write Your ReviewThere are no reviews yet.
Source & attribution
Original contributor
Jean-Baptiste CROUIGNEAU
Original listing URL
External references
https://www.html-tidy.org
Semgrep
Fast static analysis with rules that look like code
Ruff
Fast Python linter and code formatter written in Rust
Ansys SCADE Suite
Model-based development of safety-critical embedded software
DTP
Reporting and analytics platform aggregating testing and compliance results
AdaTEST 95
Unit and integration testing tool for Ada 95 on host and embedded targets