Show HN: Computer-Aided Software Design
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?
No comments yet.