WP3 Top Level Project: to cover all tasks related with modeling
☆41May 12, 2023Updated 3 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 12 years ago
- WP7: Top Level Project for the toolchain☆29Jan 3, 2016Updated 10 years ago
- Software Failure and Reliability Assessment Tool (SFRAT)☆14Sep 25, 2025Updated 11 months ago
- Open source implementation of the RaSTA protocol (Railsafe Transport Application)☆35Jun 19, 2024Updated 2 years ago
- ☆10Apr 27, 2026Updated 4 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.
- competitive programming template☆11Apr 5, 2026Updated 4 months ago
- CU InSpace's avionics software☆11Sep 17, 2023Updated 2 years ago
- wrlinux-9 setup tool for Wind River Linux - start HERE!☆26Jun 12, 2019Updated 7 years ago
- This project provides a library and tool set to access email through IMAP in the Squeak/Smalltalk environment. (SWT22-13)☆21Aug 5, 2022Updated 4 years ago
- collection of train plushies☆20Nov 21, 2025Updated 9 months ago
- weharmony.github.io☆10Jun 11, 2024Updated 2 years ago
- Three-Wire Serial EEPROM Access Library for RaspberryPi☆10Nov 9, 2020Updated 5 years ago
- The libmetal module specific for use with Zephyr. This is not a mirror of the official libmetal repo.☆17Updated this week
- 这是一个从uboot源码中移植出来的shell命令行代码☆11May 27, 2021Updated 5 years 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.
- A basic Python simulation of an Electric Vertical Take-Off and Landing (eVTOL) aircraft, modeling vertical take-off, cruising, and landin…☆18Jul 31, 2024Updated 2 years ago
- Panduan Implementasi Responsible Research and Innovation (RRI) di Indonesia☆16Oct 6, 2016Updated 9 years ago
- A simple Windows QEMU virtual machine manager☆11May 19, 2021Updated 5 years ago
- Configuration files for PC-lint and FlexeLint☆16Feb 24, 2015Updated 11 years ago
- A faster cmsis nn implementation optimized for ds-cnn architecture.☆10Jan 30, 2021Updated 5 years ago
- ☆10Jun 8, 2021Updated 5 years ago
- Print out the type encoding for properties in a Swift class☆12May 16, 2015Updated 11 years ago
- Hausautomatisierungsloesung auf CAN-Bus Basis.☆18Jan 6, 2025Updated last year
- UpScale SDK enables the development of applications with strict timing and high-performance requirements☆21Feb 5, 2024Updated 2 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- get cpu/memory info of a process, for all platforms(windows/linux/mac/ios/android ...)☆16Jan 5, 2016Updated 10 years ago
- API for data like http://smartcity.jakarta.go.id☆12Aug 3, 2015Updated 11 years ago
- Implementation of Arinc standards including A429☆15Oct 12, 2016Updated 9 years ago
- used to teach how to write Makefile.am and configure.ac☆15Sep 6, 2016Updated 9 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 3 years ago
- DRDoS UDP amplification tool☆17Jul 2, 2015Updated 11 years ago
- Flow control nodes for comfyUI, allowing for more diverse workflows☆13Apr 3, 2025Updated last year
- Mirror only see https://gitlab.rtems.org/rtems/docs/rtems-docs/☆11Updated this week
- Post any text – be it code or prose – to various services directly from your desktop. Made with ❤️️ for Budgie Desktop.☆29Feb 28, 2020Updated 6 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.
- Simulink Interface Program for OpenPLC☆19Sep 24, 2020Updated 5 years ago
- Determining weight by measuring the frequency of a sound☆10Feb 17, 2020Updated 6 years ago
- A project repo to create and learn AUTOSAR stack☆18Dec 18, 2023Updated 2 years ago
- Baxel is a MVC web framework build on top of Koa.io☆11Nov 25, 2015Updated 10 years ago
- An OS X kernel module that protects a userland process from being terminated in any way☆14Dec 7, 2015Updated 10 years ago
- VTable Hijacking Protection for Binaries☆12Feb 28, 2017Updated 9 years ago
- A framework to robustly process network messages and structured data☆16Jun 6, 2017Updated 9 years ago