Showing 316 open source projects for "model based testing tool"

View related business solutions
  • Our Free Plans just got better! | Auth0 Icon
    Our Free Plans just got better! | Auth0

    With up to 25k MAUs and unlimited Okta connections, our Free Plan lets you focus on what you do best—building great apps.

    You asked, we delivered! Auth0 is excited to expand our Free and Paid plans to include more options so you can focus on building, deploying, and scaling applications without having to worry about your security. Auth0 now, thank yourself later.
    Try free now
  • Error to trace to log to deploy. One click. No SSH. Icon
    Error to trace to log to deploy. One click. No SSH.

    Catch the cause before the pager goes off.

    AppSignal links every error to the trace, the trace to the log, the log to the deploy that shipped it.
    Free 30 days.
  • 1
    Schema.DTS

    Schema.DTS

    JSON-LD TypeScript types for Schema vocabulary

    The project provides a comprehensive set of TypeScript typings based on the Schema vocabulary, enabling developers to author JSON-LD structured data with strong type safety. It supplies both high-level discriminated unions and helper types to model contexts, graphs, and linked data relationships with clarity and accuracy. Usage examples demonstrate how one can import types like Person, WithContext, or Graph and compose JSON-LD objects in a way that aligns with semantic-web and knowledge-graph practices. ...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 2
    CPU Features

    CPU Features

    A cross platform C99 library to get cpu features at runtime

    cpu_features is a cross-platform C library developed by Google that provides a simple and efficient way to detect available CPU features at runtime across a wide range of architectures and operating systems. It enables applications to determine which instruction sets (such as SSE, AVX, or NEON) are supported on the host machine, allowing developers to optimize performance dynamically. The library supports numerous architectures—including x86, ARM, AArch64, MIPS, POWER, RISCV, LoongArch, and...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 3
    Prime95

    Prime95

    Precision CPU stress testing and benchmarking

    Prime95 is a popular software tool used primarily for stress testing and benchmarking computer processors by running intense calculations based on the Mersenne prime search algorithm. This rigorous testing helps users gauge system stability and detect potential issues, particularly useful for overclockers, hardware testers, and enthusiasts aiming for optimal CPU performance.
    Downloads: 59 This Week
    Last Update:
    See Project
  • 4
    QP Real-Time Event Frameworks & Tools

    QP Real-Time Event Frameworks & Tools

    Real-Time Event Frameworks based on active objects & state machines

    QP real-time event frameworks (RTEFs) provide lightweight, modern, event-driven architecture based on asynchronous Active Objects (Actors) and Hierarchical State Machines. The matching QM model-based design tool and other host-based tools complement the QP frameworks by supporting graphical modeling, code generation, software tracing, and unit testing for event-driven embedded software. Visit https://www.state-machine.com for more information. ...
    Leader badge
    Downloads: 192 This Week
    Last Update:
    See Project
  • Stop Cyber Threats with VM-Series Next-Gen Firewall on Azure Icon
    Stop Cyber Threats with VM-Series Next-Gen Firewall on Azure

    Native application identity and user-based security for your Azure cloud

    Gain integrated visibility across all traffic in a single pass. Deploy Palo Alto Networks VM-Series to determine application identity and content while automating security policy updates via rich APIs.
    Get a free trial
  • 5
    Magic 7

    Magic 7

    7 Generic TSQL Scripts to Troubleshoot SQL Performance Problems

    "It's not a tool, which fixes a problem, but the fool using it!" (Jörg Stryk) The M7 bunch of scripts should help the EXPERIENCED Troubleshooter to quickly identify bottlenecks and to develop/implement appropriate solutions. "With great power comes great responsibility" (Uncle Ben)
    Downloads: 0 This Week
    Last Update:
    See Project
  • 6
    Anteater

    Anteater

    The Interactive Exernal Accessor Tool for develop, test and support.

    Anteater is a versatile interactive external accessor designed to enhance workflows in software development, testing, and support for various systems. Its primary objectives are to store environmental information and provide powerful functions for interacting with target systems that you are developing, testing, or maintaining. It uses primary and secondary interfaces to efficiently obtain necessary information and modify the application's state, streamlining complex processes. An...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 7
    Jailer

    Jailer

    Database Subsetter and Relational Data Browser

    Database Subsetting and Relational Data Browsing Tool. Navigate bidirectionally through the database by following foreign-key-based or user-defined relationships. Exports consistent, referentially intact row-sets from relational databases. Removes data w/o violating integrity. Generates topologically sorted SQL-DML, hierarchically structured XML. and DbUnit datasets.
    Leader badge
    Downloads: 110 This Week
    Last Update:
    See Project
  • 8
    A graphical tool to create tests for websites. It includes elements for filling forms, following links and checking page content. It is based on httpunit.
    Downloads: 2 This Week
    Last Update:
    See Project
  • 9
    pH7 Social Dating CMS (pH7Builder)❤️

    pH7 Social Dating CMS (pH7Builder)❤️

    🚀 Professional Social Dating Web App Builder (formerly pH7CMS)

    pH7Builder is a Professional, Free & Open Source PHP Social Dating Builder Software (primarily designed for developers ...). This Social Dating Web App is fully coded in object-oriented PHP (OOP) with the MVC pattern (Model-View-Controller). It is low resource-intensive, extremely powerful and highly secure. pH7Builder is included with over 42 native modules and is based on its homemade pH7 Framework which includes more than 52 packages To summarize, pH7Builder Social Dating Script...
    Downloads: 42 This Week
    Last Update:
    See Project
  • Fully Managed MySQL, PostgreSQL, and SQL Server Icon
    Fully Managed MySQL, PostgreSQL, and SQL Server

    Automatic backups, patching, replication, and failover. Focus on your app, not your database.

    Cloud SQL handles your database ops end to end, so you can focus on your app.
    Try Free
  • 10
    jul-designer

    jul-designer

    JUL Designer - a RAD tool for JavaScript

    JUL Designer is a RAD tool used to visually build a JavaScript application. Given a component based application running in an event-driven environment, JUL Designer helps you to generate the component tree with the attached event listeners. It also generates the JavaScript code for the current component tree. System requirements / Download the desktop app OR: * a CSS2.1 compliant web browser with JavaScript 1.5 or later engine * Node.js 0.10.0 or later installed * OR a...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 11
    PHP Jet Framework

    PHP Jet Framework

    Powerful PHP8 framework for real developers

    🧰 Everything you need Completely unique MVC that will make your work much easier, flexible and powerful ORM, perfect forms, all ready for international environment, support for authentication and authorization including roles and rights, REST, AJAX, server-side UI generation and many more Last but not least, the whole system is modular and built on the principle of micro-applications - application modules. This will quite fundamentally improve your productivity, testing and...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 12
    odaba

    odaba

    ODABA is an terminology-oriented database management system and develo

    ODABA is an terminology-oriented database management system (TODBMS) on a high conceptual level. It provides a number of enhanced features based on natural language analysis. Terminology orientation allows designing user oriented data models. Enhanced event model and Active Data Link technology support rapid development of GUI applications. Several development, documentation, test and analyzing tools are provided in order to support developers and administrators. .NET interface and a...
    Downloads: 4 This Week
    Last Update:
    See Project
  • 13
    Zylthra

    Zylthra

    Zylthra: A PyQt6 app to generate synthetic datasets with DataLLM.

    Welcome to Zylthra, a powerful Python-based desktop application built with PyQt6, designed to generate synthetic datasets using the DataLLM API from data.mostly.ai. This tool allows users to create custom datasets by defining columns, configuring generation parameters, and saving setups for reuse, all within a sleek, dark-themed interface.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 14
    Habfuzz

    Habfuzz

    A command-line tool for data-driven fuzzy modelling

    Input 1 - A training dataset (multiple observations) of up to four variables (predictors) against one (response variable) Input 2 - A test dataset (multiple observations) of the same four variables with unknown response variable Output - Calculation of the response variable for each test observation using fuzzy logic or fuzzy rule-based Bayesian algorithms HABFUZZ is a habitat model, which can be used in ecohydraulic modelling applications for the calculation of the instream habitat suitability in various discharge scenarios in a simulated river reach. It comes with no graphical user interface but it's a one-click tool. Just provide your input and let HABFUZZ provide you the output. ...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 15
    LAMP package in Complete Virtual Machine

    LAMP package in Complete Virtual Machine

    A Quick LAMP/WAMP/MAMP/XAMPP Pkg for development, testing & production

    This VM is created for 2 reasons: 1. Very little initial setup work required to Develop / Test / Deploy a Dynamic Web Application live, within minutes. 2. This system should keep running for Years, without requiring Updates / Breakages. If you are new to Virtual Machines, then please watch the Video below ( taken from my other sample PHP project called teamdocs. You may cleanup this Application from the htdocs home folder link & its corresponding database, after logging into mysql. The...
    Downloads: 6 This Week
    Last Update:
    See Project
  • 16
    Loggifier

    Loggifier

    A tool that inserts code into Java class files for logging

    A tool that inserts code into Java class files for logging. Possible logging points are class initialization, method entry and exit, and local variable assignment. Logging is based on java.util.logging.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 17
    AI-Agent-Host

    AI-Agent-Host

    The AI Agent Host is a module-based development environment.

    The AI Agent Host integrates several advanced technologies and offers a unique combination of features for the development of language model-driven applications. The AI Agent Host is a module-based environment designed to facilitate rapid experimentation and testing. It includes a docker-compose configuration with QuestDB, Grafana, Code-Server and Nginx. The AI Agent Host provides a seamless interface for managing and querying data, visualizing results, and coding in real-time. ...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 18
    Matrix

    Matrix

    Plugin style, non-invasive APM system developed by WeChat

    Matrix is an APM (Application Performance Manage) used in Wechat to monitor, locate and analyse performance problems. It is a plugin style, non-invasive solution and is currently available on iOS, macOS and Android. The monitoring scope of the current tool includes: crash, lag, and out-of-memory, which includes the following two plugins, WCCrashBlockMonitorPlugin, which is based on KSCrash framework and features cutting-edge lag stack capture capabilities with crash capture, and...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 19
    Remix IDE

    Remix IDE

    Browser-based compiler and IDE

    Remix IDE is an open source web and desktop application. It fosters a fast development cycle and has a rich set of plugins with intuitive GUIs. Remix is used for the entire journey of contract development as well as act as a playground for learning and teaching Ethereum. Remix IDE is part of the Remix Project which is a platform for development tools that use a plugin architecture. It encompasses sub-projects including Remix Plugin Engine, Remix Libs, and of course Remix-IDE. Remix IDE is a...
    Downloads: 16 This Week
    Last Update:
    See Project
  • 20
    Higher Order Kind

    Higher Order Kind

    A modern proof language

    A Kubernetes-based tool for creating local clusters, ideal for testing and CI/CD.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 21
    Synth

    Synth

    The Declarative Data Generator

    Synth is an open-source data-as-code tool that provides a simple CLI workflow for generating consistent data in a scalable way. Use Synth to generate correct, anonymized data that looks and quacks like production. Generate test data fixtures for your development, testing, and continuous integration. Generate data that tells the story you want to tell. Specify constraints, relations, and all your semantics.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 22
    Official YOLOv7

    Official YOLOv7

    YOLOv7: Trainable bag-of-freebies sets new state-of-the-art

    YOLOv7 is the official implementation of the paper “YOLOv7: Trainable bag-of-freebies sets new state-of-the-art for real-time object detectors.” It is a PyTorch-based object detection project focused on high speed and strong accuracy for real-time computer vision. The repository provides model definitions, training scripts, testing tools, inference examples, pretrained weights, and deployment-oriented materials. YOLOv7 introduced training-time improvements that raise accuracy without increasing inference cost, which is why the project became important in real-time detection research. ...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 23
    YOLOV4 Pytorch

    YOLOV4 Pytorch

    This is a source code for YoloV4-pytorch that can be used to train you

    YOLOV4 Pytorch is a PyTorch implementation of the YOLOv4 object detection model for training and running custom detection systems. The repository is structured around practical workflows, including training, prediction, evaluation, anchor generation, model configuration, and dataset annotation utilities. It supports VOC-style datasets and includes scripts for prediction, mAP evaluation, FPS testing, video prediction, batch prediction, and heatmap generation.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 24
    DBFeeder

    DBFeeder

    Highly Customizable Test Data Generator

    DBFeeder is a great tool to generate synthetic testdata for Oracle Databases and it is ideal for companies who wants to outsource development. Thanks to his original approach, data can be highly customizable and it even fits primary and foreign keys constraints of tables.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 25
    Real-ESRGAN ncnn Vulkan

    Real-ESRGAN ncnn Vulkan

    NCNN implementation of Real-ESRGAN

    Real-ESRGAN ncnn Vulkan is an optimized, cross-platform implementation of Real-ESRGAN using the ncnn neural network inference engine and Vulkan for hardware acceleration. Unlike the standard PyTorch-based Real-ESRGAN code, this variant is written in C/C++ and designed to run efficiently on many platforms (including Windows, Linux, and possibly Android) without requiring heavy frameworks like CUDA or Python. It provides command-line tools for upscaling images with selected models, allowing...
    Downloads: 94 This Week
    Last Update:
    See Project
Auth0 Logo