Alternatives and similar repositories for Navitas-Framework

Users that are interested in Navitas-Framework are comparing it to the libraries listed below

• sailuh / kaiaulu
  An R package for mining software repositories
  ☆27Updated 3 weeks ago
• tdurieux / EnergiBridge
  ☆29Updated last year
• robust-rosin / robust
  A dataset of 200+ bugs in the Robot Operating System with Docker containers
  ☆36Updated last year
• se-deadlines / se-deadlines.github.io
  Deadline countdowns for academic conferences in Software Engineering
  ☆67Updated this week
• autonomy-and-verification-uol / ROSMonitoring
  ROSMonitoring: a Runtime Verification Framework for ROS
  ☆43Updated 10 months ago
• ucr-riple / AndroidSlicer
  AndroidSlicer is a dynamic slicing tool, useful for a variety of tasks, from testing to debugging to security.
  ☆14Updated 6 years ago
• git-afsantos / haros
  H(igh) A(ssurance) ROS - Static analysis of ROS1 application code.
  ☆197Updated last year
• acmsigsoft / EmpiricalStandards
  Tools and standards for conducting and evaluating research in software engineering
  ☆319Updated 4 months ago
• wogscpar / SZZUnleashed
  An implementation of the SZZ algorithm, i.e., an approach to identify bug-introducing commits.
  ☆127Updated 2 years ago
• tsantalis / RefactoringMiner
  ☆472Updated this week
• rosin-project / ros2_fuzz
  An automatic fuzzing tool for ROS 2 C++ projects
  ☆18Updated 4 years ago
• Greg4cr / sbse-sigsoft-standard
  Proposed ACM SIGSOFT Standard for Optimization Studies in SE (including SBSE).
  ☆23Updated 4 years ago
• luiscruz / awesome-mobile-app-energy-papers
  A curated list of awesome papers that study energy efficiency for mobile applications.
  ☆23Updated 2 years ago
• bvasiles / empirical-methods
  Homepage for 17-803 "Empirical Methods" at Carnegie Mellon University
  ☆140Updated this week
• woc-hack / tutorial
  ☆55Updated 7 months ago
• JordanSamhi / AndroSpecter
  A library to facilitate the static analysis of Android apps
  ☆15Updated 5 months ago
• bugcounting / software-analysis
  Material (mostly slides) for a graduate course on (formal) software analysis.
  ☆32Updated 6 years ago
• acmsigsoft / open-science-policies
  Open science policies for SIGSOFT venues
  ☆13Updated last year
• acmsigsoft / submission-checker
  Checks the PDFs submitted to a conference, e.g., for formatting violations and double anonymous violations
  ☆64Updated 4 years ago
• aliasrobotics / RVD
  Robot Vulnerability Database. An archive of robot vulnerabilities and bugs.
  ☆209Updated last year
• yyxhdy / arja
  Multi-Objective GP for Automated Repair of Java
  ☆45Updated 3 years ago
• ZikangXiong / VRL_CodeReview
  [PLDI 19'] An Inductive Synthesis Framework for Verifiable Reinforcement Learning
  ☆14Updated 5 years ago
• gittrends-app / github-proxy-server
  A tool for massive data collection from GitHub APIs (Rest and GraphQL)
  ☆20Updated last week
• ros2 / sros2
  tools to generate and distribute keys for SROS 2
  ☆105Updated this week
• tianxiaogu / ape
  ☆56Updated 4 years ago
• cmu-rss-lab / rosdiscover
  ☆18Updated 2 years ago
• resess / Slicer4J
  Slicer4J is an accurate, low-overhead dynamic slicer for Java programs.
  ☆51Updated last year
• ataraxie / codeshovel
  Git history navigation for dedicated methods, across all kinds of changes incl. complex refactorings.
  ☆43Updated last year
• diverse-project / maven-miner
  This projects mines maven central and creates a global dependency graph
  ☆32Updated 3 years ago
• JetBrains / reading-club
  Open paper reading club @ JetBrains
  ☆38Updated last year