Alternatives and similar repositories for uppaal-latex

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

• Erdk / introtoprofiling
  Intorduction to profiling C\C++ applications. Description of different tools, comparison of capabilities and examples in code.
  ☆54Updated 7 years ago
• psycofdj / coverxygen
  Generate doxygen's documentation coverage report
  ☆55Updated 2 years ago
• rosmod / webgme-rosmod
  This repository contains ROSMOD developed for WebGME. ROSMOD is a web-based, collaborative, modeling and execution environment for distri…
  ☆17Updated 3 weeks ago
• kanje / bosce
  boost::statechart extractor
  ☆29Updated 2 years ago
• ptrks / SLAM-Exploration
  This will be a repository for exploring robotics, and SLAM implementations based on lectures by Professor Claus Brenner
  ☆21Updated 5 years ago
• metrixplusplus / metrixplusplus
  Metrix++ is an extendable tool for code metrics collection and analysis.
  ☆82Updated last year
• nlohmann / mutate_cpp
  C++ Mutation Test Environment
  ☆184Updated last year
• cmu-rss-lab / rosdiscover
  ☆18Updated 2 years ago
• doganulus / reelay
  A header-only C++ library for system-level verification and declarative testing of real-time systems with Python bindings.
  ☆41Updated 3 weeks ago
• cheshirekow / cmake-format-precommit
  pre-commit hooks specification for cmake-format
  ☆40Updated 3 years ago
• feabhas / cmake-blog-1
  CMake demostration project for blog post "CMake Part 1- The Dark Arts"
  ☆35Updated 4 years ago
• thirtytwobits / nanaimo
  A delicious Python treat that makes on-target testing sweet and satisfying.
  ☆40Updated 9 months ago
• FrancoisCarouge / Kalman
  Kalman Filter
  ☆64Updated this week
• rettichschnidi / clang-tidy-misra
  MISRA C:2012 and MISRA C++:2008 compliance checkers for clang-tidy
  ☆172Updated 7 years ago
• ptroja / spark-navigation
  Robot navigation algorithms implemented in SPARK
  ☆12Updated 11 years ago
• cvra / robot-software
  CVRA monorepo - All software running on our bots lives here
  ☆45Updated last year
• libhal-google / libhal
  A collection of interfaces and abstractions for embedded peripherals and devices using modern C++
  ☆89Updated last year
• rosin-project / ros2_fuzz
  An automatic fuzzing tool for ROS 2 C++ projects
  ☆18Updated 4 years ago
• fhamonic / melon
  A graph library using modern C++ features (e.g., C++20 ranges) to be as efficient and user-friendly as possible.
  ☆53Updated last month
• johnthagen / clang-blueprint
  Example C++11 CMake project that incorporates awesome Clang tooling
  ☆108Updated 5 years ago
• lava / wrappy
  Wrapping python made easy
  ☆123Updated 6 years ago
• STARIONGROUP / COMET-SDK-Community-Edition
  The Concurrent Design Platform C# Software Development Kit that is compliant with ECSS-E-TM-10-25 Annex A and Annex C
  ☆10Updated this week
• LinuxDevon / dbc_parser_cpp
  A DBC file parsing library written in C++11.
  ☆14Updated 2 months ago
• modm-io / lbuild
  lbuild: a generic, modular code generator in Python 3
  ☆41Updated 2 years ago
• bmorcos / pre-commit-hooks-cpp
  Configure some pre-commit hooks for some c++ tools
  ☆19Updated 5 years ago
• davetcoleman / visibility_graph
  A O(n^2 log n) implementation of constructing a visibility graph
  ☆21Updated 3 years ago
• kmarkus / microblx
  microblx: real-time, embedded, reflective function blocks.
  ☆39Updated 3 weeks ago
• iwanders / scalopus
  A tracing framework for C++ and Python.
  ☆67Updated 8 months ago
• moves-rwth / stormpy
  Python Bindings for the Probabilistic Model Checker Storm
  ☆37Updated last week
• moves-rwth / storm
  A Modern Probabilistic Model Checker
  ☆158Updated last week