Alternatives and similar repositories for uppaal-latex

Users that are interested in uppaal-latex are comparing it to the libraries listed below

• rettichschnidi / clang-tidy-misra
  MISRA C:2012 and MISRA C++:2008 compliance checkers for clang-tidy
  ☆175Updated 7 years ago
• cheshirekow / cmake-format-precommit
  pre-commit hooks specification for cmake-format
  ☆40Updated 4 years ago
• cvra / robot-software
  CVRA monorepo - All software running on our bots lives here
  ☆45Updated last year
• johnthagen / clang-blueprint
  Example C++11 CMake project that incorporates awesome Clang tooling
  ☆108Updated 5 years ago
• silverSapphire / Eigen-Malloc-Free-Pseudoinverse
  This extended Eigen C++ template library and wrapper provide a malloc-free Moore-Penrose pseudoinverse solver.
  ☆15Updated 3 years ago
• thirtytwobits / nanaimo
  A delicious Python treat that makes on-target testing sweet and satisfying.
  ☆40Updated 10 months ago
• PromyLOPh / linkermapviz
  GNU ld linker map visualization
  ☆77Updated last year
• PSPDFKit-labs / clang-tidy-to-junit
  A little script that can convert Clang-Tidy output to a JUnit XML file.
  ☆30Updated 3 years ago
• eProsima / xtypes
  Implementation based on DDS-XTYPES standard (https://www.omg.org/spec/DDS-XTypes)
  ☆24Updated 2 years ago
• modm-io / modm-devices
  Curated device data for all AVR and ARM Cortex-M devices
  ☆53Updated 3 weeks ago
• PeterMcKinnis / WorstCaseStack
  This program is used to do static stack analysis on C source code to determine the worst case stack usage for each function
  ☆94Updated 2 months ago
• yuriisk / clang-tidy-converter
  Python3 script to convert Clang-Tidy output to different formats. Supported formats are Code Climate JSON and HTML report similar to scan…
  ☆21Updated last year
• kmarkus / microblx
  microblx: real-time, embedded, reflective function blocks.
  ☆39Updated last month
• metal-ci / test
  ☆32Updated 5 years ago
• strictdoc-project / strictdoc
  Software for technical documentation and requirements management.
  ☆245Updated last week
• rticommunity / rticonnextdds-connector-py
  RTI Connector for Connext DDS is a lightweight technology that enables DDS data to be accessed with Python.
  ☆35Updated 8 months ago
• memfault / gdbundle
  Minimalist plugin manager for GDB and LLDB
  ☆84Updated 5 years ago
• foxglove / cdr
  Common Data Representation serialization and deserialization library
  ☆17Updated 2 weeks ago
• metrixplusplus / metrixplusplus
  Metrix++ is an extendable tool for code metrics collection and analysis.
  ☆84Updated last year
• IDA-TUBS / pycpa
  Compositional Performance Analysis in Python
  ☆21Updated 5 years ago
• modm-io / lbuild
  lbuild: a generic, modular code generator in Python 3
  ☆42Updated 2 years ago
• jnikula / hawkmoth
  Hawkmoth - Sphinx Autodoc for C
  ☆86Updated 3 weeks ago
• cmu-rss-lab / rosdiscover
  ☆18Updated 2 years ago
• lowlander / zpp
  Zephyr C++ Framework
  ☆57Updated 3 years ago
• Auterion / embedded-debug-tools
  Tools for debugging and profiling ARM Cortex-M devices as found on the PX4 Autopilot FMU boards
  ☆73Updated 2 months ago
• DLR-RY / outpost-core
  OUTPOST - Open modUlar sofTware PlatfOrm for SpacecrafT
  ☆36Updated 2 months ago
• robust-rosin / robust
  A dataset of 200+ bugs in the Robot Operating System with Docker containers
  ☆36Updated last year
• korken89 / crect
  A C++, compile-time, reactive RTOS for the Stack Resource Policy based Real-Time For the Masses kernel
  ☆197Updated 7 years ago
• ros-tooling / system_metrics_collector
  [DEPRECATED] Lightweight, real-time system metrics collector for ROS2 systems
  ☆19Updated 4 years ago
• mpdelbuono / wildcop
  Clang Static Analyzer Plugin for MISRA C++ Compliance
  ☆34Updated 8 years ago