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
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 11 years ago
- Open source implementation of the RaSTA protocol (Railsafe Transport Application)☆32Jun 19, 2024Updated last year
- VATSIM Pilot Client☆10Feb 17, 2014Updated 12 years ago
- A Java version of the automatic program repair described by RSRepair and GenProg.☆11Jan 6, 2016Updated 10 years ago
- TIF-GO Real Project Repo☆10May 10, 2016Updated 9 years ago
- Public OCORA documents☆41Feb 17, 2025Updated last year
- CU InSpace's avionics software☆11Sep 17, 2023Updated 2 years ago
- Vipps for WooCommerce☆11Feb 20, 2026Updated last week
- ☆13Jan 6, 2023Updated 3 years ago
- Library for extracting fields from Sigtran TCAP/INAP messages☆11Feb 17, 2026Updated last week
- 有史以来最丝滑的滚动插件 for vue.js2.0☆10Dec 8, 2022Updated 3 years ago
- Adv360 zmk config☆12Jan 11, 2026Updated last month
- Mirror only see https://gitlab.rtems.org/rtems/docs/rtems-docs/☆10Updated this week
- Panduan Implementasi Responsible Research and Innovation (RRI) di Indonesia☆16Oct 6, 2016Updated 9 years ago
- LLVM Version Manager☆11Apr 21, 2017Updated 8 years ago
- 卷积神经网络算法处理图片识别 最大255个品类。 1，根据tensorflow -cifar10 示例 改进，以便适应更多图片与分类。2，完善打包图片到Bin文件的生成机制☆11Feb 2, 2023Updated 3 years ago
- Recovery and Propulsion control and monitoring☆11May 15, 2022Updated 3 years ago
- Add Cowboy websockets to your Plug.Router easily.☆17Aug 25, 2021Updated 4 years ago
- Unbound data structures in Ada-Spark.☆13Feb 6, 2022Updated 4 years ago
- Baxel is a MVC web framework build on top of Koa.io☆11Nov 25, 2015Updated 10 years ago
- Qt构建的飞行模拟器教员控制台系统☆11Apr 30, 2018Updated 7 years ago
- ☆10Dec 4, 2018Updated 7 years ago
- ☆13Jun 10, 2021Updated 4 years ago
- Rust API for Chrony's control & monitoring interface☆12Apr 18, 2025Updated 10 months ago
- API for data like http://smartcity.jakarta.go.id☆12Aug 3, 2015Updated 10 years ago
- CANoolder: CAN to 3.3V logic level interface. Dumb. Cheap. Simple. Pick 3.☆15Feb 14, 2018Updated 8 years ago
- GNAT Components Collection – Bindings to C libraries☆16Feb 11, 2026Updated 2 weeks ago
- Tr1d1um is the Webpa micro-service that encode TR-181 requests.☆16Updated this week
- Sample containerized Python Flask application for demo purposes☆15Jun 27, 2024Updated last year
- Ada Server Faces - Web Server Faces JSR 252, JSR 314 and JSR 344☆14Nov 10, 2025Updated 3 months ago
- Print out the type encoding for properties in a Swift class☆12May 16, 2015Updated 10 years ago
- 基于乐鑫 ESP32/ESP32-S2/S3 开发的小型无人机解决方案、基于北京理工大学自动化学院OLDX多旋翼开发平台（OLDX-FC）、基于正点原子ATK-F405☆21Apr 22, 2023Updated 2 years ago
- Erlang library for encoding and decoding Packet Forwarding Control Protocol (PFCP) frames.☆13Jun 24, 2024Updated last year
- Simulation of the EBICOS 900 traffic management and dispatching system which is being used in the M1 line of Istanbul metro☆12Aug 4, 2025Updated 6 months ago
- electron实战项目集成了串口通信、C#动态库dll调用、C++动态链接库dll调用、本地数据关系数据库SQLit3、执行cmd命令（启动nginx、本地mysql数据库等）、系统通知☆11Nov 26, 2020Updated 5 years ago
- SCI期刊信息爬虫☆14Jan 6, 2019Updated 7 years ago
- Python wrapper for libcosim☆10Nov 25, 2025Updated 3 months ago
- Recursive description for UIViewController hierarchy inspection and debugging☆21May 15, 2015Updated 10 years ago