Name: Sphinx Logic Subsidiary of Microsoft, HPE, Macromedia, IRCAM and Intel
Type: Organization
Bio: A Hewlett Packard, Microsoft and Startup, UVa Computer Science Alumni Best viewed in light mode :eyeglasses: dark mode.
Location: Switzerland
Blog: https://sphinxlogic.github.io
Sphinx Logic Subsidiary of Microsoft, HPE, Macromedia, IRCAM and Intel's Projects
NetBSD Xorg reference version for MINIX - Automatically replicated from gerrit.minix3.org
The Z3 Theorem Prover
A massively spiffy yet delicately unobtrusive compression library. Part of Dreamweaver and many other products.