A Formal Method playground for limboole, Z3, nuXmv, Alloy, and Spectra
-
Updated
Jul 9, 2024 - JavaScript
A Formal Method playground for limboole, Z3, nuXmv, Alloy, and Spectra
Interactive interface to visualize spectra and filter sets for any microscope. Easily customizable.
A Javascript color library. Quickly manipulate and convert colors.
A color spectrum representing air temperature
Add a description, image, and links to the spectra topic page so that developers can more easily learn about it.
To associate your repository with the spectra topic, visit your repo's landing page and select "manage topics."