Showing 9 open source projects for "bdd"

View related business solutions
  • Paessler: Easy to Use With Enterprise Power. Free Trial Icon
    Paessler: Easy to Use With Enterprise Power. Free Trial

    A low-code dashboard makes monitoring intuitive for any admin, while scripting and custom sensors give experts full control.

    You shouldn't have to choose between a monitoring tool that's easy to use and one that's powerful enough for a complex environment. PRTG's low-code interface lets any admin build dashboards, set alerts and monitor devices without scripting, while custom sensors and full API access are there when your team needs deeper control. One platform, no compromise. Download a free 30-day trial now.
    Get Free Download
  • 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
  • 1
    Gherkin

    Gherkin

    A parser and compiler for the Gherkin language

    Gherkin is a domain-specific language used in behavior-driven development (BDD) to describe software behaviors in a human-readable format. It allows stakeholders to write test cases in plain language, bridging the gap between technical and non-technical team members.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 2

    Cgreen

    Unittesting and mocking framework for C and C++

    Cgreen has MOVED to GitHub: https://github.com/cgreen-devs/cgreen, files, documentation, source, issues are all there. This repo is OBSOLETE and not updated anymore. Cgreen is a unittesting and mocking framework for C and C++. Features include composite test suites, each test can be run in it's own process, trapping of hung tests, setup and teardown, extensible interface, support for mocking functions and automatic discovery of tests. Go to GitHub: https://github.com/cgreen-devs/cgreen...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 3
    Bots de Servicios para una red ircuh con soporte bdd ircservices-4.3.3+Upworld-1.1+BDD (botshispanobdd-1.2.1) + services-bdd = euskalirc-services-bdd
    Downloads: 0 This Week
    Last Update:
    See Project
  • 4
    A Binary Decision Diagram library, with : many highly efficient vectorized BDD operations, dynamic variable reordering, automated garbage collection, a C++ interface with automatic reference counting, and much more.
    Leader badge
    Downloads: 9 This Week
    Last Update:
    See Project
  • MongoDB Atlas runs apps anywhere Icon
    MongoDB Atlas runs apps anywhere

    Deploy in 115+ regions with the modern database for every enterprise.

    MongoDB Atlas gives you the freedom to build and run modern applications anywhere—across AWS, Azure, and Google Cloud. With global availability in over 115 regions, Atlas lets you deploy close to your users, meet compliance needs, and scale with confidence across any geography.
    Start Free
  • 5

    Java Decision Diagram Libraries (BDD)

    Java Decision Diagrams (BDD) libraries: JDD and JBDD

    This project has been moved to bitbucket.org: - https://bitbucket.org/vahidi/jbdd/wiki/Home - https://bitbucket.org/vahidi/jdd/wiki/Home It includes two libraries for working with decision diagrams: - JBDD: a Java interface to two popular BDD libraries, CUDD and BuDDy - JDD: a native Java library supporting BDD, Z-BDD
    Downloads: 0 This Week
    Last Update:
    See Project
  • 6
    Servidor de IRC basado en el servidor de Undernet con encriptacion de IPs, IPv6 y otras caracterísicas como una base de datos distribuida (BDD) para la gestión integral de un portal de chat, así como otros proyectos y programas relacionados.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 7
    BDD-Based Deductive Database, an implementation of Datalog that uses Binary Decision Diagrams as the underlying data structure. This allows it to represent exponentially-sized relations efficiently.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 8
    Efficient Symbolic Tools package (EST) is a BDD based tool for the formal verification of concurrent systems. Its advantages are flexibility, portability and an efficient memory management. It runs under different OS, including Linux and Windows 2000/XP.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 9
    Red-Futura IRCD and Services based on ircuh and red-unida (IRCD) and hispanobdd and red-unida (Services). It support BDD (Nickserv2, Chanserv2...) P10 and P9
    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
  • Previous
  • You're on page 1
  • Next