Web-based Modeling and Test-Generation Tool
☆10Oct 30, 2019Updated 6 years ago
Alternatives and similar repositories for specmate
Users that are interested in specmate are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- 使用OpenCV+Tensorflow实现游戏中车辆的自动驾驶☆11Dec 12, 2018Updated 7 years ago
- Code for the AsiaCCS 2017 paper "Discovering Logical Vulnerabilities in the Wi-Fi Handshake using Model-Based Testing".☆13Oct 12, 2018Updated 7 years ago
- Context-Aware Correlation Filter Layer☆13Jul 26, 2019Updated 6 years ago
- imooc--<轻松学会Laravel-表单篇>☆12Nov 17, 2016Updated 9 years ago
- 仿网易云音乐，包含管理端（admin 页面）☆10Mar 2, 2018Updated 8 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Slides and sample code from my talk "Infastructure as Code - Muss man nicht testen, Hauptsache es läuft"☆11Jan 16, 2026Updated 4 months ago
- Examples for using Web Components in Angular☆19Jan 4, 2023Updated 3 years ago
- Simple command line tool to convert JSON to YAML☆12Jun 24, 2023Updated 2 years ago
- ABAP Code Syntax Highlighter ( Extension of PrismJS )☆11Jul 10, 2015Updated 10 years ago
- Learning Attentions: Residual Attentional Siamese Network for High Performance Online Visual Tracking☆17Jul 19, 2019Updated 6 years ago
- Source code for Quarkus Workshop☆14Jan 26, 2026Updated 3 months ago
- CNode社区，Vue + TypeScript + TSX实现☆16Mar 4, 2023Updated 3 years ago
- Collect Apple ID's straight from Apple's Login Form☆21Mar 15, 2017Updated 9 years ago
- Back up the local pacman database when it changes☆18Apr 12, 2019Updated 7 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- allows to document a complex, distributed model in an easy, concise and project-/domain-specific way.☆20Jan 22, 2020Updated 6 years ago
- A collaborative, real-time feature model editor☆10Nov 27, 2023Updated 2 years ago
- Data validation and processing code for analysis of collected temperature data☆14Aug 11, 2017Updated 8 years ago
- A comprehensive guide to discovering unsecured webcams using Google and Shodan dorks, with ethical guidelines and legal considerations.☆29Aug 6, 2024Updated last year
- 思维导图 xmind 转换为 excel 测试用例☆21Apr 2, 2020Updated 6 years ago
- SAP CAP Apps Data Backup☆16Mar 13, 2026Updated 2 months ago
- A model for storing Clojure data in RDF stores☆41Sep 10, 2009Updated 16 years ago
- A Lisp Interpreter written in ABAP☆11Jul 9, 2015Updated 10 years ago
- Python re-implementation of the graphwalker testing tool☆91Nov 26, 2015Updated 10 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- ☆12Sep 21, 2017Updated 8 years ago
- trash Team made trash game, good job 1939, kards外挂，排位、竞技场一键秒赢，快速升级☆47Jan 21, 2026Updated 4 months ago
- Shows keyboard shortcuts that the user has pressed in Eclipse☆10Feb 23, 2019Updated 7 years ago
- Companion to textbook "Decision Support Systems: Introduction to Data Science with Applications"☆26Sep 21, 2022Updated 3 years ago
- 技术栈：后端koa+graphql+mongoDB，前端react hooks + apollo + antd (ts)☆23Jun 16, 2020Updated 5 years ago
- Samples based on the Node.js messaging client for SAP Event Mesh (formerly Enterprise Messaging in SAP Cloud Platform).☆15Mar 7, 2025Updated last year
- Model-based testing in Python☆94Oct 16, 2022Updated 3 years ago
- 测试--脚本管理平台☆31Apr 22, 2022Updated 4 years ago
- Developed as a by-product of the IBM 1620 Jr. project, the Cadetwriter is a general-purpose ASCII terminal. It can be connected via RS-2…☆60Apr 16, 2022Updated 4 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- ☆22Feb 12, 2018Updated 8 years ago
- ☆12Sep 15, 2021Updated 4 years ago
- CAP plantuml demo☆16Jan 27, 2021Updated 5 years ago
- A Collection of tools to work with PlcOpen projects, mainly the XML project files☆12Aug 11, 2017Updated 8 years ago
- ☆14Aug 21, 2015Updated 10 years ago
- NOAKA DEXPI project symbol legend / mapping and modelling requirements☆15Apr 5, 2024Updated 2 years ago
- ☆15Sep 23, 2025Updated 7 months ago