Portable MBSE domain agents for AI-assisted systems engineering
☆28Oct 12, 2026Updated 2 weeks ago
Alternatives and similar repositories for mbse-agents
Users that are interested in mbse-agents are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- MCP server bridging AI assistants to CATIA Magic / Cameo Systems Modeler for SysML/UML model creation, querying, and manipulation☆51Sep 4, 2026Updated last month
- A portfolio & reference project demonstrating safety-critical development using DO-178C workflow. Includes planning docs, requirements, t…☆20Aug 16, 2025Updated last year
- A collection of StrictDoc templates for various standards.☆24Oct 22, 2026Updated last week
- LLM-Driven GUI Generation Decomposition for Automated Prototyping☆13Feb 3, 2025Updated last year
- Defining requirements formally and checking them when simulating☆15Feb 14, 2025Updated last year
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- Model Based Systems Engineering productivity tool to automatically create and manage changes in Cameo MagicDraw models utilizing user-def…☆36Aug 25, 2023Updated 3 years ago
- PSOC SoC code with peripherals and synthesis scripts for FPGA/ASIC☆12Oct 8, 2025Updated last year
- Release repository for the SysML v2 Library for AADL☆16Mar 1, 2026Updated 7 months ago
- A Human-in-the-Loop Workflow for Scientific Schema Mining with Large Language Models☆40Aug 14, 2026Updated 2 months ago
- System behavior is often expressed by causal relations in requirements (e.g. if event 1 then event 2). Automatically extracting this embe…☆13Oct 24, 2021Updated 5 years ago
- Sireum: A High Assurance System Engineering Platform☆32Updated this week
- Rust-native PostgreSQL extension for RDF, SPARQL, SHACL and OWL reasoning. pgrx 0.16, PG 14-17.☆21Oct 7, 2026Updated 3 weeks ago
- ARTICo³ - Dynamic and Partially Reconfigurable Architecture for Run-Time Adaptive, High Performance Embedded Computing☆12Oct 1, 2026Updated 3 weeks ago
- Retinal wave data repository☆10Feb 10, 2022Updated 4 years ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- ☆13Sep 6, 2025Updated last year
- Velocity Measurement by Doppler Radar implemented on Matlab☆12Nov 24, 2017Updated 8 years ago
- A multi-threaded microprocessor interleaving as minimum three threads, which is pin-to-pin compatible with pulpino riscy cores☆20Jul 4, 2025Updated last year
- LIMA: Language for Integrated Modeling and Analysis☆12Sep 8, 2018Updated 8 years ago
- Gradient Boosting Models on Real-Time Sensor Data for AI-Enhanced Vehicle Predictive Maintenance. By using a web-based interface to forec…☆19Oct 20, 2026Updated last week
- Client library for HLA 4 Federate Protocol☆12Oct 20, 2026Updated last week
- Architectural Framework For Integrated Refinement Modeling☆11May 30, 2017Updated 9 years ago
- Wishbone to ARM AMBA 4 AXI☆17May 25, 2019Updated 7 years ago
- Auto Judger for BUAA-SE-OOP Course (2021 Spring)☆30Oct 28, 2023Updated 3 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.
- DSP WishBone Compatible Cores☆14Jul 17, 2014Updated 12 years ago
- Rust implementation of BehaviorTree.CPP, a robust behavior tree library☆14Sep 17, 2026Updated last month
- iDesignGPT☆18Dec 19, 2025Updated 10 months ago
- ☆14Sep 27, 2022Updated 4 years ago
- ☆16Mar 17, 2025Updated last year
- Sci-Reasoning: A Dataset Decoding AI Innovation Patterns☆20Jan 13, 2026Updated 9 months ago
- A multi-threaded microprocessor interleaving as minimum two threads, which is pin-to-pin compatible with pulpino riscy cores☆25Aug 24, 2024Updated 2 years ago
- Use Functional Mock-up Units in Modelica☆30Sep 24, 2026Updated last month
- The project SPARK Formal aims at developing a complete semantics of the SPARK language in Coq.☆12Apr 6, 2021Updated 5 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Specification and Analysis for Requirements Tool☆10Mar 31, 2016Updated 10 years ago
- Control Systems Analysis Framework - a framework to minimize the effort required to evaluate, implement, and verify controller design (cl…☆16Nov 21, 2022Updated 3 years ago
- Flight Dynamics Project - UAV☆12Aug 13, 2026Updated 2 months ago
- SE3 pose lib uses JPL quaternion representing rotation. Headers only.☆14Oct 25, 2018Updated 8 years ago
- generating formally verified C code with LLMs (thesis Merlijn Sevenhuijsen) http://urn.kb.se/resolve?urn=urnsediva-356745☆14Jun 7, 2026Updated 4 months ago
- A formal proof of LaSalle's invariance principle☆12Feb 3, 2026Updated 8 months ago
- Ada library and tools for the analysis of Complex Networks and more☆11Nov 16, 2023Updated 2 years ago