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…☆11Mar 18, 2022Updated 4 years ago
- Library for fault Modelling in Modelica☆11Sep 3, 2025Updated last year
- DSLs for modeling and analyzing farming systems☆12May 4, 2017Updated 9 years ago
- Free Modelica library for modelling extended hybrid Petri Nets (xHPN)☆13Mar 1, 2026Updated 8 months ago
- ☆10Aug 28, 2023Updated 3 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- Defining requirements formally and checking them when simulating☆15Feb 14, 2025Updated last year
- ☆15Updated this week
- Release repository for the SysML v2 Library for AADL☆17Mar 1, 2026Updated 8 months ago
- Multidisciplinary Airplane Research Integrated Library☆11Dec 12, 2019Updated 6 years ago
- ☆10Oct 28, 2020Updated 6 years ago
- Extension for colcon to support CMake packages☆18Jun 16, 2026Updated 4 months ago
- 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…☆29Updated this week
- Gentleman is a lightweight web-based projectional editor that allows you to create and manipulate models.☆21Aug 17, 2026Updated 2 months ago
- Modelica models presented in a paper of the 2018 American Modelica Conference for the paper "Coalesced Gas Turbine and Power System Model…☆12May 11, 2022Updated 4 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- The OpenCAESAR website☆13Sep 28, 2026Updated last month
- BridgeMPP: A messaging bridge backend supporting multiple protocols☆12Feb 15, 2019Updated 7 years ago
- LLVM assembly syntax highlighting and snippets☆15Jan 24, 2026Updated 9 months ago
- An extension for VS Code supporting the Alloy modelling language☆11Dec 8, 2022Updated 3 years ago
- AgileUML tools for MDE using UML☆25Updated this week
- EMFText is an Eclipse plug-in that allows you to define text syntax for languages described by an Ecore metamodel. EMFText enables develo…☆18Jun 2, 2019Updated 7 years ago
- ☆25Jun 29, 2025Updated last year
- DDS Tutorial for C++ Programmers☆20Feb 22, 2017Updated 9 years ago
- JPL's IMCE ontologies for Model-Based Systems Engineering☆21Feb 18, 2020Updated 6 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- A matlab plugin for vim, includes syntax highlighting, correct indention and so on.☆13Dec 8, 2021Updated 4 years ago
- ☆13Feb 19, 2024Updated 2 years ago
- ATL and Acceleo based transformation from SysML to Modelica☆21Dec 8, 2016Updated 9 years ago
- NWPU飞行器设计与工程本科专业课（大三上）☆12Mar 13, 2022Updated 4 years ago
- An embedding of Alloy in Ruby☆20Apr 9, 2014Updated 12 years ago
- Cloe☆48Apr 16, 2026Updated 6 months ago
- Recurrent Flow Network for Occupancy Flow☆29Sep 27, 2016Updated 10 years ago
- An unofficial PlantUML theme for HSL☆10Dec 27, 2018Updated 7 years ago
- Open-source turbofan architecting benchmark problem☆19Feb 12, 2026Updated 9 months ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- An example of the MiniLogo DSL using Langium☆25Aug 14, 2026Updated 3 months ago
- Paradox model finder and equinox theorem prover for first-order logic.☆22Sep 20, 2025Updated last year
- An implementation of Hoare and He's Unifying Theories of Programming in Isabelle☆39Jan 29, 2024Updated 2 years ago
- Enables matching a mesh model file (e.g. STL) to a point cloud using ROS.☆18Nov 24, 2020Updated 5 years ago
- ☆22Updated this week
- Control a Raspberry Pi powered robot with MATLAB and Simulink☆11Sep 2, 2014Updated 12 years ago
- 2. Mapping with Hector SLAM, GMapping and RTAB-Map☆14Jul 17, 2020Updated 6 years ago
Are these results useful?