Which languages do you support?
Right now C is supported. C++, Python and Common Lisp are in active development. It's possible for us to support many other lanagues too, since we analyse your code at the LLVM IR level. If there's a particular language you'd like added then send us a message and let us know.
Does it work for multi-threaded programs?
Currently this isn't supported, but it's on our roadmap.
Which source control systems do you integrate with?
Initially we're focused on building an integration with GitHub as a status check that you can install in your repo. It will still be possible to use Symbolica with other source code hosting providers without a pre-built integration, but if there's a particular one that you need then we'd love to know about it.
How much does it cost?
We're still figuring out our exact pricing during our alpha trial, but we expect to charge on a consumpation basis. So you'll only be billed for the minutes of our service that you consume.