Boolean

Components for fast boolean and application logic. Allows implementing application logic, user interface logic or complex hardware simulations and modeling with zero lines of program code. Contains logic gates, flip-flops, encoders/decoders, shifters, multiplexers, memory, ALU, displays and more. Includes a visual graphical editor for codeless development. Free for non-commercial use.

Catch2 is mainly a unit testing framework for C++, but it also provides basic micro-benchmarking features, and simple BDD macros. Catch2's main advantage is that using it is both simple and natural. Test names do not have to be valid identifiers, assertions look like normal C++ boolean expressions, and sections provide a nice and local way to share set-up and tear-down code in tests.