-
Broccoli: Syncing faster by syncing less\ (0 comments)
-
CodeRabbit
CodeRabbit: AI Code Reviews for Developers. Revolutionize your code reviews with AI. CodeRabbit offers PR summaries, code walkthroughs, 1-click suggestions, and AST-based analysis. Boost productivity and code quality across all major languages with each PR.
-
fret
A framework for the elicitation, specification, formalization and understanding of requirements.
Formal Requirements Elicitation Tool\ (3 comments)
-
NASA Ogma: generate hard-realtime C runtime monitoring applications\ (0 comments)
NOTE:
The number of mentions on this list indicates mentions on common posts plus user suggested alternatives.
Hence, a higher number means a more popular project.