Symbolica – Try our symbolic code executor in the browser

Show HN: Symbolica – Try our symbolic code executor in the browser

Symbolica – Try our symbolic code executor in the browser is active in the show hn launch space.

Profile

We're a couple of software engineers who believe that to build great software you need to write good tests, but we also sympathise when engineers say things like:- "Writing tests was too time consuming on my tight schedule", or- "Unit tests don't catch enough bugs, so they're useless", or- "I've inherited a legacy code base without tests and have no idea where to start"To tackle this we're building Symbolica (https://www.symbolica.dev), a symbolic code executor [1], that lets you run your code for all possible inputs. This means you can do things like:- Assert properties about your code and check that they hold for every conceivable input.- Check that two implementations of the same function

The company sits in the show hn launch segment, where it competes on its core product or service.

The company is listed at the Show HN launch stage of development.

Website: www.symbolica.dev