WP3 Top Level Project: to cover all tasks related with modeling
☆40May 12, 2023Updated 2 years ago
Alternatives and similar repositories for modeling
Users that are interested in modeling are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- part of WP7: collects the various activities regarding selecting a tool and formal specification for modeling☆14Apr 28, 2014Updated 11 years ago
- WP7: Top Level Project for the toolchain☆28Jan 3, 2016Updated 10 years ago
- ☆23Nov 23, 2025Updated 4 months ago
- Software Failure and Reliability Assessment Tool (SFRAT)☆14Sep 25, 2025Updated 6 months ago
- A collection of (public) specifications in different formalisms.☆19Mar 6, 2024Updated 2 years ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- Open source implementation of the RaSTA protocol (Railsafe Transport Application)☆33Jun 19, 2024Updated last year
- The dropwizard codahale metrics exporter for prometheus.☆18Jul 1, 2015Updated 10 years ago
- Rules for usage of C language in critical systems☆47Mar 24, 2021Updated 5 years ago
- wrlinux-9 setup tool for Wind River Linux - start HERE!☆27Jun 12, 2019Updated 6 years ago
- weharmony.github.io☆10Jun 11, 2024Updated last year
- 这是一个从uboot源码中移植出来的shell命令行代码☆11May 27, 2021Updated 4 years ago
- 函数工作流可视化编排解决方案☆11Nov 1, 2024Updated last year
- AUD interface read/write utility for SH7055 and SH7058 CPUs based on FTDI's FT232R/FT2232x chips☆12Oct 17, 2016Updated 9 years ago
- Beer App demo on DC/OS + Kubernetes + Helm + Cloudflare Warp☆12Jan 25, 2018Updated 8 years ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- LLVM Version Manager☆11Apr 21, 2017Updated 8 years ago
- CU InSpace's avionics software☆11Sep 17, 2023Updated 2 years ago
- ☆11Jul 6, 2022Updated 3 years ago
- get cpu/memory info of a process, for all platforms(windows/linux/mac/ios/android ...)☆15Jan 5, 2016Updated 10 years ago
- A compiler and mutation testing framework for the programming language Pascal-86☆20Sep 12, 2014Updated 11 years ago
- Modern aircraft instrument with OpenGL ES2.0☆16Sep 29, 2023Updated 2 years ago
- Real-Time Operating System (RTOS) for Xilinx Zynq-7000 Cortex-A9 (ARMv7-A) multi-core SoCs (ZedBoard, PicoZed, MicroZed and similars) bas…☆15Aug 10, 2023Updated 2 years ago
- Flow control nodes for comfyUI, allowing for more diverse workflows☆13Apr 3, 2025Updated last year
- UpScale SDK enables the development of applications with strict timing and high-performance requirements☆22Feb 5, 2024Updated 2 years ago
- Wordpress hosting with auto-scaling on Cloudways • AdFully Managed hosting built for WordPress-powered businesses that need reliable, auto-scalable hosting. Cloudways SafeUpdates now available.
- VTable Hijacking Protection for Binaries☆12Feb 28, 2017Updated 9 years ago
- Relay Cursor-Based Pagination Support for Sequelize☆15Dec 6, 2022Updated 3 years ago
- An OS X kernel module that protects a userland process from being terminated in any way☆14Dec 7, 2015Updated 10 years ago
- The Re-Usability Support System for eLearning (RUSSEL) is an open-source software project to manage and repurpose courses, documents and …☆14Jun 2, 2016Updated 9 years ago
- Convert a Garmin fit file to tcx☆19Jun 14, 2015Updated 10 years ago
- ☆10Feb 24, 2020Updated 6 years ago
- Implementation of the ROS Middleware (rmw) interface using PrismTech's OpenSplice DDS.☆12Oct 7, 2021Updated 4 years ago
- Baxel is a MVC web framework build on top of Koa.io☆11Nov 25, 2015Updated 10 years ago
- Deprecated Module: See Xponents or OpenSextantToolbox as active code base.☆31Jul 24, 2013Updated 12 years ago
- DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- This repository contains the RCP code for Aptana Studio 3. This is the wrapper/packaging to make us an Eclipse based standalone product.☆33Apr 10, 2023Updated 2 years ago
- Swift package for reading and writing Safetensors files.☆12Feb 6, 2026Updated 2 months ago
- API for data like http://smartcity.jakarta.go.id☆12Aug 3, 2015Updated 10 years ago
- 🚗 A curated list of resources for learning about vehicle security and safety.☆19Jul 10, 2019Updated 6 years ago
- Allows groovydoc to be generated from Groovy or mixed Java/Groovy projects without Ant. No Ant at all.☆12Apr 26, 2021Updated 4 years ago
- ☆11Jul 4, 2021Updated 4 years ago
- Hausautomatisierungsloesung auf CAN-Bus Basis.☆18Jan 6, 2025Updated last year