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:
- WP7: Top Level Project for the toolchain☆28Jan 3, 2016Updated 10 years ago
- part of WP7: collects the various activities regarding selecting a tool and formal specification for modeling☆14Apr 28, 2014Updated 12 years ago
- ☆24Nov 23, 2025Updated 7 months ago
- Software Failure and Reliability Assessment Tool (SFRAT)☆14Sep 25, 2025Updated 9 months ago
- A collection of (public) specifications in different formalisms.☆19Mar 6, 2024Updated 2 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.
- Open source implementation of the RaSTA protocol (Railsafe Transport Application)☆35Jun 19, 2024Updated 2 years ago
- ☆19Apr 19, 2024Updated 2 years ago
- mempalace book☆75Apr 17, 2026Updated 2 months ago
- ☆10Apr 27, 2026Updated 2 months ago
- SBB RaSTA Protocol Reference Stack☆19Jul 8, 2024Updated last year
- competitive programming template☆11Apr 5, 2026Updated 2 months ago
- wrlinux-9 setup tool for Wind River Linux - start HERE!☆26Jun 12, 2019Updated 7 years ago
- AIOTEC 是新一代开源边缘计算系统，B/S架构可视化配置，是创新融合 RTU 系统与视觉边缘计算系统。它支持多协议物联网设备接入，可实时采集控制数据，同时搭载深度学习框架，在边缘侧高效完成实时视觉分析，响应快且省带宽。适用于工业制造、智慧城市、智慧农业等场景。 架构主要…☆42Updated this week
- Course Planning System for HPI students.☆22Jan 12, 2023Updated 3 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.
- The libmetal module specific for use with Zephyr. This is not a mirror of the official libmetal repo.☆17May 5, 2026Updated last month
- Anggaran Dasar / Anggaran Rumah Tangga Aprogsi - genuine☆11Nov 28, 2015Updated 10 years ago
- Linear-time sampling algorithm for geometric inhomogeneous random graphs with a special case implementation for hyperbolic random graphs.☆16Dec 4, 2023Updated 2 years ago
- weharmony.github.io☆10Jun 11, 2024Updated 2 years ago
- CySat-1 Software and Applications for Onboard Firmware and Ground Station☆13May 25, 2024Updated 2 years ago
- collection of train plushies☆20Nov 21, 2025Updated 7 months ago
- 这是一个从uboot源码中移植出来的shell命令行代码☆11May 27, 2021Updated 5 years ago
- Checkliste für die erforderlichen Änderungen nach der Personenstandsänderung im Rahmen des Selbstbestimmungsgesetzes (SBGG)☆23Dec 12, 2024Updated last year
- This project provides a library and tool set to access email through IMAP in the Squeak/Smalltalk environment. (SWT22-13)☆21Aug 5, 2022Updated 3 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.
- AUD interface read/write utility for SH7055 and SH7058 CPUs based on FTDI's FT232R/FT2232x chips☆14Oct 17, 2016Updated 9 years ago
- Beer App demo on DC/OS + Kubernetes + Helm + Cloudflare Warp☆12Jan 25, 2018Updated 8 years ago
- 移动互联网安全课本☆10Mar 18, 2022Updated 4 years ago
- VATSIM Pilot Client☆10Feb 17, 2014Updated 12 years ago
- LLVM Version Manager☆11Apr 21, 2017Updated 9 years ago
- X-Plane Multiplayer Library used by XSquawkBox and X-IvAp☆14Feb 2, 2014Updated 12 years ago
- Print out the type encoding for properties in a Swift class☆12May 16, 2015Updated 11 years ago
- Axios-like NodeJS API for Hashicorp Vault.☆11Oct 3, 2023Updated 2 years ago
- A faster cmsis nn implementation optimized for ds-cnn architecture.☆10Jan 30, 2021Updated 5 years ago
- AI Agents on 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.
- Community portal☆18Updated this week
- Mirror only see https://gitlab.rtems.org/rtems/docs/rtems-docs/☆11Jun 11, 2026Updated 2 weeks ago
- ☆10Jul 6, 2022Updated 3 years ago
- A idea for a program that uses German psychologist Ludwig Koch's method to learn how to receive and send morse code.☆11Jun 20, 2025Updated last year
- get cpu/memory info of a process, for all platforms(windows/linux/mac/ios/android ...)☆15Jan 5, 2016Updated 10 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