Showing 23 open source projects for "logic"

View related business solutions
  • Build Data Resilience - Take the Assessment Today Icon
    Build Data Resilience - Take the Assessment Today

    Can you recover when it matters most? Take this quick assessment to identify gaps and build greater recovery confidence.

    Is your recovery strategy as strong as you think? Take this quick self-assessment to check your recovery readiness and gain tailored insights. In only 2 minutes, you'll learn where you fall on the recovery readiness scale.
    Take the Assessment
  • Train ML Models With SQL You Already Know Icon
    Train ML Models With SQL You Already Know

    BigQuery automates data prep, analysis, and predictions with built-in AI assistance.

    Build and deploy ML models using familiar SQL. Automate data prep with built-in Gemini. Query 1 TB and store 10 GB free monthly.
    Start Free
  • 1
    SoapUI

    SoapUI

    SoapUI is a free and open source cross-platform functional testing

    ...SoapUI Open Source is the simplest and easiest way to begin your API testing journey. APIs, or Application Programming Interfaces, have become the center of software development, connecting and transferring data and logic across disparate systems and applications. Luckily, testing them can greatly improve the efficiency of your testing strategy as a whole, helping you deliver software faster than ever.
    Downloads: 56 This Week
    Last Update:
    See Project
  • 2
    Specification

    Specification

    Base class with tests for adding specifications to a DDD model

    Specification is a .NET library that implements the Specification pattern to encapsulate query logic into reusable, composable objects. Its primary goal is to pull filtering, sorting, and projection logic out of repositories and services, reducing duplication and improving maintainability. The library works especially well with Entity Framework Core, enabling developers to centralize query definitions instead of scattering LINQ expressions throughout the codebase.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 3
    vstest

    vstest

    Visual Studio Test Platform is the runner and engine that powers test

    The Visual Studio Test Platform is an open and extensible test platform that enables running tests, collect diagnostics data and report results. The Test Platform supports running tests written in various test frameworks, and using a pluggable adapter model. Based on user-choice, the desired test framework and its corresponding adapter can be acquired as a vsix or as NuGet package as the case may be. Adapters can be written in terms of a public API exposed by the Test Platform.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 4
    Passmark

    Passmark

    The open-source Playwright library for AI browser regression testing

    The Passmark project is an open-source AI-powered regression testing framework built on top of Playwright that enables developers to write end-to-end browser tests using natural language instead of traditional scripting. It is designed to simplify and accelerate testing workflows by allowing AI models to interpret human-readable instructions and translate them into executable browser actions. One of its defining features is a cache-first execution model, where AI is used initially to...
    Downloads: 1 This Week
    Last Update:
    See Project
  • One Monitoring Tool for IT, OT and Cloud | Free Trial Icon
    One Monitoring Tool for IT, OT and Cloud | Free Trial

    Vendor-agnostic monitoring across on-prem servers, cloud platforms and OT devices, all in one dashboard. No more tool sprawl.

    Modern infrastructure spans data centers, cloud platforms and factory floors, and every blind spot between them is a risk. PRTG supports SNMP, WMI, SSH and other standard protocols to monitor IT, OT and hybrid environments through one customizable dashboard. Build the views your team needs, from network health to application performance, without switching tools. Try PRTG free for 30 days now.
    Try PRTG Free
  • 5
    KIF

    KIF

    An iOS functional testing framework

    ...KIF builds and performs the tests using a standard XCTest testing target. Testing is conducted synchronously in the main thread (running the run loop to force the passage of time) allowing for more complex logic and composition. This also allows KIF to take advantage of the Xcode Test Navigator, command line build tools, and Bot test reports. KIF uses undocumented Apple APIs. This is true of most iOS testing frameworks, and is safe for testing purposes, but it's important that KIF does not make it into production code, as it will get your app submission denied by Apple. ...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 6
    Atheris

    Atheris

    A Coverage-Guided, Native Python Fuzzer

    Atheris is a coverage-guided fuzzer for CPython that treats Python as a first-class fuzzing target, enabling rapid discovery of crashes and logic errors in pure-Python code and native extensions. It hooks into Python’s interpreter to collect fine-grained coverage and uses that signal to evolve inputs, pushing programs into previously unexplored code paths. Because many Python libraries are thin wrappers over C/C++ code, Atheris is equally adept at surfacing memory safety issues in extension modules compiled with sanitizers. ...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 7
    Gatling Studio

    Gatling Studio

    Desktop app that helps you craft Gatling load-testing simulations

    ...The tool captures all HTTP and HTTPS requests and responses, saves them as a HAR file, and then automatically converts that data into a structured Gatling project with groups, pauses, and exec blocks. It includes logic to filter out noisy or irrelevant requests such as font files, analytics beacons, and static assets, so the generated scenario focuses on the core business interactions. The output is a ready-to-run Gatling project (Java/Maven) that can be executed locally or uploaded to Gatling Enterprise to run at scale. Gatling Studio targets performance engineers and QA teams who want a low-code path from “record what a user does in the browser” to “run a realistic load test.”
    Downloads: 0 This Week
    Last Update:
    See Project
  • 8
    Testimo

    Testimo

    Testimo is a PowerShell module for running health checks for AD

    Testimo is a PowerShell-based test automation framework that simplifies writing, running, and reporting tests for infrastructure and script libraries. It provides constructs to define test cases, assertions, setup/teardown sequences, and grouping so validation logic is clear and maintainable. Designed for operations and platform engineers, Testimo focuses on verifying infrastructure state (configuration settings, service availability, registry keys) rather than purely unit-level code, making it useful for smoke tests, image validations, and deployment gates. Test runs can emit structured reports, integrate with CI systems, and be scheduled as part of regular compliance checks to ensure environments remain in expected states. ...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 9
    NUnit 3 Framework

    NUnit 3 Framework

    NUnit 3 Framework

    ...We can't do everything for everybody but we want to make it reasonably easy to extend NUnit. In many cases, users will be able to implement a special feature outside of our scope by simply creating a new attribute that embeds the required logic. In other cases, particularly in extending the engine, we rely on a plugin architecture. When running tests in a separate process, the console and gui runners make use of the NUnit Agent program, nunit-agent.exe. Although not directly run by users, nunit-agent does load and execute tests and users need to be aware of it, especially when debugging is involved.
    Downloads: 0 This Week
    Last Update:
    See Project
  • Build Securely on AWS with Proven Frameworks Icon
    Build Securely on AWS with Proven Frameworks

    Lay a foundation for success with Tested Reference Architectures developed by Fortinet’s experts. Learn more in this white paper.

    Moving to the cloud brings new challenges. How can you manage a larger attack surface while ensuring great network performance? Turn to Fortinet’s Tested Reference Architectures, blueprints for designing and securing cloud environments built by cybersecurity experts. Learn more and explore use cases in this white paper.
    Download Now
  • 10
    eCxx

    eCxx

    A C++ library for AVR and NodeMCU

    NOTE: This project is marked with 'Status: Abandoned' on SourceForge because not enough time can be dedicated to this project. However it may still get sporadic commits to the repository. eCxx is a library for AVR and NodeMCU tailored for micro LED displays and lighting effects. eCxx is utilizing Makefile build system. Java and Python based applications/tools are also included to ease the development and debugging process using the host PC. On one side, eCxx supports the original...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 11

    Classic HWUT

    Software Unit Tests (Language Independent Approach)

    Automation of Unit and System Tests. Tests can be implemented in any language and on many platforms. The flexible approach enables the inclusion of many types of tests, such as memory leak checks (using valgrind), coding rule checks, complexity checks, etc. Tests are run by a simple call to hwut in a base directory of a project. In particular for C, HWUT supports make file generation using 'sos' and 'sols' modes. Remote control-able function stubs may be generated using the 'stub' mode....
    Downloads: 0 This Week
    Last Update:
    See Project
  • 12
    Cypress Image Snapshot

    Cypress Image Snapshot

    Catch visual regressions in Cypress

    Cypress Image Snapshot binds jest-image-snapshot's image diffing logic to Cypress.io commands. The goal is to catch visual regressions during integration tests.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 13
    gofuzz

    gofuzz

    Fuzz testing for go

    ...The library’s determinism controls allow reproducible failures while still offering diverse coverage across runs. Teams reach for gofuzz to smoke out serialization bugs, panics in equality or hashing, and brittle assumptions in business logic.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 14
    Aqueduct

    Aqueduct

    Dart HTTP server framework for building REST APIs

    ...It includes a statically-typed ORM, OAuth 2.0 provider, automated testing libraries, and OpenAPI 3.0 integration. Aqueduct's memory-isolated threads leverage every CPU without writing any code. No race conditions or complicated synchronization logic to worry about. A familiar, higher-order functional syntax makes application flow easy to construct and read. Powerful, statically typed queries enable code-completion and refactoring tools while minimizing error.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 15
    Unitos++

    Unitos++

    Simple and light-weight header-only unit testing framework

    Unitos++ is a simple and light-weight header-only unit testing framework. This is an ideal unit testing framework for tiny projects where only basic functionality of the application logic is to be verified.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 16
    SPL Tools

    SPL Tools

    Stochastic Performance Logic testing tools and utilities.

    ...The advantage of SPL in comparison with other similar solutions includes following. SPL formulas uses well-defined logic and statistically sound testing (such as t-test). Next, SPL is aimed at automatic evaluation. And finally, SPL formulas uses relative comparisons (opposed to comparing against fixed time) to provide better portability.
    Downloads: 1 This Week
    Last Update:
    See Project
  • 17

    XAF

    Xml Automation Framework (XAF) is an XML based automation framework

    Xml Automation Framework (XAF) is an open source framework designed around the idea of XML based test automation. Automation essentially involves 3 main components, Plan-Design-Validation. XAF allows to do all 3 using simple yet powerful XML. The core logic is thus embedded into XML which will delegate the actions to any 3rd party plugins. Apart from this, TCP/IP packets can be crafted seamlessly in XML's. As a result, any type of network flows can be simulated. The packets can be sent over a real/virtual network interface OR dumped into pcap file for further analysis. Originally designed for networking(datacom)/telecom testing applications, this tool can be expanded to other applications as well.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 18
    This tool compares Value Change Dump files, which is useful for regression testing of Verilog models. VCD files are dumpfiles generated by EDA logic simulation tools.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 19
    chex4j
    Chex4j allows you to document and enforce @pre and @post conditions of method calls with runtime or build time class file instrumentation. Conditions run as fast as normal code.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 20
    This project aims to create a testing environment for S7-PLC (programmable logic controller) software. It is based on the Eclipse platform and can test S7 instruction list code exported from the Siemens Step7 software.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 21
    Model XML Schema documents in first-order logic using Alloy in order to generate test inputs for applications and prove constraints about documents.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 22
    Marigold is an in-container "scenario-based" white-box unit-testing framework for J2EE applications that permits direct testing of business logic and data-access layers, and separates test-data from test-code.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 23
    OWLAND is an automated testing framework for description logic reasoners. It supports both ABox and TBox reasoning methods and is capable of running fully automated tests with any ontology and number of currently available reasoners.
    Downloads: 0 This Week
    Last Update:
    See Project
  • Previous
  • You're on page 1
  • Next