SysMD is a SysML v2/KerML tool. It offers a little entry hurdle by its Notebook-like UI. Unique to SysMD is its integrated solver that does engineering calculations in the model and checks consistency of constraints and requirements.
☆33Dec 11, 2025Updated 3 months ago
Alternatives and similar repositories for SysMD
Users that are interested in SysMD are comparing it to the libraries listed below
Sorting:
- A design automation framework to engineer decision diagrams yourself☆25Mar 13, 2026Updated last week
- An immutable, infinite-precision Rational (ratio, fraction) class for Kotlin☆14Nov 21, 2025Updated 4 months ago
- Libaffa is a C++ Affine Arithmetic library for GNU/Linux. Affine Arithmetic is a model proposed by Stolfi and Comba in the early 90's for…☆14Nov 18, 2013Updated 12 years ago
- Example application with a desktop table view for Compose☆16Jan 18, 2025Updated last year
- 🚧 SysML parser for Rust.☆14Jul 12, 2025Updated 8 months ago
- A BiMap implementation in Kotlin☆24May 16, 2021Updated 4 years ago
- Specification Integration Facility - schema, constraint checker and examples. Responsible: Oskar v.Dungern.☆17Jul 10, 2025Updated 8 months ago
- 🐤 Less permission fatigue, more momentum. Dippy knows what’s safe to run and keeps Claude on track when plans change.☆104Mar 9, 2026Updated last week
- MontiCore implementation of the SysML v2 textual notation☆30Updated this week
- The AUTOMOTIVE ONTOLOGY (AUTO) defines the shared conceptual structures in the automotive industry. It is an OWL ontology. It is built up…☆21Feb 13, 2024Updated 2 years ago
- A curated collection of high-quality SysMLv2 models. We welcome contributions via pull requests to expand this resource. For questions or…☆61Jun 4, 2025Updated 9 months ago
- A miniaturised version of the voice interface to ChatGPT, with added voice cloning and a RAG layer that checks a simple biographical data…☆28Apr 14, 2025Updated 11 months ago
- An open-source logical data modeler to support the model driven data engineering approach.☆15Feb 25, 2026Updated 3 weeks ago
- A library for generating automata from LTL and LDL formulas with finite-trace semantics.☆11Dec 14, 2021Updated 4 years ago
- Telegram bot which summarizes long messages.☆25Oct 26, 2020Updated 5 years ago
- Landmark-Based Approaches for Goal Recognition as Planning.☆14Oct 17, 2025Updated 5 months ago
- ☆15Mar 15, 2024Updated 2 years ago
- AngularJS directive for the JustGage (http://justgage.com/) gauge.☆39Dec 6, 2016Updated 9 years ago
- COMODO2 is a Java tool that allows to transform a UML/SysML model into code for different software platforms.☆26Apr 26, 2024Updated last year
- Tool for the automatic orchestration of experiments targeting software systems☆17Mar 3, 2026Updated 2 weeks ago
- A Kotlin Multiplatform and Compose Multiplatform implementation of the Material 2 Data Table☆63Oct 30, 2025Updated 4 months ago
- The Java Implementation of the JXTA Protocols☆39Jun 29, 2022Updated 3 years ago
- The command line interface for deploying Node.js applications to Xervo.io.☆54Mar 10, 2017Updated 9 years ago
- This repository contains Ontology Design Patterns, that are based on concepts taken from industrial standards.☆20Dec 17, 2021Updated 4 years ago
- OrqueIO main source code repository☆22Updated this week
- A Functional Mockup Interface (FMI) Standard Implementation for Trick Base Models and Simulations☆22Jul 16, 2024Updated last year
- A Jetbrains IDE IntelliJ plugin aimed to provide coding agents the ability to leverage intelliJ's indexing of the codebase☆110Mar 13, 2026Updated last week
- A .NET implementation of the OMG SysML2 specification☆24Updated this week
- Certified Reasoning with Language Models☆31Dec 6, 2023Updated 2 years ago
- Composable Data and Type Generators for C++☆10Mar 25, 2019Updated 6 years ago
- ☆23Dec 30, 2025Updated 2 months ago
- SMPT is a SMT-based model checker for Petri nets focused on reachability problems that takes advantage of net reductions (polyhedral redu…☆29Jun 30, 2025Updated 8 months ago
- Ocamlgraph overlay for llvm☆20Apr 4, 2015Updated 10 years ago
- C++ State Machine generator for Xstate☆56Nov 1, 2021Updated 4 years ago
- Recipes for using the SysML v2 API☆54Mar 10, 2025Updated last year
- SDLC Copilot is an Agentic AI system designed to streamline and automate the Software Development Lifecycle (SDLC). From requirement gath…☆23Jun 14, 2025Updated 9 months ago
- Build your own AI-powered automation tools in the terminal with this extensible agent framework☆24Jan 5, 2026Updated 2 months ago
- An agent for CUDA compute-communication kernel co-design☆32Mar 11, 2026Updated last week
- A toy compiler made with LLVM☆16Aug 30, 2024Updated last year