taxoptimizer
By mbryant
recreational-rosette
Some fun examples of solving problems with symbolic execution (by kach)
taxoptimizer | recreational-rosette | |
---|---|---|
1 | 1 | |
- | 108 | |
- | - | |
- | 0.0 | |
- | almost 6 years ago | |
Racket | ||
- | - |
The number of mentions indicates the total number of mentions that we've tracked plus the number of user suggested alternatives.
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
taxoptimizer
Posts with mentions or reviews of taxoptimizer.
We have used some of these posts to build our list of alternatives
and similar projects. The last one was on 2021-05-03.
-
Programming in Z3 by learning to think like a compiler
I used it to do some tax optimization around ISOs at a newly public company (https://gitlab.com/mbryant/taxoptimizer/-/blob/master/amt.py). It gets pretty slow when you try to look more than a few years out, so I'm guessing writing some optimization logic by hand would've made more sense. Using Z3 here definitely beat me trying to do this on paper like I've seen other people do!
recreational-rosette
Posts with mentions or reviews of recreational-rosette.
We have used some of these posts to build our list of alternatives
and similar projects. The last one was on 2021-05-03.
-
Programming in Z3 by learning to think like a compiler
I don't know about "practical," but you might enjoy this: https://github.com/kach/recreational-rosette
What are some alternatives?
When comparing taxoptimizer and recreational-rosette you can also consider the following projects:
alive2 - Automatic verification of LLVM optimizations
zz - πΊπ ZetZ a zymbolic verifier and tranzpiler to bare metal C
angr - A powerful and user-friendly binary analysis platform!