banwords
analyze
banwords | analyze | |
---|---|---|
- | 3 | |
0 | 152 | |
- | 7.2% | |
0.0 | 8.7 | |
almost 9 years ago | 16 days ago | |
Haskell | ||
MIT License | GNU General Public License v3.0 only |
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.
banwords
We haven't tracked posts mentioning banwords yet.
Tracking mentions began in Dec 2020.
analyze
-
NaiveSystems Analyze – FOSS static analyzer for MISRA C/C++, AUTOSAR C++14, etc.
How do you conclude that? The instructions here:
https://github.com/naivesystems/analyze/wiki/How-to-run-on-m...
say docker is required.
-
Misra C++:2023 Published
If you are interested in this, take a look at NaiveSystems Analyze [0] which is a free and open source static analyzer for checking MISRA compliance etc.
Disclaimer: I'm the founder.
It has been battle tested with real customers in automotive, medical devices, and semiconductors. AFAIK this is the first FOSS tool that achieves commercial use standards (extensive ruleset coverage, low false positives based symbolic execution (which Coverity relies heavily on) and SMT solver, ...)
[0]: https://github.com/naivesystems/analyze
What are some alternatives?
dynobud - your dynamic optimization buddy
Qodana - 📝 Source repository of Qodana Help
astro - Amateur astronomical computations
awesome-safety-critical - List of resources about programming practices for writing safety-critical software.
analyze - making data science easy and safe with data frames in haskell
fits-parse - Parse FITS files for Astronomy data analysis.
quantum-random - Retrieve, store and manage real quantum random numbers from Australian National University