Showing 1134 open source projects for "gnu-efi"

View related business solutions
  • Ship Agents Faster Icon
    Ship Agents Faster

    Transform your applications and workflows into powerful agentic systems at global scale.

    Gemini Enterprise Agent Platform lets you rapidly build, scale, govern and optimize production-ready agents grounded in your organization's data. The platform enables developers to build custom or pre-built agents for virtually any use case. New customers get $300 in free credits.
    Start Free
  • $300 Free Credits to Build on Google Cloud Icon
    $300 Free Credits to Build on Google Cloud

    New customers can spin up VMs, build with AI, and query data at no cost.

    Put your $300 in credit toward real workloads, then keep building with free monthly usage for 20+ products. No commitment and no charge until you upgrade.
    Start Free
  • 1
    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
  • 2
    AJHotDraw (swerl.tudelft.nl/view/AMR/AJHotDraw) is an aspect-oriented refactoring of the JHotDraw two-dimensional graphics framework. TestJHotDraw is developed as a test subproject aimed at ensuring behavior conservation between the two solutions.
    Downloads: 1 This Week
    Last Update:
    See Project
  • 3
    A file comparator with special knowledge of binary formats such as Windows executable (.exe), object (.obj), and library (.lib) plus Unix .a (archive) files. It knows how to ignore datestamps and other fields which don't affect the file's behavior.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 4
    Squiddy is a data driven Acceptance/Integration testing framework.
    Downloads: 0 This Week
    Last Update:
    See Project
  • Veeam Data Platform v13.1 - Get Your Free Trial Icon
    Veeam Data Platform v13.1 - Get Your Free Trial

    Secure by design, portable by default. Recover clean, fast, anywhere. Start a free trial.

    Try Veeam Data Platform today. Experience the unified platform that's secure by design, portable by default, and proven to recover clean, fast, and anywhere.
    Try it Free
  • 5
    A simple but fairly complete unit test framework for C in a single header file. Features fixtures, test suites and integration with xcode!
    Downloads: 0 This Week
    Last Update:
    See Project
  • 6
    A small database stress tool written in Java. Emulates a given number of concurrent users querying the engine. Reports timing information for each test. Currently supports MySQL engine only.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 7
    MergeRight is a graphical tool for comparing and merging multiple versions or revisions of a text or source file, with or without a specified common ancestor, with recommendations for passages in conflict, easy inclusion and exclusion, and live editing.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 8
    A tool for overflow detection in arithmetic operations in Java programs.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 9
    MuLATo is a Java application for collecting metrics from programs written in several languages. The core module provides parsers for Java, AspectJ and CaesarJ programs and can be extended for other languages. Currently, the GUI is being developed as an E
    Downloads: 0 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.
    Start Free
  • 10
    Testserver for Symbian OS is a unit test framework designed for production mobile phones, wherein test steps are written as ECOM plugins and test script can be easily run from the shell. It has a range of prewritten steps for setting up test environments
    Downloads: 0 This Week
    Last Update:
    See Project
  • 11
    Grimoire is a framework for building and running Warcraft 3 game and world editor hacks. It includes several DLLs which streamline map development and add new functionality.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 12
    Framework for Integrated Test (Chinese Version)
    Downloads: 0 This Week
    Last Update:
    See Project
  • 13
    LogPlusPlus (lpp) is a lightweight but powerful and efficient logging system for c++ programs.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 14
    ObjectInspector is a set of classes designed to match objects and by extension to test bean implementation code. These entry points are designed to be extendible through the use of registration of additional matchers & factories.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 15
    Multi is a test tool that generates test ideas from boolean and rational operators. It is written in Java, and includes both a GUI, applet, and command-line utility.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 16
    API Caller is a software for extracting API functions from any executable and can be used to call them. With this tool, quality can easily be checked by calling functions and checking them if they are error-free.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 17
    WatiNFixture is a FitNesse custom fixture that wraps the web testing functionality available in the WatiN testing tool.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 18
    SPACES is a functional test tool for components which uses UML specifications and OCL restrictions to originate test cases automatically.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 19
    Libraries and tools to support software design using executable code as specifications, to support Test Driven Development and other Agile methods.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 20
    SCS - Simple Contest System - is a system for makieing Programming contests in simple way.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 21
    Improve the quality of your webapplication using automated testing techniques! AWAT is an easy-to-use XML-based testing framework which allows the creation of functional black-box- and regressiontests.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 22
    The home site is www.ppassistant.com Help Forum www.ppassistant.com/forum This is meant to be the ultimate framework. Not only is it an open source PHP/MySql framework, but it's also a development toolkit. It also has programs and tools.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 23
    Jeek is a concrete class / stub / mock code generator for .NET, used in unit testing.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 24
    Java Library to assist in recording and troubleshooting http by providing an implementation of a proxy and having extensible classes to handle post/pre processing which can be used to carry out custom actions or logging of the transactions.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 25
    FreshTrash is a Utility package for generate random test data. It can generate test data from the console or from a UI. At the start only from the console.
    Downloads: 0 This Week
    Last Update:
    See Project