Show HN: Computer-Aided Software Design

Show HN: Computer-Aided Software Design
2 points by kummappp 11 hours ago | hide | past | web | favorite | discuss
I have been making tools for software design as a hobby project, because the
tools I have seen all look like some sort of point and click game.
Is that how you would design for example a bypass filter?

Here is my attempt to make module design to look more like Mathlab:
https://github.com/kummahiih/python-grapheq-example

The example uses a library with which you can represent domain models as
equations: https://github.com/kummahiih/python-domain-equations

The domain model equations have been made with a category equation system, which
provides rudimentary simplify and theorem proving functionality:
https://github.com/kummahiih/python-category-equations

So What do you think? Is this approach genuine in some way or did someone
already do this on the 80’s?



Guidelines
| FAQ
| Support
| API
| Security
| Lists
| Bookmarklet
| Legal
| Apply to YC
| Contact