Massif is a Matlab Simulink Integration Framework for Eclipse
☆20Apr 3, 2024Updated 2 years ago
Alternatives and similar repositories for massif
Users that are interested in massif are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- The MobSTr dataset provides artifacts that demonstrate Model-based Safety Assurance and Traceability for a safety-critical automotive sys…☆10Mar 18, 2022Updated 4 years ago
- Defining requirements formally and checking them when simulating☆15Feb 14, 2025Updated last year
- Tool for comparing assembler files/dumps☆20Jan 24, 2023Updated 3 years ago
- Interesting papers☆11Jun 22, 2024Updated last year
- ☆11Oct 28, 2020Updated 5 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- AgileUML tools for MDE using UML☆23Apr 7, 2026Updated last week
- jSMTLIB is an open source implementation of SMT-LIB in Java, as a command-line tool, an Eclipse plugin, and an API, with interfaces to ma…☆27Nov 14, 2025Updated 5 months ago
- LLVM assembly syntax highlighting and snippets☆14Jan 24, 2026Updated 2 months ago
- Extension for colcon to support CMake packages☆18Jan 29, 2026Updated 2 months ago
- Gentleman is a lightweight web-based projectional editor that allows you to create and manipulate models.☆18Nov 16, 2025Updated 5 months ago
- Adding trace to DesignStart for easier side-channel analysis on the CW305 target. Also supports PhyWhisperer.☆17Feb 19, 2025Updated last year
- Vector Bazel Rules and Toolchains☆15Mar 2, 2026Updated last month
- An example of the MiniLogo DSL using Langium☆26Jan 5, 2026Updated 3 months ago
- ☆25Jun 29, 2025Updated 9 months ago
- Serverless GPU API endpoints on Runpod - Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- Cloe☆49Updated this week
- DDS Tutorial for C++ Programmers☆20Feb 22, 2017Updated 9 years ago
- Alloy is a language for describing structures and a tool for exploring them. It has been used in a wide range of applications from findin…☆15May 30, 2022Updated 3 years ago
- d-EVD-dual-electric-vehicle-dataset☆13Aug 21, 2025Updated 7 months ago
- reference implementation of mROS 2 for STM32 NUCLEO-F767ZI with TOPPERS/ASP3 kernel☆18Mar 26, 2024Updated 2 years ago
- This repository implements a novel approach to odometry calibration independent of the robot's steering geometry. Also, other methods pro…☆16Jan 14, 2026Updated 3 months ago
- 🔥🔥🔥 Latest Papers, Codes and Datasets on Large Biology Models!☆26Nov 15, 2023Updated 2 years ago
- An implementation of Hoare and He's Unifying Theories of Programming in Isabelle☆38Jan 29, 2024Updated 2 years ago
- STPA Viewpoint for Capella☆30Nov 3, 2025Updated 5 months ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Start Here! Development Environment Tools and System Releases☆21Jul 20, 2015Updated 10 years ago
- SILVER - Statistical Independence and Leakage Verification☆15Jun 6, 2025Updated 10 months ago
- Enables matching a mesh model file (e.g. STL) to a point cloud using ROS.☆17Nov 24, 2020Updated 5 years ago
- Gezinti esnasında anlamını bilmediğiniz terimleri öğrenmenizi sağlayan Google Chrome eklentisidir.☆14Sep 3, 2016Updated 9 years ago
- AGX Dynamics for Unreal plugin.☆12Updated this week
- Toolkit supporting the AsyncAPI specification, including a grammar, metamodel, and code generation tools☆36Apr 25, 2024Updated last year
- Algorithms to find the best rational approximation to a given floating-point number and to find the gcd and lcm of a given list of floati…☆20Mar 31, 2024Updated 2 years ago
- Cat purr detecting collar based on a Teensy 3.0 microcontroller.☆12Apr 3, 2015Updated 11 years ago
- CARMA Streets is a component of CARMA ecosystem, which enables such a coordination among different transportation users. This component p…☆11Apr 9, 2026Updated last week
- Serverless GPU API endpoints on Runpod - Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- Julia Development Toolkit for Eclipse☆28Nov 4, 2016Updated 9 years ago
- MiBench ported for IoT devices☆19Jun 9, 2025Updated 10 months ago
- ☆45Nov 18, 2024Updated last year
- A Power-Split Hybrid Electric Vehicle (HEV) model in Simscape☆79Sep 24, 2025Updated 6 months ago
- Academic page for LimSim++☆11Mar 19, 2024Updated 2 years ago
- PREEMPT_RT Linux for Real-time Edge Software☆13Updated this week
- Site level energy system optimization model toolbox for investigations of EV fleet integration and management strategies☆14Apr 22, 2025Updated 11 months ago